The course is an introduction to mathematical logic for students in Computer Science and Mathematics.
Students who take the exercises must mandatorily take the lecture too. It is recommended to take both the lecture and the exercises.
Goal: understanding of the principles of mathematical logic and its mathematical models, aquiring the skills for using it in Mathematics and Computer Science.
Contents: propositional logic and first-order logic (syntax, semantics, inference): model existence, sequent calculus, DPLL, semantic tableaux, resolution.
Winter Semester 2022.
|Number:||326.019: Lecture (VL), 326.021: Exercises (UE), 326.090: Special Topic Mathematical Logic (KV)|
|Lecturers:||Tudor Jebelean and Temur Kutsia|
|Time and place for the lecture:||Tuesday, 14:30 - 16:00, S2 219|
|Time and place for the exercises:||Tuesday, 13:45 - 14:30, S2 219|
|First meeting:||October 11|
|Registration:||Via the KUSSS system|