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.
Poslední úprava: T_KAM (25.04.2008)
Cíl předmětu -
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.
Poslední úprava: T_KAM (25.04.2008)
Podmínky zakončení předmětu -
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: Pangrác Ondřej, RNDr., Ph.D. (11.10.2023)
Classes with Andrew Goodall: There will be two tests for obtaining a credit (pass) for this course, each to be taken during the semester. To pass the class you should obtain a score of at least 50% on both tests.
For each test there is provision for just one retake. A test for which the score was lower than 50%, or that has been missed due to absence, can be (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.
Poslední úprava: Goodall Andrew, D.Phil. (09.10.2024)
Literatura -
Literatura dle doporučení učitele.
Poslední úprava: Hladík Milan, prof. Mgr., Ph.D. (17.04.2013)
Literature according to the recommendation of the teacher.
Poslední úprava: Hladík Milan, prof. Mgr., Ph.D. (17.04.2013)
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.
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.