Sylabus
Matematická terminologie, matematické značení.
Výběr ze základů matematick é logiky.
Princip matematického důkazu, nejznámější druhy důkazu.
Anotace
Seminář je určen studentům 1. ročníku bakalářského studia na MFF, zejména na Informatice. Jsou v něm probírány základní matematické dovednosti používané v matematických předmětech na
MFF. Velký důraz je kladen na osvojování si logického myšlení.