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í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í	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

Zobrazit i lehčí rozšíření

Zobrazit i těžší rozšíření

Seznam Náhledy

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

Tento blok doporučujeme řešit.

2. Logické výrazy Splněno základních cvičení: 0/7

Těžší rozšíření
Splněno 0/3

3. Využití logiky v programování Splněno základních cvičení: 0/6

Těžší rozšíření
Splněno 0/1

4. Logické brány Splněno základních cvičení: 0/8

Těžší rozšíření
Splněno 0/2

5. Logické obvody Splněno základních cvičení: 0/8

Těžší rozšíření
Splněno 0/2

6. Souvislost logiky a binárních čísel Splněno základních cvičení: 0/8

Těžší rozšíření
Splněno 0/3

7. Záludné logické úlohy Splněno základních cvičení: 0/3

Těžší rozšíření
Splněno 0/2

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 • těžké	Bájná logika: implikace a ekvivalence (těžké) • NN1 Typicky zabere: 6 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
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
	Vyhodnocování logických výrazů • těžké	těžší rozšíření	Vyhodnocování logických výrazů (těžké) • NR7 Typicky zabere: 5 min
	Úpravy logických výrazů • střední		Úpravy logických výrazů (střední) • NN3 Typicky zabere: 10 min
	Úpravy logických výrazů • těžké	těžší rozšíření	Úpravy logických výrazů (těžké) • NR9 Typicky zabere: 11 min
	Logické odvozování s výrazy • střední		Logické odvozování s výrazy (střední) • NOW Typicky zabere: 11 min
	Logické odvozování s výrazy • těžké	těžší rozšíření	Logické odvozování s výrazy (těžké) • NOX Typicky zabere: 5 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
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 • střední		Logické výrazy v Pythonu (střední) • MES Typicky zabere: 9 min
	Logické výrazy v Pythonu • těžké	těžší rozšíření	Logické výrazy v Pythonu (těžké) • MFF Typicky zabere: 12 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 • střední		Logické brány (střední) • N2B Typicky zabere: 5 min
Přesouvání	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 • střední		Vyhodnocování logických bran (střední) • NVT Typicky zabere: 3 min
	Vyhodnocování logických bran • těžké	těžší rozšíření	Vyhodnocování logických bran (těžké) • NVU Typicky zabere: 5 min
	Vyhodnocování logických bran bez legendy • střední		Vyhodnocování logických bran bez legendy (střední) • NUW Typicky zabere: 5 min
	Vyhodnocování logických bran bez legendy • těžké	těžší rozšíření	Vyhodnocování logických bran bez legendy (těžké) • NU1 Typicky zabere: 5 min

5. Logické obvody
Krok po kroku	Logické obvody • střední		Logické obvody (střední) • NWD Typicky zabere: 4 min
	Logické obvody • těžké	těžší rozšíření	Logické obvody (těžké) • NW9 Typicky zabere: 5 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ů • střední		Vyhodnocování logických obvodů (střední) • NV1 Typicky zabere: 3 min
	Vyhodnocování logických obvodů • těžké	těžší rozšíření	Vyhodnocování logických obvodů (těžké) • NWB Typicky zabere: 2 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 • 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
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
	Křížovky: těžké	těžší rozšíření	Křížovky: těžké • MA4
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
	Bitové filtry: střední	těžší rozšíření	Bitové filtry: střední • NRA
	Křížovky: opravdová výzva	těžší rozšíření	Křížovky: opravdová výzva • MA6

7. Záludné logické úlohy
Ploty	Náročnější		Náročnější • MJ2
	Těžké		Těžké • MJ3
	Téměř neřešitelné	těžší rozšíření	Téměř neřešitelné • MJ4
Sokoban	Sokoban: záludné	těžší rozšíření	Sokoban: záludné • MJH
Binární křížovka	Bitové filtry: těžké		Bitové filtry: těžké • NRB

Logika v informatice

Bloky a dosažený postup

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

Napište nám

Nevíte si rady?

Čeho se zpráva týká?

Logika v informatice

Bloky a dosažený postup

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

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

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

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

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

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

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

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

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

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

Logické výrazy: mix • NWP

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

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

Kombinace podmínek • MPZ

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

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

Logické výrazy v Pythonu (těžké) • MFF

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

Logické výrazy • MBM

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

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

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

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

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

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

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

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

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

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

Logické obvody (střední) • NWD

Logické obvody (těžké) • NW9

Logické obvody (střední) • NZU

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

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

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

Logické obvody • NWO

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

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

Logické obvody (střední) • NXT

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

Binární čísla: lehká • MP9

Logické výrazy: těžké • NP2

Křížovky: střední • MA3

Kombinace výrazů a binárních čísel • MB6

Křížovky: těžké • MA4

Bitové operace (střední) • N3S

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

Bitové filtry • NP7

Bitové filtry: střední • NRA

Křížovky: opravdová výzva • MA6

Náročnější • MJ2

Těžké • MJ3

Téměř neřešitelné • MJ4

Sokoban: záludné • MJH

Bitové filtry: těžké • NRB

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

Napište nám

Nevíte si rady?

Čeho se zpráva týká?