Logika a řešení problémů – 4. třída

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

Rozhodovačka • střední

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é úlohy

Splňování podmínek

Zasedací pořádek

Bedny s poklady

Padací piškvorky: pohled shora

Einsteinovy hádanky

Obrázkové rovnice s podmínkami

Deduktivní úlohy

Hlavy robotů

Bludiště a hledání cest

Obrázkové rovnice s podmínkami

Přesouvání • lehké

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

Více pokladů: těžké

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