Logika v informatice
| Typický ročník | 2. SŠ |
| Interval vhodných ročníků | 1. SŠ – 4. SŠ |
| Učivo | výroková logika, logické výrazy, logika v programování, logické brány, logické obvody |
| Bezprostřední výsledky učení |
|
| Související RVP výsledky učení |
|
Tento modul představuje most mezi matematickou logikou a její praktickou aplikací v informatice. Zaměřuje se na obecný rozvoj logického a algoritmického myšlení skrze příklady různých typů: od analýzy slovních výroků a zápisu podmínek v programovacím jazyce Python přes pochopení hardwarového fungování logických bran a obvodů až po nízkoúrovňové bitové operace v binární soustavě.
1. Logické výroky slovně | |||
 Rozhodovačka | Negace tvrzení • těžké |  Negace tvrzení (těžké) • NMDTypicky zabere: 8 min | |
| Bájná logika: negace • těžké | Bájná logika: negace (těžké) • NN9Typicky zabere: 6 min | ||
| Bájná logika: implikace a ekvivalence • střední | Bájná logika: implikace a ekvivalence (střední) • NSWTypicky zabere: 4 min | ||
| Bájná logika: implikace a ekvivalence • těžké | Bájná logika: implikace a ekvivalence (těžké) • NN1Typicky zabere: 6 min | ||
| Příšerky: implikace a ekvivalence • těžké | Příšerky: implikace a ekvivalence (těžké) • NNZTypicky zabere: 7 min | ||
 Přesouvání | Poctivci a padouši: dvojčata • těžké | Poctivci a padouši: dvojčata (těžké) • MHKTypicky zabere: 8 min | |
| Hlavy robotů • těžké | Hlavy robotů (těžké) • N1CTypicky zabere: 6 min | ||
| Bedny s poklady • těžké | Bedny s poklady (těžké) • N1JTypicky zabere: 6 min | ||
| Einsteinovy hádanky • těžké | Einsteinovy hádanky (těžké) • NPMTypicky zabere: 11 min | ||
2. Logické výrazy | |||
| Rozhodovačka | Logické spojky a pravdivostní tabulky • těžké | Logické spojky a pravdivostní tabulky (těžké) • NSUTypicky zabere: 6 min | |
 Pexeso | Logické výrazy: mix • střední | Logické výrazy: mix (střední) • NA4Typicky zabere: 8 min | |
| Přesouvání | Domino: logické spojky • střední | Domino: logické spojky (střední) • NMMTypicky zabere: 7 min | |
| Vyhodnocování logických výrazů • střední | Vyhodnocování logických výrazů (střední) • NN4Typicky zabere: 6 min | ||
| Rozhodovačka | Vyhodnocování logických výrazů • střední | Vyhodnocování logických výrazů (střední) • NN2Typicky zabere: 5 min | |
| Vyhodnocování logických výrazů • těžké | Vyhodnocování logických výrazů (těžké) • NR7Typicky zabere: 4 min | ||
| Úpravy logických výrazů • střední | Úpravy logických výrazů (střední) • NN3Typicky zabere: 10 min | ||
| Úpravy logických výrazů • těžké | Úpravy logických výrazů (těžké) • NR9Typicky zabere: 11 min | ||
| Logické odvozování s výrazy • střední | Logické odvozování s výrazy (střední) • NOWTypicky zabere: 11 min | ||
| Logické odvozování s výrazy • těžké | Logické odvozování s výrazy (těžké) • NOXTypicky zabere: 5 min | ||
| Přesouvání | Logické výrazy: mix • střední | Logické výrazy: mix (střední) • NPRTypicky zabere: 11 min | |
 Porozumění | Logické výrazy: mix | ||
 Doplňování textu | Logické výrazy: mix • střední | Logické výrazy: mix (střední) • NWKTypicky zabere: 5 min | |
3. Využití logiky v programování | |||
 Souhrn tématu | Logické výrazy v Pythonu | ||
| Rozhodovačka | Deaktivace bomby: podmínky • těžké | Deaktivace bomby: podmínky (těžké) • M9OTypicky zabere: 6 min | |
 Krok po kroku | Podmínky a větvení • střední | Podmínky a větvení (střední) • NDATypicky zabere: 7 min | |
 Plošinovka | Kombinace podmínek | ||
 Označování | Vybarvování: podmínky s proměnnými • těžké | Vybarvování: podmínky s proměnnými (těžké) • NVFTypicky zabere: 12 min | |
| Rozhodovačka | Logické výrazy v Pythonu • lehké | Logické výrazy v Pythonu (lehké) • MASTypicky zabere: 7 min | |
| Logické výrazy v Pythonu • střední |  Logické výrazy v Pythonu (střední) • MESTypicky zabere: 9 min | ||
| Logické výrazy v Pythonu • těžké | Logické výrazy v Pythonu (těžké) • MFFTypicky zabere: 12 min | ||
| Pexeso | Logické výrazy v Pythonu • střední | Logické výrazy v Pythonu (střední) • MKVTypicky zabere: 8 min | |
 Programování v Pythonu | Logické výrazy | ||
4. Logické brány | |||
| Označování | Součásti logických bran • střední | Součásti logických bran (střední) • N2DTypicky zabere: 5 min | |
| Logické brány • lehké | Logické brány (lehké) • N2ATypicky zabere: 3 min | ||
| Logické brány • střední | Logické brány (střední) • N2BTypicky zabere: 5 min | ||
| Přesouvání | Logické brány: výběr bran • lehké | Logické brány: výběr bran (lehké) • NVZTypicky zabere: 5 min | |
| Logické brány: výběr bran • střední | Logické brány: výběr bran (střední) • NVNTypicky zabere: 5 min | ||
| Logické brány: vyhodnocování • střední | Logické brány: vyhodnocování (střední) • NUZTypicky zabere: 5 min | ||
 Psaná odpověď | Logické brány • střední | Logické brány (střední) • NZCTypicky zabere: 5 min | |
| Rozhodovačka | Pojmenování logických bran • střední | Pojmenování logických bran (střední) • NUSTypicky zabere: 2 min | |
| Vyhodnocování logických bran • lehké | Vyhodnocování logických bran (lehké) • NU4Typicky zabere: 11 min | ||
| Vyhodnocování logických bran • střední | Vyhodnocování logických bran (střední) • NVTTypicky zabere: 3 min | ||
| Vyhodnocování logických bran • těžké | Vyhodnocování logických bran (těžké) • NVUTypicky zabere: 5 min | ||
| Vyhodnocování logických bran bez legendy • lehké | Vyhodnocování logických bran bez legendy (lehké) • NVXTypicky zabere: 3 min | ||
| Vyhodnocování logických bran bez legendy • střední | Vyhodnocování logických bran bez legendy (střední) • NUWTypicky zabere: 5 min | ||
| Vyhodnocování logických bran bez legendy • těžké | Vyhodnocování logických bran bez legendy (těžké) • NU1Typicky zabere: 5 min | ||
5. Logické obvody | |||
| Krok po kroku | Logické obvody • střední | Logické obvody (střední) • NWDTypicky zabere: 4 min | |
| Logické obvody • těžké | Logické obvody (těžké) • NW9Typicky zabere: 5 min | ||
| Přesouvání | Logické obvody • střední | Logické obvody (střední) • NZUTypicky zabere: 3 min | |
| Rozhodovačka | Logické obvody: obecné principy • střední | Logické obvody: obecné principy (střední) • NWETypicky zabere: 4 min | |
| Vyhodnocování logických obvodů • lehké | Vyhodnocování logických obvodů (lehké) • NWATypicky zabere: 3 min | ||
| Vyhodnocování logických obvodů • střední | Vyhodnocování logických obvodů (střední) • NV1Typicky zabere: 3 min | ||
| Vyhodnocování logických obvodů • těžké | Vyhodnocování logických obvodů (těžké) • NWBTypicky zabere: 2 min | ||
| Porozumění | Logické obvody | ||
| Doplňování textu | Logické obvody: obecné principy • střední | Logické obvody: obecné principy (střední) • NWJTypicky zabere: 5 min | |
| Logické obvody: reálné obvody • těžké | Logické obvody: reálné obvody (těžké) • NXSTypicky zabere: 5 min | ||
| Psaná odpověď | Logické obvody • lehké | Logické obvody (lehké) • NZATypicky zabere: 5 min | |
| Logické obvody • střední | Logické obvody (střední) • NXTTypicky zabere: 5 min | ||
6. Souvislost logiky a binárních čísel | |||
| Rozhodovačka | Bity a bajty • těžké | Bity a bajty (těžké) • MNRTypicky zabere: 5 min | |
| Pexeso | Binární čísla: základy • střední | Binární čísla: základy (střední) • MK6Typicky zabere: 4 min | |
| Označování | Binární čísla: základy • těžké | Binární čísla: základy (těžké) • NVWTypicky zabere: 4 min | |
 Binární křížovka | Binární čísla: lehká | ||
| Logické výrazy: těžké | |||
| Křížovky: střední | |||
| Kombinace výrazů a binárních čísel | |||
| Křížovky: těžké | |||
| Rozhodovačka | Bitové operace • střední | Bitové operace (střední) • N3STypicky zabere: 5 min | |
| Psaná odpověď | Bitové operace • těžké | Bitové operace (těžké) • N3WTypicky zabere: 5 min | |
| Binární křížovka | Bitové filtry | ||
| Bitové filtry: střední | |||
| Křížovky: opravdová výzva | |||
7. Záludné logické úlohy | |||
 Ploty | Náročnější | ||
| Těžké | |||
| Téměř neřešitelné | |||
 Sokoban | Sokoban: záludné | ||
| Binární křížovka | Bitové filtry: těžké |
