|
|
||
Last update: T_KAM (25.04.2008)
|
|
||
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: 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. |
|
||
Last update: prof. Mgr. Milan Hladík, Ph.D. (17.04.2013)
Literature according to the recommendation of the teacher. |
|
||
Last update: 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.
|