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í.