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 -
Rozvíjet přesné používání základní matematické terminologie, symboliky a způsobů vyjadřování.
Vytvořit základy pro samostatné čtení a psaní matematických textů.
Připravit studující na práci s formálními definicemi, tvrzeními a důkazy v navazujících matematických a informatických předmětech.
Rozvíjet schopnost posuzovat správnost argumentace a identifikovat logické chyby v matematických úvahách.
Poslední úprava: Klimošová Tereza, Mgr., Ph.D. (30.09.2026)
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. Na konci semestru si bude možno minimálně dva libovolné testy opravit. Je také možné vyžadovat aktivní účast na cvičení.
Poslední úprava: Klimošová Tereza, Mgr., Ph.D. (27.08.2026)
Classes in English: For a course credit, you must score at least 50% on the written test at the end of the semester. Active participation in classes and satisfactory performance in an oral examination may also be taken into account.
A written test for which the score was lower than 50%, or that has been missed due to absence, can be (re)taken twice, 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 Jolyon, D.Phil. (10.08.2026)
Literatura -
MATOUŠEK, Jiří a Jaroslav NEŠETŘIL. An Invitation to Discrete Mathematics. 2nd ed. Oxford: Oxford University Press, 2008. ISBN 978-0-19-857042-4
(v češtině: MATOUŠEK, Jiří a Jaroslav NEŠETŘIL. Kapitoly z diskrétní matematiky. 5. vyd. Praha: Karolinum, 2022. ISBN 978-80-246-5084-5)
ROSEN, Kenneth H. Discrete Mathematics and Its Applications. 8th ed. New York: McGraw-Hill Education, 2019. ISBN 978-1-259-67651-2
VELLEMAN, Daniel J. How to Prove It: A Structured Approach. 3rd ed. Cambridge: Cambridge University Press, 2019. ISBN 978-1-10843-953-4
Další literatura dle doporučení učitele.
Poslední úprava: Klimošová Tereza, Mgr., Ph.D. (30.09.2026)
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.
Poslední úprava: T_KAM (13.05.2011)
Výsledky učení
Student, studentka:
určí pravdivostní hodnotu složeného výroku a zdůvodní svůj postup;
neguje výroky obsahující logické spojky a kvantifikátory;
převede matematické tvrzení z přirozeného jazyka do symbolického zápisu a naopak;
provede základní množinové operace a dokáže rovnost nebo inkluzi množin;
