Logika a řešení problémů – 1. střední škola

MW4

umime.to/MW4

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í). Na Umíme informatiku 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 na Umíme matiku. Kombinaci logického a algoritmického myšlení si můžete procvičit v rámci tématu Podmíněné příkazy.

Využití logiky

Logika má v informatice široké uplatnění. Zde je několik příkladů:

programování (podmíněné příkazy)
výběr záznamů z databáze, které splňují určitou podmínku
operace v grafických editorech (např. sjednocení a průnik dvou tvarů)
dokazování (např. korektnost programu)
návrh digitálních obvodů
v umělé inteligenci jako jedna z metod pro dosažení inteligentního chování
řešení logických úloh (např. sudoku)
práce s informacemi (např. rozpoznání chybné argumentace)

Rozhodovačka

Rychlé procvičování výběrem ze dvou možností.

Logika a řešení problémů

Logické výroky slovy

Určování pravdivosti

Ovoce a zelenina: určování pravdivosti

Bájná logika: určování pravdivosti

Příšerky: určování pravdivosti

Negace tvrzení

Bájná logika: negace

Logické výrazy

Vyhodnocování logických výrazů

Příšerky: určování pravdivosti

Rozhodovačka • těžké

Přesouvání

Přesouvání kartiček na správné místo. Jednoduché ovládání, zajímavé a neotřelé úlohy.

Logika a řešení problémů

Logické výrazy

Vyhodnocování logických výrazů

Logické výrazy: mix

Domino: logické spojky

Logické úlohy

Deduktivní úlohy

Poctivci a padouši: dvojčata

Domino: logické spojky

Přesouvání • střední

Pexeso

Hledání dvojic, které k sobě patří.

Logika a řešení problémů

Logické výrazy

Logické výrazy: mix

Pexeso • střední

Autíčka

Logická hra, ve které máte za úkol dostat auto z přeplněného parkoviště.

Opravdová výzva

Autíčka

Sokoban

Sokoban je logická úloha, ve které ovládáte panáčka v bludišti a vaším úkolem je dotlačit všechny bedýnky na určená políčka. Můžete tlačit pouze dopředu a vždy jen jednu bedýnku. Nabízíme více než 100 zadání od velmi lehkých až po velmi obtížné.