|
||
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 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. Last update: Goodall Andrew, D.Phil. (09.10.2024)
|
|
||
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)
|