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