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

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í). 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. Logické úvahy v kombinaci s obecnými tabulkami můžete procvičit ve cvičení Logické úvahy o tabulkách v rámci tématu Tabulky: základní porozumění.

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

Implikace a ekvivalence

Příšerky: implikace a ekvivalence

Ovoce a zelenina: implikace a ekvivalence

Bájná logika: implikace a ekvivalence

Negace tvrzení

Bájná logika: negace

Logické důsledky

Příšerky: vyvozování z implikace a ekvivalence

Logické výrazy

Logické spojky a pravdivostní tabulky

Vyhodnocování logických výrazů

Úpravy logických výrazů

Logické brány

Pojmenování logických bran

Vyhodnocování logických bran

Vyhodnocování logických bran bez legendy

Logické obvody

Vyhodnocování logických obvodů

Vyhodnocování logických obvodů bez legendy

Logické obvody: obecné principy

Logické spojky a pravdivostní tabulky

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é odvozování s výrazy

Řazení: dopravní prostředky

Logické brány

Logické brány: vyhodnocování

Logické brány: výběr bran

Logické obvody

Logické výrazy: mix

Domino: logické spojky

Logické úlohy

Splňování podmínek

Padací piškvorky: pohled shora

Einsteinovy hádanky

Obrázkové rovnice s podmínkami

Deduktivní úlohy

Hlavy robotů

Poctivci a padouši

Poctivci a padouši: dvojčata

Řazení: ovoce

Logické brány: výběr bran

Přesouvání • střední

Označování

V zadaném obrázku či textu máte za úkol označit všechny oblasti, které splňují určitou vlastnost.

Logika a řešení problémů

Logické výrazy

Logické brány

Součásti logických bran

Logické brány

Označování • lehké

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ýroky slovy

Implikace a ekvivalence

Přemýšlení o implikaci a ekvivalenci

Příšerky: implikace a ekvivalence

Ovoce a zelenina: implikace a ekvivalence

Negace tvrzení

Logické důsledky

Logické výrazy

Vyhodnocování logických výrazů

Úpravy logických výrazů

Logické obvody

Ovoce a zelenina: implikace a ekvivalence

Krok po kroku • těžké

Ovoce a zelenina: implikace a ekvivalence

Porozumění

Čtení textů, odpovídání na otázky testující porozumění textu.

Logické obvody

Logické výrazy: mix

Porozumění

Doplňování textu

Krátké texty, do kterých doplňujete na vybraná místa správnou variantu ze dvou možností.

Logika a řešení problémů

Logické výrazy

Logické obvody

Logické obvody: obecné principy

Logické obvody: reálné obvody

Logické výrazy: mix

Doplňování textu • střední

Psaná odpověď

Cvičení, ve kterém píšete odpověď na klávesnici.

Logika a řešení problémů

Logické výrazy

Logické brány

Logické obvody

Psaná odpověď • lehké

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

Trénink: logické spojky lehké

Binární křížovka

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

Bludiště s bednami

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

Rozcvička

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: těžší

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