AKADEMIE MATEMATIKA HOME ÚVOD DO INFORMATIKY(8) POČÍTAČOVÉ SÍTĚ(37) BEZPEČNOST(7) TECHNOLOGIE(3) PROGRAMOVÁNÍ(3) OPERAČNÍ SYSTÉMY() ADMINISTRACE() MANAGEMENT(11) SOFTWARE(6) V PŘÍPRAVĚ() STUDIJNÍ PLÁN() V BUDOUCNOSTI() AI()
MATEMATIKA
ZÁKLADNÍ FORMALISMY - DŮKAZY A ALGORITMUS
ÚVOD DO MATEMATICKÉHO DOKAZOVÁNÍ
VÝZNAM MATEMATICKÝCH VĚT
STRUKTURA MATEMATICKÝCH VĚT A DŮKAZŮ
FORMÁLNÍ POPIS ALGORITMU
DŮKAZOVÉ TECHNIKY, INDIKACE
PŘEHLED ZÁKLADNÍCH DŮKAZOVÝCH TECHNIK
VĚTY TYPU "TEHDY A JEN TEHDY
MATEMATICKÁ INDUKCE
KOMENTÁŘE K MATEMATICKÉ INDUKCI
MNOŽINY, RELACE A FUNKCE
POJEM MNOŽINA
MNOŽINOVÉ OPERACE
POROVNÁVÁNÍ A URČENÍ MNOŽIN
RELACE A FUNKCE MEZI (NAD) MNOŽINAMI
POSLOUPNOSTI A REKURENTNÍ VZTAHY
BINÁRNÍ RELACE, EKVIVALENCE
REPREZENTACE KONEČNÝCH RELACÍ
VLASTNOSTI BINÁRNÍCH RELACÍ
RELACE EKVIVALENCE
ROZKLADY A JEJICH VZTAH K EKVIVALENCÍM
USPOŘÁDÁNÍ MNOŽINY, UZÁVĚRY
USPOŘÁDÁNÍ MNOŽINY
DALŠÍ POJMY USPOŘÁDANÝCH MNOŽIN
HASSEOVKÉHO DIAGRAMY
UZÁVĚRY RELACÍ
SKLÁDÁNÍ RELACÍ A FUNKCÍ
VLASTNOSTI FUNKCÍ
INVERZNÍ RELACE A SKLÁDÁNÍ RELACÍ
SKLÁDÁNÍ RELACÍ "V PRAXI"
SKLÁDÁNÍ FUNKCÍ, PERMUTACE
INDUKTIVNÍ DEFINICE MNOŽINY A FUNKCÍ
JEMNÝ ÚVOD DO LOGIKY
VÝROKY V "PŘIROZENÉ" PODOBĚ
(FORMÁLNÍ) VÝROKOVÁ LOGIKA
JAK SPRÁVNĚ "ZNEGOVAT FORMULI"
PREDIKÁTOVÁ LOGIKA, KVANTIFIKACE
DOTAZOVÁNÍ VLASTNOSTÍ ALGORITMŮ
O "SPRÁVNOSTI" PRORAMŮ
JEDNODUCHÉ INDUKČNÍ DOTAZOVÁNÍ
ALGORITMY PRO RELACE
ZAJÍMAVÉ ALGORITMY ARITMETIKY
JEDNODUCHÝ DEKLARATIVNÍ JAZYK
POPIS JEDNODUCHÉHO DEKLARATIVNÍHO JAZYKU
FORMALIZACE POJMU VÝPOČET
PŘÍKLADY VÝPOČTŮ A DŮKAZŮ
DŮKAZOVÉ POSTUPY PRO ALGORITMY
TECHNIKA "FIXACE PARAMETRU"
TECHNIKA "INDUKCE K SOUČTU PARAMETRŮ"
TECHNIKA "ZESÍLENÍ DOKAZOVANÉHO TVRZENÍ"
DVA DOBŘE ZNÁMÉ ŠKOLNÍ ALGORITMY
NEKONEČNÉ MNOŽINY A ZASTAVENÍ ALGORITMU
O KARDINALITĚ A NEKONEČNÝCH MNOŽINÁCH
ALGORITMICKÁ NEŘEŠITELNOST PROBLÉMU ZASTAVENÍ
DÉLKA VÝPOČTU ALGORITMU
O VÝZNAMU DÉLKY ALGORITMU
ASYMPTOTICKÉ ZNAČENÍ A ODHADY FUNKCÍ
REKURENTNÍ ODHADY