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: 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í.
Poslední úprava: 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.
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.