Logika a řešení problémů –

Logika se zabývá vyvozováním platných závěrů z daných předpokladů. Logika se používá v důkazech (tzv. matematická logika), ale i v běžném uvažování, kdy z dostupných informací odvozujeme další závěry (tzv. logické myšlení). V se zaměřujeme na rozvoj logického myšlení a využití logiky v informatice. Procvičování zde dělíme do tří témat:

• Logické výroky slovy – určování pravdivosti, vytváření slovně zapsaných výroků (bez formálního značení)
• Logické výrazy – zápis a vyhodnocování výrazů s logickými spojkami používanými v informatice (not, and, or, xor, ⇒, ⇔)
• Logické úlohy – využití logických úvah na řešení různorodých problémů (např. logické úlohy podobné sudoku, kde je potřeba splnit současně řadu podmínek)

Matematickou logiku si můžete procvičit v rámci předmětu Matematika. Kombinaci logického a algoritmického myšlení si můžete procvičit v rámci tématu Podmíněné příkazy. Logické úvahy v kombinaci s obecnými tabulkami můžete procvičit ve cvičení Logické úvahy o tabulkách v rámci tématu Tabulky: základní porozumění.