AKADEMIE MATEMATIKA Matematika (z řeckého μαθηματικός (mathématikos) =
milující poznání; μάθημα (mathéma) = věda, vědění, poznání) je věda
zabývající se z formálního hlediska kvantitou, strukturou, prostorem a
změnou. Matematika je též popisována jako disciplína, jež se zabývá
vytvářením abstraktních entit a vyhledáváním zákonitých vztahů mezi
nimi.
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