|
||
|
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)
|
|
||
|
This seminar helps students of Computer Science in adjusting to university form of study of mathematics.
Last update: T_KAM (25.04.2008)
|
|
||
|
Classes in English: For a course credit, you must score at least 50% on the written test toward the end of 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 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: Goodall Andrew, D.Phil. (07.10.2025)
|
|
||
|
Literature according to the recommendation of the teacher. Last update: Hladík Milan, prof. Mgr., Ph.D. (17.04.2013)
|
|
||
|
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)
|