Exams and Grade
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,
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
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 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: Mon Oct 16 13:11:03 2017