The seminar is intended for first-year bachelor students of Computer Science at the Faculty of
Mathematics and Physics. Basic mathematical skills used in mathematical courses at our faculty
are discussed. A special emphasis is put on logic reasoning.
Last update: T_KAM (25.04.2008)
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í.
Aim of the course -
Last update: T_KAM (25.04.2008)
This seminar helps students of Computer Science in adjusting to university form of study of mathematics.
Last update: T_KAM (25.04.2008)
Usnadnění přechodu studentů Informatiky na vysokoškolský způsob výuky matematiky.
Course completion requirements -
Last update: Andrew Goodall, D.Phil. (02.10.2023)
Classes with Andrew Goodall: There will be two tests for obtaining a credit (pass) for this course, taken during the semester. To pass the class you should satisfy one the following criteria: 1) get a score of at least 50% altogether from the tests taken during the semester. 2) failing 1), get a score of at least 60% altogether from these tests, in which one test that has been missed or with a low score is (re)taken latest by the end of the exam period that follows the semester. There is no other provision for repeated attempts at obtaining a course credit.
Last update: RNDr. Ondřej Pangrác, Ph.D. (11.10.2023)
Zápočet je možné získat za alespoň 50% bodů z testů psaných v průběhu semestru. Je také možné vyžadovat aktivní účast na cvičení.
Literature -
Last update: prof. Mgr. Milan Hladík, Ph.D. (17.04.2013)
Literature according to the recommendation of the teacher.
Last update: prof. Mgr. Milan Hladík, Ph.D. (17.04.2013)
Literatura dle doporučení učitele.
Syllabus -
Last update: T_KAM (13.05.2011)
Mathematical terminology, mathematical notation.
Selected basic topics in mathematical logic.
The principle of mathematical proof; most common types of proof.
Last update: T_KAM (13.05.2011)
Matematická terminologie, matematické značení.
Výběr ze základů matematické logiky.
Princip matematického důkazu, nejznámější druhy důkazu.