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í.
Poslední úprava: T_KAM (25.04.2008)
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.
Cíl předmětu -
Poslední úprava: T_KAM (25.04.2008)
Usnadnění přechodu studentů Informatiky na vysokoškolský způsob výuky matematiky.
Poslední úprava: T_KAM (25.04.2008)
This seminar helps students of Computer Science in adjusting to university form of study of mathematics.
Podmínky zakončení předmětu -
Poslední úprava: doc. Mgr. Jan Kynčl, Ph.D. (12.10.2021)
Zápočet je možné získat za alespoň 50% bodů ze 4 testů během semestru.
Poslední úprava: doc. Andreas Emil Feldmann, Dr. (11.10.2022)
Andreas Feldmann:
There will be a short quiz for each lecture. To obtain the credit for this course, at least 60% of the total points for the quizzes have to be obtained. Further information can be found on the Moodle page: https://dl1.cuni.cz/course/view.php?id=13855
Students who get caught cheating on a test or a homework may automatically fail the course.
Literatura -
Poslední úprava: prof. Mgr. Milan Hladík, Ph.D. (17.04.2013)
Literatura dle doporučení učitele.
Poslední úprava: prof. Mgr. Milan Hladík, Ph.D. (17.04.2013)
Literature according to the recommendation of the teacher.
Sylabus -
Poslední úprava: 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.
Poslední úprava: 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.