Děkujeme za Vaše hodnocení.

Logika a řešení problémů

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)

Souhrn je skryt.

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

Implikace a ekvivalence

Ovoce a zelenina: implikace a ekvivalence

Příšerky: implikace a ekvivalence

Bájná logika: implikace a ekvivalence

Vyvozování z implikace a ekvivalence

Negace tvrzení

Bájná logika: negace

Logické důsledky

Logické výrazy

Logické spojky a pravdivostní tabulky

Vyhodnocování logických výrazů

Úpravy logických výrazů

Logické odvozování s výrazy

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

Logické spojky a pravdivostní tabulky

Zápis logických výrazů

Vyhodnocování logických výrazů

Logické výrazy: mix

Domino: logické spojky

Logické úlohy

Splňování podmínek

Zasedací pořádek

Bedny s poklady

Obrázkové rovnice s podmínkami

Padací piškvorky: pohled shora

Deduktivní úlohy

Hlavy robotů

Poctivci a padouši

Poctivci a padouši: dvojčata

Bludiště a hledání cest

Obrázkové rovnice s podmínkami

Přesouvání • těžké

Pexeso

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

Logika a řešení problémů

Logické výrazy

Logické výrazy: mix

Pexeso • střední

Krok po kroku

Doplňování jednotlivých kroků v rozsáhlejším postupu.

Logika a řešení problémů

Logické výrazy

Vyhodnocování logických výrazů

Úpravy logických výrazů

Krok po kroku • střední

Binární křížovka

Vyplňte do křížovky nuly a jedničky a splňte všechny podmínky.

Trénink: logické spojky

Logické výrazy

Kombinace výrazů a binárních čísel

Křížovky: středně těžké

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: rozcvička

Kulička: lehké

Kulička: střední

Kulička: záludné

Kulička: těžké

Kulička: opravdová výzva

Kulička: lehké

Kulička

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

Autíčka

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

Sudoku 4×4: lehké

Barevné sudoku

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é.