Zpět na domovskou stránku.
Osnovu předmětu naleznete zde .
Z obsahu: neformální pojmy matematiky, výroková logika, predikátová logika, resoluční algoritmy, formalizace českých vět, naivní teorie množin, mohutnosti.
Pokud naleznete chybu, dejte mi, prosím, vědět. Nalezené chyby budu zatím soustřeďovat zde .
Stránka je zatím v rekonstrukci, další info bude dostupné později.
Poslední změna: 25.9.2007