Logika a řešení problémů

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

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ů

Logické obvody: obecné principy

Vyhodnocování logických obvodů bez legendy

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

Zasedací pořádek

Bedny s poklady

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

Bludiště a hledání cest

Řazení: ovoce

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

Implikace a ekvivalence

Přemýšlení o implikaci a ekvivalenci

Ovoce a zelenina: implikace a ekvivalence

Příšerky: implikace a ekvivalence

Negace tvrzení

Logické důsledky

Logické výrazy

Vyhodnocování logických výrazů

Úpravy logických výrazů

Logické obvody

Logické důsledky

Krok po kroku • střední

Porozumění

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

Logické obvody

Fatal error: Uncaught TypeError: count(): Argument #1 ($value) must be of type Countable|array, null given in /var/www/umimeprogramovat.cz/webroot/function/functionsMap.php:1638 Stack trace: #0 /var/www/umimeprogramovat.cz/webroot/dashboard-topic.php(976): generateItemLogExerciseMap() #1 /var/www/umimeprogramovat.cz/webroot/index.php(193): include('...') #2 {main} thrown in /var/www/umimeprogramovat.cz/webroot/function/functionsMap.php on line 1638

Filtr podle ročníku

Cvičení

Logika a řešení problémů

umime.to/MW4

Rozhodovačka

Logické spojky a pravdivostní tabulky

Přesouvání

Řazení: ovoce

Pexeso

Logické výrazy: mix

Krok po kroku

Logické důsledky

Porozumění

Logické obvody

Filtr podle ročníku

Cvičení

Logika a řešení problémů

umime.to/MW4

Rozhodovačka

Ovoce a zelenina: určování pravdivosti (lehké) • NNH

Ovoce a zelenina: určování pravdivosti (střední) • NNJ

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

Bájná logika: určování pravdivosti (lehké) • MHV

Bájná logika: určování pravdivosti (střední) • NMK

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

Příšerky: určování pravdivosti (lehké) • NNE

Příšerky: určování pravdivosti (střední) • NNF

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

Příšerky: implikace a ekvivalence (střední) • NSV

Příšerky: implikace a ekvivalence (těžké) • NNZ

Ovoce a zelenina: implikace a ekvivalence (střední) • NOP

Ovoce a zelenina: implikace a ekvivalence (těžké) • NNX

Bájná logika: implikace a ekvivalence (střední) • NSW

Bájná logika: implikace a ekvivalence (těžké) • NN1

Negace tvrzení (lehké) • NPA

Negace tvrzení (střední) • MKB

Negace tvrzení (těžké) • NMD

Bájná logika: negace (těžké) • NN9

Logické důsledky (střední) • NOR

Logické důsledky (těžké) • NR6

Příšerky: vyvozování z implikace a ekvivalence (střední) • NSX

Příšerky: vyvozování z implikace a ekvivalence (těžké) • NOH

Logické spojky a pravdivostní tabulky (lehké) • NST

Logické spojky a pravdivostní tabulky (střední) • MHH

Logické spojky a pravdivostní tabulky (těžké) • NSU

Vyhodnocování logických výrazů (střední) • NN2

Vyhodnocování logických výrazů (těžké) • NR7

Úpravy logických výrazů (střední) • NN3

Úpravy logických výrazů (těžké) • NR9

Logické odvozování s výrazy (střední) • NOW

Logické odvozování s výrazy (těžké) • NOX

Pojmenování logických bran (střední) • NUS

Vyhodnocování logických bran (lehké) • NU4

Vyhodnocování logických bran (střední) • NVT

Vyhodnocování logických bran (těžké) • NVU

Vyhodnocování logických bran bez legendy (lehké) • NVX

Vyhodnocování logických bran bez legendy (střední) • NUW

Vyhodnocování logických bran bez legendy (těžké) • NU1

Vyhodnocování logických obvodů (lehké) • NWA

Vyhodnocování logických obvodů (střední) • NV1

Vyhodnocování logických obvodů (těžké) • NWB

Logické obvody: obecné principy (střední) • NWE

Vyhodnocování logických obvodů bez legendy (těžké) • NWC

Logické spojky a pravdivostní tabulky

Přesouvání

Logické spojky a pravdivostní tabulky (střední) • MHJ

Logické spojky a pravdivostní tabulky (těžké) • NSR

Zápis logických výrazů (lehké) • NSS

Zápis logických výrazů (střední) • NNW

Vyhodnocování logických výrazů (střední) • NN4

Řazení: dopravní prostředky (lehké) • NSA

Řazení: dopravní prostředky (střední) • NSB

Řazení: dopravní prostředky (těžké) • NSC

Logické brány: vyhodnocování (střední) • NUZ

Logické brány: výběr bran (lehké) • NVZ

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

Logické obvody (střední) • NZU

Logické výrazy: mix (střední) • NPR

Domino: logické spojky (střední) • NMM

Zasedací pořádek (lehké) • MHM

Zasedací pořádek (střední) • N1M

Zasedací pořádek (těžké) • N1N

Bedny s poklady (lehké) • MHL

Bedny s poklady (střední) • N1H

Bedny s poklady (těžké) • N1J

Padací piškvorky: pohled shora (střední) • NNV

Padací piškvorky: pohled shora (těžké) • NND

Einsteinovy hádanky (lehké) • NPN

Einsteinovy hádanky (střední) • NPO

Einsteinovy hádanky (těžké) • NPM

Obrázkové rovnice s podmínkami (lehké) • NPB

Obrázkové rovnice s podmínkami (střední) • NPP

Obrázkové rovnice s podmínkami (těžké) • NPC

Hlavy robotů (lehké) • MHW