Lecture "Automated Deduction for Equational Logic" (SS 2003)

Time and Venue:
Lecture: Mondays, 14:15--16:00, Bldg 45, Room 001.
Tutorial: Wednesdays, 9:15--11:00, Bldg 46.1 (MPI), Room 022.

Lecturer:
Uwe Waldmann <uwe@mpi-inf.mpg.de>

Tutor:
Thomas Hillenbrand <hillen@mpi-inf.mpg.de>

Summary of the lecture evaluation

Topics:

Tutorial [Thomas Hillenbrand]

Slides:
Lecture 28.04.2003 [PDF] [PS]
Lecture 05.05.2003 [PDF] [PS]
Lecture 12.05.2003 [PDF] [PS]
Lecture 19.05.2003 [PDF] [PS]
Lecture 26.05.2003 [PDF] [PS]
Lecture 02.06.2003 [PDF] [PS]
Lecture 16.06.2003 [PDF] [PS]
Lecture 23.06.2003 [PDF] [PS]
Lecture 30.06.2003 [PDF] [PS]
Lecture 07.07.2003 [PDF] [PS] (Model construction theorem [PDF] [PS])
Lecture 14.07.2003 [PDF] [PS]
Lecture 21.07.2003 [PDF] [PS] (Thomas Hillenbrand)

Examination sheets:
Intermediate exam [English/PDF] [English/PS] [German/PDF] [German/PS]
Final exam [English/PDF] [English/PS] [German/PDF] [German/PS]

References:


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2004-09-08.