Moduly: úvod Přehled po ročnících Přehled učiva Přehled pokrytí RVP Přehled výsledků učení

Logika v informatice

Typický ročník2. SŠ
Interval vhodných ročníků1. SŠ – 4. SŠ
Učivovýroková logika, logické výrazy, logika v programování, logické brány, logické obvody
Bezprostřední výsledky učení
  • Analyzuje slovní tvrzení, správně formuluje jejich negace a pomocí logického odvozování řeší komplexní logické úlohy.
  • Vyhodnocuje a zjednodušuje logické výrazy s využitím pravdivostních tabulek a základních pravidel formální logiky.
  • Aplikuje logické výrazy a operátory přímo v kódu (v syntaxi jazyka Python).
  • Interpretuje a schématicky vyhodnocuje funkci jednotlivých logických bran a komplexnějších logických obvodů.
  • Provádí nízkoúrovňové bitové operace a využívá bitové filtry pro manipulaci s daty.
  • Kombinuje znalost binární soustavy a logických operací při řešení netradičních úloh.
Související RVP výsledky učení
  • Užívá správně logické spojky a kvantifikátory.
  • Rozliší správný a nesprávný úsudek.
  • Vytváří hypotézy, zdůvodňuje jejich pravdivost a nepravdivost, vyvrací nesprávná tvrzení.
  • Zdůvodňuje svůj postup a ověřuje správnost řešení problému.
  • Analyzuje problém, rozdělí problém na menší části, rozhodne, které je vhodné řešitalgoritmicky, své rozhodnutí zdůvodní; sestaví a zapíše algoritmy pro řešení problému.

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

Bloky a dosažený postup

Seznam Náhledy
1. Logické výroky slovně Splněno základních cvičení: 0/7

Tento blok doporučujeme řešit.
Lehčí rozšíření
Splněno 0/2
2. Logické výrazy Splněno základních cvičení: 0/7
Lehčí rozšíření
Splněno 0/3
3. Využití logiky v programování Splněno základních cvičení: 0/6
Lehčí rozšíření
Splněno 0/2
4. Logické brány Splněno základních cvičení: 0/8
Lehčí rozšíření
Splněno 0/4
5. Logické obvody Splněno základních cvičení: 0/8
Lehčí rozšíření
Splněno 0/2
6. Souvislost logiky a binárních čísel Splněno základních cvičení: 0/8
Lehčí rozšíření
Splněno 0/2
7. Záludné logické úlohy Splněno základních cvičení: 0/3
1. Logické výroky slovně
Rozhodovačka Negace tvrzení • těžké

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

Typicky zabere: 8 min
Bájná logika: negace • těžké

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

Typicky zabere: 6 min
Bájná logika: implikace a ekvivalence • střední lehčí rozšíření

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

Typicky zabere: 4 min
Bájná logika: implikace a ekvivalence • těžké

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

Typicky zabere: 6 min
Příšerky: implikace a ekvivalence • těžké lehčí rozšíření

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

Typicky zabere: 7 min
Přesouvání Poctivci a padouši: dvojčata • těžké

Poctivci a padouši: dvojčata (těžké) • MHK

Typicky zabere: 8 min
Hlavy robotů • těžké

Hlavy robotů (těžké) • N1C

Typicky zabere: 6 min
Bedny s poklady • těžké

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

Typicky zabere: 6 min
Einsteinovy hádanky • těžké

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

Typicky zabere: 11 min
2. Logické výrazy
Rozhodovačka Logické spojky a pravdivostní tabulky • těžké lehčí rozšíření

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

Typicky zabere: 8 min
Pexeso Logické výrazy: mix • střední lehčí rozšíření

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

Typicky zabere: 8 min
Přesouvání Domino: logické spojky • střední

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

Typicky zabere: 7 min
Vyhodnocování logických výrazů • střední

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

Typicky zabere: 5 min
Rozhodovačka Vyhodnocování logických výrazů • střední

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

Typicky zabere: 5 min
Úpravy logických výrazů • střední

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

Typicky zabere: 10 min
Logické odvozování s výrazy • střední

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

Typicky zabere: 11 min
Přesouvání Logické výrazy: mix • střední lehčí rozšíření

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

Typicky zabere: 11 min
Porozumění Logické výrazy: mix

Logické výrazy: mix • NWP
Doplňování textu Logické výrazy: mix • střední

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

Typicky 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é lehčí rozšíření

Deaktivace bomby: podmínky (těžké) • M9O

Typicky zabere: 6 min
Krok po kroku Podmínky a větvení • střední

Podmínky a větvení (střední) • NDA

Typicky zabere: 7 min
Plošinovka Kombinace podmínek

Kombinace podmínek • MPZ
Označování Vybarvování: podmínky s proměnnými • těžké

Vybarvování: podmínky s proměnnými (těžké) • NVF

Typicky zabere: 12 min
Rozhodovačka Logické výrazy v Pythonu • lehké lehčí rozšíření

Logické výrazy v Pythonu (lehké) • MAS

Typicky zabere: 7 min
Logické výrazy v Pythonu • střední

Logické výrazy v Pythonu (střední) • MES

Typicky zabere: 9 min
Pexeso Logické výrazy v Pythonu • střední

Logické výrazy v Pythonu (střední) • MKV

Typicky zabere: 8 min
Programování v Pythonu Logické výrazy

Logické výrazy • MBM
4. Logické brány
Označování Součásti logických bran • střední

Součásti logických bran (střední) • N2D

Typicky zabere: 5 min
Logické brány • lehké lehčí rozšíření

Logické brány (lehké) • N2A

Typicky zabere: 3 min
Logické brány • střední

Logické brány (střední) • N2B

Typicky zabere: 5 min
Přesouvání Logické brány: výběr bran • lehké lehčí rozšíření

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

Typicky zabere: 5 min
Logické brány: výběr bran • střední

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

Typicky zabere: 5 min
Logické brány: vyhodnocování • střední

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

Typicky zabere: 5 min
Psaná odpověď Logické brány • střední

Logické brány (střední) • NZC

Typicky zabere: 5 min
Rozhodovačka Pojmenování logických bran • střední

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

Typicky zabere: 2 min
Vyhodnocování logických bran • lehké lehčí rozšíření

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

Typicky zabere: 11 min
Vyhodnocování logických bran • střední

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

Typicky zabere: 3 min
Vyhodnocování logických bran bez legendy • lehké lehčí rozšíření

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

Typicky zabere: 3 min
Vyhodnocování logických bran bez legendy • střední

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

Typicky zabere: 5 min
5. Logické obvody
Krok po kroku Logické obvody • střední

Logické obvody (střední) • NWD

Typicky zabere: 4 min
Přesouvání Logické obvody • střední

Logické obvody (střední) • NZU

Typicky zabere: 3 min
Rozhodovačka Logické obvody: obecné principy • střední

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

Typicky zabere: 4 min
Vyhodnocování logických obvodů • lehké lehčí rozšíření

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

Typicky zabere: 4 min
Vyhodnocování logických obvodů • střední

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

Typicky zabere: 3 min
Porozumění Logické obvody

Logické obvody • NWO
Doplňování textu Logické obvody: obecné principy • střední

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

Typicky zabere: 5 min
Logické obvody: reálné obvody • těžké

Logické obvody: reálné obvody (těžké) • NXS

Typicky zabere: 5 min
Psaná odpověď Logické obvody • lehké lehčí rozšíření

Logické obvody (lehké) • NZA

Typicky zabere: 5 min
Logické obvody • střední

Logické obvody (střední) • NXT

Typicky zabere: 5 min
6. Souvislost logiky a binárních čísel
Rozhodovačka Bity a bajty • těžké

Bity a bajty (těžké) • MNR

Typicky zabere: 5 min
Pexeso Binární čísla: základy • střední lehčí rozšíření

Binární čísla: základy (střední) • MK6

Typicky zabere: 4 min
Označování Binární čísla: základy • těžké lehčí rozšíření

Binární čísla: základy (těžké) • NVW

Typicky zabere: 4 min
Binární křížovka Binární čísla: lehká

Binární čísla: lehká • MP9
Logické výrazy: těžké

Logické výrazy: těžké • NP2
Křížovky: střední

Křížovky: střední • MA3
Kombinace výrazů a binárních čísel

Kombinace výrazů a binárních čísel • MB6
Rozhodovačka Bitové operace • střední

Bitové operace (střední) • N3S

Typicky zabere: 4 min
Psaná odpověď Bitové operace • těžké

Bitové operace (těžké) • N3W

Typicky zabere: 5 min
Binární křížovka Bitové filtry

Bitové filtry • NP7
7. Záludné logické úlohy
Ploty Náročnější

Náročnější • MJ2
Těžké

Těžké • MJ3
Binární křížovka Bitové filtry: těžké

Bitové filtry: těžké • NRB
NAPIŠTE NÁM

Děkujeme za vaši zprávu, byla úspěšně odeslána.

Napište nám

Nevíte si rady?

Před položením dotazu si prosím projděte návody:

Návody

Prosíme, nezasílejte dotazy na prozrazení řešení úloh či vysvětlení postupu. Pokud hlásíte chybu, upřesněte prosím, v čem přesně spočívá a připojte snímek obrazovky.

Čeho se zpráva týká?

Vzkaz Hlášení chyby Obsah Ovládání Přihlášení Licence