- Logika a řešení problémů
Všechny souhrny
Filtr podle ročníku
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í). 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.
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: 7 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: 4 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: 6 min.
Logické spojky a pravdivostní tabulky (těžké) • NSU
Typicky zabere: 5 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: 14 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: 3 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.
Logické obvody: obecné principy (střední) • NWE
Typicky zabere: 5 min.
Vyhodnocování logických obvodů bez legendy (těžké) • NWC
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é obvody (střední) • NZU
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: 10 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: 11 min.
Obrázkové rovnice s podmínkami (lehké) • NPB
Typicky zabere: 4 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.
Hlavy robotů (střední) • N1B
Typicky zabere: 5 min.
Hlavy robotů (těžké) • N1C
Typicky zabere: 5 min.
Poctivci a padouši (střední) • MKN
Typicky zabere: 9 min.
Poctivci a padouši: dvojčata (těžké) • MHK
Typicky zabere: 8 min.
Řazení: ovoce (lehké) • NSN
Typicky zabere: 5 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: 12 min.
Ovoce a zelenina: implikace a ekvivalence (těžké) • NTD
Typicky zabere: 5 min.
Příšerky: implikace a ekvivalence (střední) • NS9
Typicky zabere: 7 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.
Logické obvody (těžké) • NW9
Typicky zabere: 5 min.
Porozumění
Čtení textů, odpovídání na otázky testující porozumění textu.
Logické obvody
Logické výrazy: mix
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: obecné principy (střední) • NWJ
Typicky zabere: 5 min.
Logické obvody: reálné obvody (těžké) • NXS
Typicky zabere: 5 min.
Logické výrazy: mix (střední) • NWK
Typicky zabere: 5 min.
Psaná odpověď
Cvičení, ve kterém píšete odpověď na klávesnici.
Logické brány (střední) • NZC
Typicky zabere: 5 min.
Logické obvody (lehké) • NZA
Typicky zabere: 5 min.
Logické obvody (střední) • NXT
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
Více pokladů
Teleport
Spolupracující kuličky
Velká a malá
Bludiště s bednami
Nepřátelská koule
Více pokladů: střední
Kulička a poklad: těžké
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.
