BI-DML
- 01.1 Úvod do logiky
- 01.2 Logické spojky
- 01.3 Jazyk výrokové logiky, formule
- 01.4 Tautologie, kontradikce, splnitelnost (VL)
- 01.5 Nutná, postačující podmínka
- 01.6 Logická ekvivalence, důsledek (VL)
- 01.7 Logické zákony
- 02.1 Úpravy implikace
- 02.2 Úpravy ekvivalence
- 02.3 Univerzální systém spojek
- 02.4 DNT, literál, implikant
- 02.4 KNT, klausule
- 02.5 Úplný DNT, úplný KNT, minterm, maxterm
- 03.1 Predikátová logika, arita
- 03.2 Term
- 03.3 Formule predikátové logiky
- 03.4 Interpretace a pravdivost
- 03.5 Pravdivost v interpretaci a kontextu
- 03.6 Tautologie, kontradikce, splnitelnost (PL)
- 04.1 Logická ekvivalence, důsledek (PL)
- 04.2 Důkaz implikace
- 04.3 Důkaz ekvivalence
- 05.1 Indukce
- 05.2 Slabý princip indukce
- 05.3 Silný princip indukce
- 05.4 Induktivně definovaná množina
- 05.5 Strukturální indukce
- 06.1 Naivní teorie množin
- 06.10 Injektivní zobrazení
- 06.11 Surjektivní zobrazení
- 06.12 Bijektivní zobrazení
- 06.13 Shrnutí zobrazení
- 06.2 Množinová inkluze, rovnost
- 06.3 Potenční množina
- 06.4 Množinové operace
- 06.5 Zobecnění množinových operací
- 06.6 Disjunktnost
- 06.7 Zobrazení
- 06.8 Totální zobrazení
- 06.9 Obraz a vzor při zobrazení, zúžení
- 07.1 Rovnost a složení zobrazení
- 07.2 Identické zobrazení
- 07.3 Mocnina zobrazení
- 07.4 Inverzní zobrazení
- 07.5 Mohutnost množin
- 07.6 Konečné a nekonečné množiny
- 08.1 Teorie čísel
- 09.1 Dělitelnost
- 09.2 Dělení se zbytkem (mod)
- 09.4 Společný dělitel, násobek
- 09.5 Eukleidův algoritmus
- 09.6 Bézoutova rovnost
- 09.7 Rozšířený Eukleidův algoritmus (EEA)
- 09.8 Lineární diofantická rovnice
- 10.1 Řešení LDR
- 10.10 Square & Multiply
- 10.11 Lineární kongruence
- 10.12 ČVOZ - Čínská věta o zbytcích
- 10.13 ZČVOZ - Zobecněná Čínská věta
- 10.2 Prvočísla
- 10.3 Eukleidovo lemma
- 10.4 Základní věta aritmetiky. LCM
- 10.5 Kongruence modulo
- 10.6 Inverze v Zm
- 10.7 Krácení v modulu
- 10.8 Malá Fermatova věta
- 10.9 Eulerova věta, funkce
- 11.1 Relace
- 11.2 Reprezentace relace
- 11.3 Porovnání relací
- 11.4 Inverzní relace
- 11.5 Složení relací
- 11.6 Prázdná, identická, úplná relace
- 11.7 Mocnina relace
- 11.8 Uzávěry relace
- 11.9 Vlastnosti bin. relací na množině
- 12.1 Ekvivalence, třída prvku
- 12.2 Rozklad množiny
- 12.3 Faktorová množina
- 12.4 Částečné uspořádání, ostré uspořádání
- 12.5 Relace pokrytí, redukce
- 12.6 Hasseův diagram
- 12.7 Extremální prvky
- 12.8 Úplné uspořádání, porovnatelnost
- 13.1 Pravděpodobnostní prostor
- 13.2 Variace, permutace, kombinace
- 13.3 Kombinační číslo
- 13.4 Binomická věta
- 13.5 Princip inkluze a exkluze, IN-EX
- 13.6 Dirichletův holubník, Stirlingova čísla
- Ústní zkouška