TCS / Studies / T-79.144 Logic in Computer Science: Foundations
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science


Logic in Computer Science: Foundations

(2 cr)

Autumn 2004

Special arrangements for Autumn 2005: see Home Assignments below.

[General Information] [Course Material] [Lectures and Tutorials] [Home Assignments] [Course Feedback] [Examinations] [TOPI]

Previous years: autumns 2003, 2002, 2001, 2000, 1999, 1998, 1997 and 1996.

This is an introductory course on logic and its applications in computer science. Subjects covered: propositional logic, predicate logic, induction principle, model and proof theory, semantic/analytic tableaux, resolution, and some examples of applications.

General Information

  • Late registration is only possible by contacting the lecturer.
  • Lectures by Docent, D.Sc.(Tech.) Tomi Janhunen: Tuesdays 12-14, hall T1.
  • Tutorials by Lic.Sc.(Tech.) Toni Jussila and M.Sc.(Tech.) Emilia Oikarinen:
    • Tuesdays, 16-17, (T.J.), or
    • Tuesdays, 17-18, (T.J.), or
    • Thursdays, 11-12, (E.O.), or
    • Fridays, 9-10, (E.O.).
    • All tutorials are arranged in lecture hall T2.
  • Course material: lecture notes in Finnish.
  • In order to pass the course one has to
    • pass the three compulsory home assignments and
    • pass the exam (with a grade greater than 0).
  • Brochure (.pdf) in Finnish and English
  • Office hours: please see the lecturer's home page.
  • Contacts via email: the alias t79144 at is recommended. Please mention your student ID!
  • Newsgroup: opinnot.tik.logiikka
Back to menu.

Course Material

Lecture Notes

  • Slides from the lectures held in Finnish:
  • Exercises and some solutions will be also provided.
  • Lecture notes can be ordered using TOPI.
  • Please avoid unnecessary printing of the material to save printers, paper and thus nature !!!

English Track

Lectures are mainly based on two textbooks that we recommend as the main references for foreign students:

A copy of the first textbook is already available in the CS library and a copy of the second one has been ordered on the 13th of September.

In year 2000, some exercises were translated into English. Although this material is slightly outdated, it may be useful for English speaking students.

Back to menu.

Lectures and Tutorials

Tentative Schedule for Autumn 2004

September 14: Lecture 1
Practical arrangements (.pdf), introduction (.pdf)
Syntax of propositional logic (slides 1-16)
September 14-17: Tutorial 1 (.pdf), solutions (.pdf)
September 21: Lecture 2
Semantics of propositional logic, basic concepts (slides 18-47)
September 21-24: Tutorial 2 (.pdf), solutions (.pdf)
September 23 (exceptionally Thursday, 16:15-18:00, hall T1): Lecture 3
Basic concepts (continued), semantic tableaux (slides 48-72)
September 28 - October 1: Tutorial 3 (.pdf), solutions (.pdf)
October 5: Lecture 4
Using semantic tableaux, alternative proof systems (slides 73-103)
October 5-8: Tutorial 4 (.pdf), solutions (.pdf)
October 12: Lecture 5
Comparison of proof systems, normal forms and resolution (slides 104-134)
October 12-15: Tutorial 5 (.pdf), solutions (.pdf)
October 19: Lecture 6
Resolution (continued), computational complexity (slides 135-160)
October 19-22: Tutorial 6 (.pdf), solutions (.pdf)
October 26: Lecture 7
Syntax and semantics of predicate logic (slides 1-27)
October 26-29: Tutorial 7 (.pdf), solutions (.pdf)
November 2: Lecture 8
Semantics (continued) and normal forms (slides 28-51)
November 2-5: Tutorial 8 (.pdf), solutions (.pdf)
November 9: Lecture 9
Semantic tableaux (slides 52-80)
November 9-12: Tutorial 9 (.pdf), solutions (.pdf)
November 16: Lecture 10
Knowledge representation (slides 81-110)
November 16-19: Tutorial 10 (.pdf), solutions (.pdf)
November 23: Lecture 11
Herbrand's theorem, unification and resolution (slides 111-151)
November 23-26: Tutorial 11 (.pdf), solutions (.pdf)
November 30: Lecture 12
Specifying and verifying programs (slides 152-176)
November 30 - December 3: Tutorial 12 (.pdf), solutions (.pdf)
December 7: Lecture 13
Review of course contents (only in Finnish), preparation for the exam
December 7: Tutorial 13: a rehearsal exam (in English)
Back to menu.

Home Assignments

  • Each student receives three personal home assignments (HAs) during the autumn term.
  • Grading is on the scale passed / not passed.
  • Observe: one must pass all the three HAs before attending exams.
  • Assignments will be delivered through our home assignment server.

Special Arrangements for Autumn 2005

  • New submissions and revisions of old ones are still accepted.
  • We will organize special sessions to help students having disfficulties with home assignments.
  • The goal is to complete HAs by the last exam arranged under the course code T-79.144 in March 2006.
  • Please get registered to one of these special sessions using the TOPI system (by the 7th of October, 2005, 14:00 hours). Remember to use the code T-79.144, then select the season "Spring 2005 - Period 2005/06 III" and see the other events defined therein.
  • The schedule for these events (still subject to change) is shown below:
  • An advertisement published in the newsgroup.
Session Deadline for HAs 1-3 Examination
Oct 18, 2005, 16-18, TB353 Oct 24, 2005, 24:00 Oct 25, 2005
Dec 7, 2005, 16-18, TB353 Jan 8, 2006, 24:00 Jan 10, 2006
Feb 14, 2006, 16-18, TB353 Mar 5, 2006, 24:00 Mar 6, 2006

Results for Autumn 2004

  • Final list of 161 students who have passed their all HAs (as of September 30, 2005, 24:00). The accounts of these students have now been closed.
  • A bonus was granted to students who did their all in time (no longer applicable).
  • Lists of students who did their first, second, third HA in time.
  • List of stundets who were granted the bonus (no longer applicable).
Back to menu.

Course Feedback

We welcome feedback which is collected centrally in Finnish, Swedish, or English.

  • To obtain a bonus you are supposed to fill in the form by December 22, 2004 (24:00 hours).
  • List of stundets who were granted the bonus (no longer applicable).
Back to menu.


Back to menu.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 24 March 2006. Tomi Janhunen

Valid HTML 4.0!