Tik79.144 Logic in Computer Science: Foundations
This is an introductory course on logic and its applications in
computer science. Subjects covered are: propositional and predicate
logic, model theory, proof theory, semantic/analytic tableaux,
resolution.
 Lectures by
Tomi Janhunen:
Mondays 1214 (hall K)
 Tutorials by
Patrik Simons:
Tuesdays 1112 (room Y427B) or Thursdays 910 (hall J)
 Textbook:
Nerode and Shore: Logic for Applications,
Springer, 1993, 365 p,
Errata
 available at the bookstore NOW !!!
 The course consists of
 textbook (Chapters I, II and III in the extent presented at lectures)
 attendance to lectures and tutorials (2+1 hours a week), these are held in Finnish.
 three home assignments
 examinations (arranged four times a year)
 In order to pass the course one has to pass
 the three home assignments
 the exam (with a grade greater than 0)
 Newsgroup: opinnot.tik.logiikka
 Brochure in Finnish,
course information at
TOPI
in Finnish
 Results
 Still valid during autumn 1997 and spring 1998, then expired.

September 16th: Lecture 1
 Introduction, syntax of propositional logic (pages 19),
tutorial
(solutions)

September 23rd: Lecture 2
 Truth tables, semantic tableaux (pages 1029),
tutorial
(solutions)

September 30th
 NO LECTURES NOR TUTORIALS (this week) !!!

October 7th: Lecture 3
 Soundness and completeness of tableaux,
Hilbertstyle axiomatizations, normal forms (pages 3043),
tutorial
(solutions)

October 14th: Lecture 4
 Resolution in propositional logic (pages 4369),
tutorial
(solutions)

October 21st: Lecture 5
 Predicate logic and its semantics (pages 7389),
tutorial
(solutions)

October 28th: Lecture 6
 Semantic tableaux for predicate logic,
Hilbertstyle axiomatization (pages 97115),
tutorial
(solutions)

November 4th: Lecture 7
 Normal forms, skolemization, Herbrand's theorem, unification
(pages 116131),
tutorial
(solutions)

November 11th: Lecture 8
 Constructing structures (the 2nd home assignment),
resolution, knowledge representation (pages 131144),
tutorial
(solutions)

November 18th: Lecture 9
 Knowledge presentation with predicate logic,
theorem prover OTTER,
tutorial
(solutions)

November 25th: Lecture 10
 Resolution in PROLOG, negation by failure (pages 145188),
tutorial
(solutions)

December 2nd: Lecture 11
 Review of the lectures 110,
Rehearsal examination
(tutorials)
Latest update: Sept 8, 1997 by Tomi Janhunen