TCS / Studies / T-79.154 / 1999
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Tik-79.154 Logic in Computer Science: Special Topics II

Autumn 1999

Other years: [Autumn 2000] [Autumn 1997]

This is an advanced course on logic and its applications in computer science and engineering. Subjects covered this year are: advanced decision methods for propositional logic (Davis-Putnam, BDDs, stochastic methods) and for rule-based reasoning.

[General Information] [Examinations] [Home Assignments] [Software] [Program] [Reading List]

General Information


Home Assignments

The three home assignments were introduced on November 11, 18 and 25.





Precompiled programs are (or will be) available in the machines of computing centre:
please consult the directory ~tssyrjan/Tik-79.154/bin/.


September 9: Lecture 1, no tutorial
Introduction, a refresher on propositional logic
September 16: No lecture, Tutorial 1 (solutions)
Reducing graph problems to propositional decision problems
September 23: Lecture 2, Tutorial 2 (solutions)
Davis-Putnam method (see [Fitting, 1990] below)
September 30: Lecture 3, Tutorial 3 (solutions)
Rule-based reasoning (see [DG,1984] below)
October 7: Lecture 4, Tutorial 4 (solutions)
Local search methods (see [SKC] and [CA, 1996] below)
October 14: Lecture 5, Tutorial 5 (solutions)
Binary decision diagrams (see [Andersen, 1997] below)
October 21: Lecture 6, Tutorial 6 (solutions)
Rule-based reasoning II
October 28: Lecture 7, Tutorial 7 (solutions)
Implementing rule-based reasoning
November 4: Lecture 8a, Lecture 8b, no tutorial
Rules with variables & Planning as satisfiability (see [KS, 1992 and 1996] below)
November 11: Lecture 9, Tutorial 8 (solutions)
Planning with logic programs, complexity issues (see [CA, 1996] below) & HA1
November 18: Introduction to HA2 and HA3
Help for the first home assignment
November 25: No lecture
Help for home assignments, 15:15 - 17:00, by Tommi Syrjänen
December 2: No lecture
Help for home assignments, 15:15 - 17:00, by Tommi Syrjänen

Reading List

Latest update: May 18, 2000 by Tomi Janhunen