Student
Discrete mathematics and logic
Price 435€
Amount 5.00 ECTS
Suur-Sõjamäe 10a, Tallinn
Number systems. Binary hexadecimal system. Classical logics. Propositional calculus. Predicate calculus. Derivative systems. Mathematical logic. Mathematical induction. Undecidable problems. Non-completeness of arithmetic. Non-classical logic. Application of logic. Set theory. Basic operations of set theory and their properties. Set theory as analogue for mathematical logic. Basics of graph theory. Complexity. Combinatorics. Automata.
Lectures take place
October 15, 2025, 10:00 (4 acad. hours)
October 22, 2025, 10:00 (4 acad. hours)
October 29, 2025, 10:00 (4 acad. hours)
November 05, 2025, 10:00 (4 acad. hours)
November 12, 2025, 10:00 (4 acad. hours)
November 26, 2025, 10:00 (4 acad. hours)
December 03, 2025, 10:00 (4 acad. hours)
December 10, 2025, 10:00 (4 acad. hours)
December 17, 2025, 10:00 (4 acad. hours)
A person who has passed the course
Knows basic laws of mathematical logic and can apply them in formula manipulations
Can represent functions of mathematical logic in standard form
Knows algorithms of minimization of standard forms
Can apply functions of mathematical logic in analysis of digital circuits
Knows basic laws of set theory and can apply them in transformation of set theory expressions
Is able to handle set theory as an analogue of mathematical logic
Knows fundamental concepts of graph theory and can apply them in solving of basic tasks in the field of graph theory
Lecturer
Elena Safiulina PhD
Requirements for passing the course: Exam.
