Lecture "Logic for Computer Science" (SS 2002)

Time and Venue:
Lecture: Tuesdays and Thursdays, 11:00-13:00, Bldg 45, Room 001
Tutorials: Wednesdays and Fridays.

Lecturer:
Harald Ganzinger <hg@mpi-inf.mpg.de>

Tutors:
Uwe Waldmann <uwe@mpi-inf.mpg.de>
Debapriyo Majumdar <dmajumda@mpi-inf.mpg.de>
Yevgeny Kazakov <ykazakov@mpi-inf.mpg.de>

Exercise sheets

Suggested readings

Examinations and grading

Certificates ("Scheine") can be obtained at Prof. Ganzinger's Secretariat, MPI, Room 602 (morning or afternoon).

Mailing list for the lecture (logic-ss02-l @ postino.mpi-inf.mpg.de)


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2002-10-30.