Saarland University
Computer Science
Programming Systems
Teaching
ICL 2009
Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Discussion Board
Introduction to Computational Logic
Core Course (Theoretical Computer Science), 9 credit points
Summer Semester 2009
Prof. Gert Smolka,
Dr. Chad E Brown
Department of Computer Science,
Saarland University
Syllabus
Computational Logic is an important tool in many areas
of computer science, including verification,
programming languages, databases, and Artificial
Intelligence. The course is an introduction to
computational logic providing notions and techniques
for advanced courses and research. It starts with
simply typed higher-order logic and treats first-order
predicate logic and modal logic as sublanguages of
higher-order logic. Topics include:
- Syntax and semantics
- Tableau deduction
- Natural deduction
- Decision procedures
- Completeness, compactness, decidability, expressivity
- BDD-based algorithms
Registration (Closed)
Students must register with
us and with
HISPOS (the University's system).
You must register
with us in order to take part in the tutorials and exams.
If you have not yet registered and still wish to take the
course, please send an email to Chad E Brown.
If you decide later to
unregister, you must make sure you unregister with HISPOS
and should send an email to Chad E Brown.
When and Where
Lectures are on Wednesdays, 10:15–12:00, and
Fridays, 10:15–12:00, in Building E1.3, HS 002.
The first lecture is on Wednesday, April 22, and the
last lecture is on Friday, July 31. There will be three
tutorial sections.
Tutorial 1 is on Tuesday 14:15-15:45 in room SR 016.
Tutorial 2 is on Tuesday 16:15-17:45 in room SR 016.
Tutorial 3 is on Tuesday 16:15-17:45 in room HS 003.
The first tutorial is on
Tuesday, April 28, and the last tutorial is on
Tuesday, July 28. There will be no class on May 1.
Last Change: Thu 01 Jan 1970 00:00:00 UTC