Advanced Logics
Prof. Dr. Christel Baier
SWS: (4/2/0), in English
Description
The course is mandatory for students in the Master's program “Computational Logic”. For computer science students enrolled in the Bachelor's, Master's or Diplom program, the lecture is optional. In the former Bakkalaureat and Diplom program the course belongs to the sections “intelligent systems” and “theory of programming”.
The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.
Dates
Thu | 2. and 3. time slot | [09:20 am – 12:40 pm] | room: APB/E005 |
Fri | 2. time slot | [09:20 am – 10:50 pm] | room: APB/E005 |
The first lecture will be held on Thursday, April 4th at 09:20 am. The date of the first tutorial will be announced in the lecture. There will be no fixed assignment of the lectures and exercises to time slots. The schedule for the lectures and tutorials will be announced every week.
Prerequisites
For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.
Creditability
Bachelor Informatik
Master Informatik
Master Computational Logic
- MCL-AL: Advanced Logic
Diplom Informatik
Diplom Informatik (DPO 2004)
- INF-04-FG-IS: Fachgebiet Intelligente Systeme
- INF-04-FG-TP: Fachgebiet Theorie der Programmierung
Course Material
Here, you will find the scripts in PDF format after each lecture.
- Part 01 (2019-04-04) PDF
- Part 02 (2019-04-05) PDF
- Part 03 (2019-04-11) PDF
- Part 04 (2019-04-12) PDF
- Part 05 (2019-04-18) PDF
- Part 06 (2019-04-25) PDF
- Part 07 (2019-04-26) PDF
- Part 08 (2019-05-02) PDF
- Part 09 (2019-05-03) PDF
- Part 10 (2019-05-09) PDF
- Part 11 (2019-05-10) PDF
- Part 12 (2019-05-23) PDF
- Part 13 (2019-05-24) PDF
- Part 14 (2019-05-31) PDF
- Part 15 (2019-06-06) PDF
- Part 16 (2019-06-07) PDF
- Part 17 (2019-06-27) PDF
- Part 18 (2019-07-04) PDF
- Part 19 (2019-07-05) PDF
Exercises
Here, you will find the sheets for the upcoming exercise in PDF format.
- Sheet 01 (2019-04-04, discussion on 2019-04-04) PDF
- Sheet 02 (2019-04-06, discussion on 2019-04-11) PDF
- Sheet 03 (2019-04-12, discussion on 2019-04-18) PDF
- Sheet 04 (2019-04-18, discussion on 2019-04-25) PDF
- Sheet 05 (2019-04-26, discussion on 2019-05-02) PDF
- Sheet 06 (2019-05-04, discussion on 2019-05-09) PDF
- Sheet 07 (2019-05-10, discussion on 2019-05-17) PDF
- Sheet 08 (2019-05-31, discussion on 2019-06-06) PDF
- Sheet 09 (2019-06-07, discussion on 2019-06-27) PDF
- Sheet 10 (2019-06-29, discussion on 2019-07-04) PDF
- Sheet 11 (2019-07-06, discussion on 2019-07-12) PDF
Mailing list
Students are advised to subscribe to the mailing list of the lecture.
Contact
Dr. Sascha Klüppelholz
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).