Albert-Ludwigs-Universität Freiburg

Fakultät für Mathematik und Physik

Logo
Mathematisches Institut

Abteilung für Mathematische Logik
Universitätssiegel


Übungen zur Vorlesung Logik für Informatiker (WS 2009)

Note (15.3.2010): For information on your result in the exam please contact Juan Diego Caycedo by email. You can also see your exam on Monday March 22 or Wednesday March 24 between 14.00 and 16.00, in Room 304, Eckerstr. 1.

Lecturer: P.D. Dr. Lutz Strüngmann
Assisant: Juan Diego Caycedo
Tutors: Moritz Gronbach, Sebastian Rombach.

Lectures

Wed 11-13. Room: HS 00-036 Geb. 101
Thu 11-13. Room: HS 00 006 Geb. 082

Tutorials

Group 1: Monday 9-11. Room: HS 03 026 Geb. 051. Tutor: Moritz Gronbach.
Group 2: Tuesday 11-13. Room: SR 03-026, Geb. 051. Tutor: Sebastian Rombach.
Group 3: Cancelled.
Group 4: Tuesday 16-18. Room: SR 01-018 Geb. 101. Tutor: Sebastian Rombach.

Handouts

Lecture Notes (.pdf) (last updated 8.2.2010).
Detailed information (.pdf).
Einstein Rätsel (.pdf) from the first lecture.
Slides on Turing Machines: 1 (.pdf), 2 (.pdf), 3 (.pdf), 4 (.pdf).
Axioms of the Predicate Calculus (.pdf).
Slides on resolution methods (.pdf). You may also find this handout (.pdf) from a course by Prof. Martin Kreuzer useful.

Problem Sheets

Problem Sheet 1 (.pdf) (due 4.11.09)
Problem Sheet 2 (.pdf) (due 11.11.09) -- Typo in 6.b corrected on 9.11.09
Problem Sheet 3 (.pdf) (due 18.11.09) -- See also Example 2 (.pdf)
Problem Sheet 4 (.pdf) (due 25.11.09)
Problem Sheet 5 (.pdf) (due 2.12.09). German Translation (.pdf)*
Problem Sheet 6 (.pdf) (due 9.12.09). German Translation (.pdf)*
Problem Sheet 7 (.pdf) (due 16.12.09). German Translation (.pdf)* -- Typo in 3.b corrected on 10.12.09
Problem Sheet 8 (.pdf) (due 23.12.09). German Translation (.pdf)*
Revision Problem Sheet (.pdf) (due 13.1.10). German Translation (.pdf)*
Problem Sheet 9 (.pdf) (due 20.1.10). German Translation (.pdf)* -- Typo in the definition in 2. in the German translation corrected on 13.1.10
Problem Sheet 10 (.pdf) (due 27.1.10). German Translation (.pdf)* -- Hint in 3.c added on 19.01.10
Problem Sheet 11 (.pdf) (due 3.2.10). German Translation (.pdf)*
Problem Sheet 12 (.pdf) (due 10.2.10). German Translation (.pdf)*
Problem Sheet 13 (.pdf). German Translation (.pdf)*. Typo in 2. corrected on 9.2.10.

*Thanks to Moritz Gronbach.

Final Exam

The final exam took place Monday March 8, 2010 from 10:00 to 11:30 in room 2004, Kollegiengebäude 2.


J.D. Caycedo, 15.3.2010