Advanced Logics Summer Term 2010

Lecture

Thursday 2.DS [09.20-10.50] INF/E05
Friday 3.DS [11.10-12.40] INF/E05
First lecture: Friday, April 16

Tutorial

Wednesday 2.DS [9.20-10.50] Dr.rer.nat. Walter Nauber

All classes take place in INF/E05.

Information

This course is mandatory for the master program computational logic, but can also be attended by diploma and bachelor students. For details see German webpage

Course Description

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 Informatics, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.

Lecture notes (no longer available)

• Part 1 (2010-04-16) PDF
• Part 2 (2010-04-22) PDF
• Part 3 (2010-04-29) PDF
• Part 4 (2010-04-30) PDF
• Part 5 (2010-05-12) PDF
• Part 6 (2010-05-20) PDF
• Part 7 (2010-05-21) PDF
• Part 8 (2010-06-03) PDF
• Part 9 (2010-06-04) PDF
• Part 10 (2010-06-10) PDF
• Part 11 (2010-06-11) PDF
• Part 12 (2010-06-17) PDF
• Part 13 (2010-06-18) PDF
• Part 14 (2010-07-08) PDF
• Part 15 (2010-07-09) PDF
• Lambda calculus Part 1
• Lambda calculus Part 2
• Part 16 (2010-07-16) PDF

Excercises (no longer available)

• Sheet 1 PDF
• Sheet 2 PDF
• Sheet 3 PDF
• Sheet 4 PDF
• Sheet 5 PDF
• Sheet 6 PDF
• Sheet 7 PDF
• Sheet 8 PDF
• Sheet 9 PDF
• Sheet 10 PDF
• Sheet 11 PDF 20.7.10, 9:20-10:50 h
  
• Sheet 12 PDF 23.7.10, 11:10-12:40 h