Logika a řešení problémů
MW4Logika 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í.
Ovoce a zelenina: určování pravdivosti (lehké) • NNH
Typicky zabere: 3 min.

Ovoce a zelenina: určování pravdivosti (střední) • NNJ
Typicky zabere: 4 min.

Ovoce a zelenina: určování pravdivosti (těžké) • NNK
Typicky zabere: 6 min.

Bájná logika: určování pravdivosti (lehké) • MHV
Typicky zabere: 5 min.

Bájná logika: určování pravdivosti (střední) • NMK
Typicky zabere: 4 min.

Bájná logika: určování pravdivosti (těžké) • NML
Typicky zabere: 5 min.

Příšerky: určování pravdivosti (lehké) • NNE
Typicky zabere: 3 min.

Příšerky: určování pravdivosti (střední) • NNF
Typicky zabere: 3 min.

Příšerky: určování pravdivosti (těžké) • NNG
Typicky zabere: 5 min.

Příšerky: implikace a ekvivalence (střední) • NSV
Typicky zabere: 3 min.

Příšerky: implikace a ekvivalence (těžké) • NNZ
Typicky zabere: 6 min.

Ovoce a zelenina: implikace a ekvivalence (střední) • NOP
Typicky zabere: 5 min.

Ovoce a zelenina: implikace a ekvivalence (těžké) • NNX
Typicky zabere: 8 min.

Bájná logika: implikace a ekvivalence (střední) • NSW
Typicky zabere: 3 min.

Bájná logika: implikace a ekvivalence (těžké) • NN1
Typicky zabere: 6 min.

Negace tvrzení (lehké) • NPA
Typicky zabere: 5 min.

Negace tvrzení (střední) • MKB
Typicky zabere: 7 min.

Negace tvrzení (těžké) • NMD
Typicky zabere: 7 min.

Bájná logika: negace (těžké) • NN9
Typicky zabere: 6 min.

Logické důsledky (střední) • NOR
Typicky zabere: 5 min.

Logické důsledky (těžké) • NR6
Typicky zabere: 6 min.

Vyvozování z implikace a ekvivalence (střední) • NSX
Typicky zabere: 3 min.

Vyvozování z implikace a ekvivalence (těžké) • NOH
Typicky zabere: 7 min.

Logické spojky a pravdivostní tabulky (lehké) • NST
Typicky zabere: 3 min.

Logické spojky a pravdivostní tabulky (střední) • MHH
Typicky zabere: 7 min.

Logické spojky a pravdivostní tabulky (těžké) • NSU
Typicky zabere: 6 min.

Vyhodnocování logických výrazů (střední) • NN2
Typicky zabere: 5 min.

Vyhodnocování logických výrazů (těžké) • NR7
Typicky zabere: 4 min.

Úpravy logických výrazů (střední) • NN3
Typicky zabere: 8 min.

Úpravy logických výrazů (těžké) • NR9
Typicky zabere: 8 min.

Logické odvozování s výrazy (střední) • NOW
Typicky zabere: 5 min.

Logické odvozování s výrazy (těžké) • NOX
Typicky zabere: 5 min.

Pojmenování logických bran (střední) • NUS
Typicky zabere: 5 min.

Vyhodnocování logických bran (lehké) • NU4
Typicky zabere: 5 min.

Vyhodnocování logických bran (střední) • NVT
Typicky zabere: 5 min.

Vyhodnocování logických bran (těžké) • NVU
Typicky zabere: 5 min.

Vyhodnocování logických bran bez legendy (lehké) • NVX
Typicky zabere: 5 min.

Vyhodnocování logických bran bez legendy (střední) • NUW
Typicky zabere: 5 min.

Vyhodnocování logických bran bez legendy (těžké) • NU1
Typicky zabere: 5 min.

Vyhodnocování logických obvodů (lehké) • NWA
Typicky zabere: 5 min.

Vyhodnocování logických obvodů (střední) • NV1
Typicky zabere: 5 min.

Vyhodnocování logických obvodů (těžké) • NWB
Typicky zabere: 5 min.

Vyhodnocování logických obvodů bez legendy (těžké) • NWC
Typicky zabere: 5 min.

Logické obvody: obecné principy (střední) • NWE
Typicky zabere: 5 min.

Přesouvání
Přesouvání kartiček na správné místo. Jednoduché ovládání, zajímavé a neotřelé úlohy.
Logické spojky a pravdivostní tabulky (střední) • MHJ
Typicky zabere: 6 min.

Logické spojky a pravdivostní tabulky (těžké) • NSR
Typicky zabere: 5 min.

Zápis logických výrazů (lehké) • NSS
Typicky zabere: 4 min.

Zápis logických výrazů (střední) • NNW
Typicky zabere: 4 min.

Vyhodnocování logických výrazů (střední) • NN4
Typicky zabere: 5 min.

Řazení: dopravní prostředky (lehké) • NSA
Typicky zabere: 5 min.

Řazení: dopravní prostředky (střední) • NSB
Typicky zabere: 5 min.

Řazení: dopravní prostředky (těžké) • NSC
Typicky zabere: 5 min.

Logické brány: vyhodnocování (střední) • NUZ
Typicky zabere: 5 min.

Logické brány: výběr bran (lehké) • NVZ
Typicky zabere: 5 min.

Logické brány: výběr bran (střední) • NVN
Typicky zabere: 5 min.

Logické výrazy: mix (střední) • NPR
Typicky zabere: 5 min.

Domino: logické spojky (střední) • NMM
Typicky zabere: 6 min.

Zasedací pořádek (lehké) • MHM
Typicky zabere: 6 min.

Bedny s poklady (lehké) • MHL
Typicky zabere: 7 min.

Padací piškvorky: pohled shora (střední) • NNV
Typicky zabere: 4 min.

Padací piškvorky: pohled shora (těžké) • NND
Typicky zabere: 9 min.

Einsteinovy hádanky (lehké) • NPN
Typicky zabere: 4 min.

Einsteinovy hádanky (střední) • NPO
Typicky zabere: 5 min.

Einsteinovy hádanky (těžké) • NPM
Typicky zabere: 10 min.

Obrázkové rovnice s podmínkami (lehké) • NPB
Typicky zabere: 5 min.

Obrázkové rovnice s podmínkami (střední) • NPP
Typicky zabere: 6 min.

Obrázkové rovnice s podmínkami (těžké) • NPC
Typicky zabere: 12 min.

Hlavy robotů (lehké) • MHW
Typicky zabere: 5 min.

Poctivci a padouši (střední) • MKN
Typicky zabere: 8 min.

Poctivci a padouši: dvojčata (těžké) • MHK
Typicky zabere: 8 min.

Řazení: ovoce (lehké) • NSN
Typicky zabere: 4 min.

Řazení: ovoce (střední) • NSO
Typicky zabere: 7 min.

Řazení: ovoce (těžké) • NSP
Typicky zabere: 8 min.

Bludiště a hledání cest (lehké) • MKM
Typicky zabere: 4 min.

Pexeso
Hledání dvojic, které k sobě patří.
Logické výrazy: mix (střední) • NA4
Typicky zabere: 7 min.

Krok po kroku
Doplňování jednotlivých kroků v rozsáhlejším postupu.
Přemýšlení o implikaci a ekvivalenci (střední) • NS7
Typicky zabere: 9 min.

Příšerky: implikace a ekvivalence (střední) • NS9
Typicky zabere: 6 min.

Ovoce a zelenina: implikace a ekvivalence (těžké) • NTD
Typicky zabere: 5 min.

Negace tvrzení (střední) • NS3
Typicky zabere: 9 min.

Logické důsledky (střední) • NS2
Typicky zabere: 5 min.

Vyhodnocování logických výrazů (střední) • NOJ
Typicky zabere: 5 min.

Úpravy logických výrazů (střední) • NOO
Typicky zabere: 9 min.

Logické obvody (střední) • NWD
Typicky zabere: 5 min.

Doplňování textu
Krátké texty, do kterých doplňujete na vybraná místa správnou variantu ze dvou možností.
Logické obvody (střední) • NWJ
Typicky zabere: 5 min.

Logické výrazy: mix (střední) • NWK
Typicky zabere: 5 min.

Binární křížovka
Vyplňte do křížovky nuly a jedničky a splňte všechny podmínky.
Trénink: logické spojky lehké
Trénink: logické spojky střední
Logické výrazy: lehké
Logické výrazy: střední
Logické výrazy: těžké
Kombinace výrazů a binárních čísel
Bitové filtry
Bitové filtry: střední
Bitové filtry: těžké
Křížovky: střední
Křížovky: těžké
Křížovky: opravdová výzva
Kulička
Proveďte kuličku bludištěm. Ale pozor, kulička se zastaví jen o stěnu.
Kulička a poklad
Základní varianta úlohy: kulička má za úkol dostat se k pokladu.
Více pokladů
Tentokrát je v bludišti pokladů více a kulička musí posbírat všechny.
Teleport
Kromě kutálení se kulička může také teleportovat!
Spolupracující kuličky
Nyní máme v bludišti více kuliček. Aby se dostaly k některým hůře dostupným pokladům, musí spolupracovat – opřít se jedna o druhou.
Velká a malá
V bludišti jsou speciální typy zdí. Je tam zeď s dírou, kterou projde jen malá koule. A pak tam je tenká zeď, kterou dokáže rozbořit velká koule.
Bludiště s bednami
V bludišti jsou bedny. Když do bedny narazí rozjetá velká koule, tak ji posune o jedno pole.
Nepřátelská koule
V bludišti je nepřátelská koule. Pohybuje se stejně jako modrá koule, ale ničí, na co přijde.
Více pokladů: střední
Zadání s jednou kuličkou a více poklady. Často může být důležité, v jakém pořadí poklady sbíráte. Tak si cestu dobře naplánujte…
Kulička a poklad: těžké
Základní varianta úlohy jen s jedním pokladem, hledání té správné cesty ale již není úplně jednoduché…
Více pokladů: těžké
Více pokladů: výzva
Autíčka
Logická hra, ve které máte za úkol dostat auto z přeplněného parkoviště.
Rozcvička
Lehké
Střední
Těžké
Opravdová výzva
Barevné sudoku
Varianta oblíbené logické úlohy sudoku. Místo čísel se u nás umisťují barevné symboly.
Sudoku 4×4: rozcvička
Sudoku 4×4: lehké
Sudoku 4×4: těžší
Sudoku 6×6
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é.
Sokoban: rozcvička
Sokoban: lehké
Sokoban: střední
Sokoban: záludné
Sokoban: těžké
Sokoban: opravdová výzva
Ploty
Logická úloha, ve které máte za úkol postavit na louce ten správný plot.
Rozcvička
Základní
Náročnější
Těžké
Téměř neřešitelné
Skákačka
Bloudění v číselném bludišti.