Tik-79.144 Logic in Computer Science: Foundations

Autumn 1998 (Autumn 1999 ) (Autumn 1997 )

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.

[General Information] [Material] [Examinations] [Home Assignments] [Lectures] [TOPI]


General Information


Material


Examinations


Home Assignments


Lectures and Tutorials

Please avoid unnecessary printing of the material to save printers, paper and thus nature. The slides and tutorials can be ordered as lecture notes (opetusmonisteet).

Timetable and contents

September 15: Lecture 1
Introduction, syntax of propositional logic (pages 1-16)
tutorial (in English), solutions (in English)
September 22: Lecture 2
Truth tables, semantic tableaux (pages 17-36)
tutorial (in English), solutions (in English)
September 29: Lecture 3
Soundness and completeness of semantic tableaux, Hilbert-style axiomatizations, normal forms (pages 37-49)
tutorial (in English), solutions (in English)
October 6: Lecture 4
Resolution in propositional logic (pages 50-68)
tutorial (in English), solutions (in English)
October 13: No lecture
Help for home assignments
tutorial (in English), solutions (in English)
October 20: Lecture 5
Predicate logic and its semantics (pages 81-99)
tutorial (in English), solutions (in English)
October 27: Lecture 6
Semantic tableaux for predicate logic (pages 108-126)
tutorial (in English), solutions (in English)
November 3: Lecture 7
Hilbert-style axiomatization, normal forms, skolemization, Herbrand's theorem (pages 127 - 137)
tutorial (in English), solutions (in English)
November 10: Lecture 8
Unification and resolution (pages 138-158)
tutorial (in English), solutions (in English)
November 17: Lecture 9
Knowledge representation using predicate logic, theorem prover OTTER
tutorial (in English), solutions (in English)
November 24: Lecture 10
Resolution in PROLOG, negation as failure (pages 69-80,159-202)
tutorial (in English), solutions (in English)
December 1: Lecture 11
Computational complexity, some applications of logic, review of the lectures 1-10

Latest update: September 2, 1999 by Tomi Janhunen