RISC JKU

Mathematical Logic (326.019, 326.021, 326.090)

326.019: Lecture (VL), 326.021: Exercises (UE), 326.090: Special Topic Mathematical Logic (KV)



Overview

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.

Organization

Summer Semester 2024.

Number:326.019: Lecture (VL), 326.021: Exercises (UE), 326.090: Special Topic Mathematical Logic (KV)
Title:Mathematical Logic
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
Language:English
First meeting:March 5
Registration:Via the KUSSS system
Grading:Exam
Course Materials
Materials will appear in the course moodle page.