Saarland University
Computer Science
Programming Systems
Teaching
ICL 2008
Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Discussion Board
Core Course (Theoretical Computer Science), 9 credit points
Stammvorlesung (Theoretische Informatik), 9 Leistungspunkte
Prof. Gert Smolka,
Dr. Chad E Brown
Department of Computer Science,
Saarland University
Lectures are on Mondays, 10:15–12:00, and Wednesdays, 10:15–12:00, in Building E1.3, HS 002. The first lecture is on Monday, April 14, and the last lecture is on Wednesday, July 16. There will be two tutorial sections. Tutorial 1 is on Tuesday 14:15-15:45 in room SR 014. Tutorial 2 is on Tuesday 16:15-17:45 in room SR 014. The first tutorial is on Tuesday, April 22, and the last tutorial is on Tuesday, July 15. There will be no lecture on Monday, May 12 (Pentecost).
The assignments are on the services page.
The course starts with an introduction to simply typed higher-order logic. First-order predicate logic and modal logic are introduced as sublanguages of higher-order logic. Topics include: