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.

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

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

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

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

Lehčí rozšíření
Splněno 0/4

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

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

Lehčí rozšíření
Splněno 0/2

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

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ě

2. Logické výrazy

3. Využití logiky v programování

Logické výrazy v Pythonu

Souhrn tématu

Logické výrazy Python vyhodnocuje na hodnoty True (pravda) a False (nepravda). Přesný zápis těchto konstant bývá zdrojem chyb:

Velké písmeno je důležité: True je logická konstanta (pravda), kdežto true je název proměnné (která může držet libovolnou hodnotu).
"True" a "False" (tj. názvy logických konstant psány v uvozovkách) jsou obyčejné řetězce, nikoliv konstanty se speciálním významem.

Operátory porovnání

Základním logickým výrazem je porovnání mezi dvěma výrazy (např. porovnání hodnoty proměnné a konstanty). Operátory větší/menší zapisujeme podobně jako v matematice (> a <), „větší/menší nebo rovno“ zapisujeme >= a <=. Test na rovnost provádíme pomocí dvou rovnítek (==). Test na nerovnost zapisujeme !=.

Příklady: