Analyzuje slovní tvrzení, správně formuluje jejich negace a pomocí logického odvozování řeší komplexní logické úlohy.
Vyhodnocuje a zjednodušuje logické výrazy s využitím pravdivostních tabulek a základních pravidel formální logiky.
Aplikuje logické výrazy a operátory přímo v kódu (v syntaxi jazyka Python).
Interpretuje a schématicky vyhodnocuje funkci jednotlivých logických bran a komplexnějších logických obvodů.
Provádí nízkoúrovňové bitové operace a využívá bitové filtry pro manipulaci s daty.
Kombinuje znalost binární soustavy a logických operací při řešení netradičních úloh.
Související RVP výsledky učení
Užívá správně logické spojky a kvantifikátory.
Rozliší správný a nesprávný úsudek.
Vytváří hypotézy, zdůvodňuje jejich pravdivost a nepravdivost, vyvrací nesprávná tvrzení.
Zdůvodňuje svůj postup a ověřuje správnost řešení problému.
Analyzuje problém, rozdělí problém na menší části, rozhodne, které je vhodné řešitalgoritmicky, své rozhodnutí zdůvodní; sestaví a zapíše algoritmy pro řešení problému.
Tento modul představuje most mezi matematickou logikou a její praktickou aplikací v informatice. Zaměřuje se na obecný rozvoj logického a algoritmického myšlení skrze příklady různých typů: od analýzy slovních výroků a zápisu podmínek v programovacím jazyce Python přes pochopení hardwarového fungování logických bran a obvodů až po nízkoúrovňové bitové operace v binární soustavě.
Prosíme, nezasílejte dotazy na prozrazení řešení úloh či vysvětlení postupu. Pokud hlásíte chybu, upřesněte prosím, v čem přesně spočívá a připojte snímek obrazovky.