The lectures will take place at the university. Just come to lecture
hall 6. You need a red or green sticker on your Unicard to enter the
Where und When:
to the ekvv-entry.
- Lecture: Tuesday 14:15-15:45 in H6
- Problem classes:
- Tuesday 16:15-17:45 in U2-135, tutor: Jonas Kalinski, or
- Tuesday 16:15-17:45 in C01-142, tutor: Frederic Alberti
- Wednesday 8:30-10:00 in C01-258, tutor: Simon L Ellinghaus
- Written exam: Thursday 17th February 2022
- Duration: 90 min
- Allowed tools: Pen, brain (no own paper, no cheat sheet)
Formal logic appears naturally in several places in computer science.
Logic gates are the elementary building blocks of integrated circuits.
Proofs of NP-hardness often use
reductions to satisfiability of Boolean expressions. Logic provides a
concept of computability, and a wealth of problems that cannot be solved
algorithmically. Propositional and first-order logic, as well as temporal
logic and higher-order logic are used in the verification and validation
of computer algorithms.
This one-semester course offers introduction to advanced topics of formal
logic. After setting the ground by delving into propositional logic, this
course covers first-order logic and modal logic (with some
focus on normal forms and the algorithmic treatment of logic formulas) as
well as concepts and questions about (un-)decidabilty.
The 2h lectures are accompanied by problem sheets. Solutions to the problem
sheets will be handed in by the students (single, or teams of two) and
discussed in the problem classes. In any case it is important that all
students worked on all exercises, otherwise you will not learn enough.
Any student who presents his/her solution to the problem class gets
one point bonus for the written exam.
The lecture notes. Please
let me know if you find any errors, including typos.
Assessment: 5 Credit points for solving 50% of the exercises on the
problem sheets, and passing the written exam at the end of the course.
- NWI Bachelor: strukturierte Ergänzung
- BIG Bachelor: Wahlpflicht Bioinformatik (benotet oder unbenotet),
oder strukturierte Ergänzung
- KOI Bachelor: Wahlpflicht Intelligente Systeme, oder
- Informatik Bachelor: Wahlpflicht Informatik, oder
- NWI Master: Grundlagen Ergänzung
- BIG Master: Grundlagen Ergänzung
- ISY Master: Grundlagen Ergänzung
- Uwe Schöning: Logic for Computer Scientists
- H.-D. Ebbinghaus, J. Flum, W. Thomas: Mathematical Logic
- Wolfgang Rautenberg: A Concise Introduction to Mathematical Logic
- Uwe Schöning: Logik für Informatiker (German)
- Martin Kreuzer, Stefan Kühling: Logik für Informatiker (German)
Last change 30.11.2021