Spring 2006 (periods III and IV)

Navigation: [General Information] [For Students from Previous Years] [Course Material] [Home Assignments] [Feedback] [Examinations] [TOPI]

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

• This course replaces the former course T-79.144 Logic in Computer Science: Foundations.
• Lectures are given by Prof. (pro tem), D.Sc.(Tech.) Tomi Janhunen: Mondays 12-14, hall T1, starting on the 16th of January, 2006
• Tutorials are held by M.Sc.(Tech.) Emilia Oikarinen and Stud.Tech. Antti Hyvärinen:
  • Tuesdays, 16-17, or
  • Wednesdays, 9-10, or
  • Thursdays, 15-16, or
  • Fridays, 9-10.
  All tutorials are arranged in lecture hall T2 starting on the 17th of January, 2006.
• Course material: lecture notes in Finnish.
• In order to pass the course one has to
  • pass three compulsory home assignments and
  • pass an exam (with a grade greater than 0).
• Brochure in Finnish
• Program for Periods III and IV
• Office hours: please see the lecturer's home page.
• Contacts via email: the alias t793001 at tcs.hut.fi is recommended. Please do not forget to mention your student ID!
• Newsgroup: opinnot.tik.logiikka

For Students from Previous Years

• The last exam under the course code T-79.144 will be arranged in March 2006.
• Any unfinished T-79.144 home assignments can be completed during the first three periods in 2005/06. This entitles one to attend examinations arranged in October 2005, January 2006, and March 2006, respectively.

Course Material

Lecture Notes

• Slides for the lectures to be held in Finnish:
  • Practical arrangements (.pdf)
  • Introduction (.pdf) including some prerequisites
  • Part I: propositional logic (.pdf)
  • Part II: predicate logic (.pdf)
• 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

• A. Nerode and R. Shore: Logic for Applications, Springer, 1997.

  Chapters I-III: Propositional Logic, Predicate Logic, PROLOG

• M. Huth and M. Ryan: Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, 2000.

  Chapter 4: Program Verification

Copies of both textbooks are available in the main library as well as the library of CSE department.

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

Exercises from Tutorials

Exercises to be included in the lecture notes:

• Tutorial 1 (.pdf), solutions (.pdf)
• Tutorial 2 (.pdf), solutions (.pdf)
• Tutorial 3 (.pdf), solutions (.pdf)
• Tutorial 4 (.pdf), solutions (.pdf)
• Tutorial 5 (.pdf), solutions (.pdf)
• Tutorial 6 (.pdf), solutions (.pdf)
• Tutorial 7 (.pdf), solutions (.pdf)
• Tutorial 8 (.pdf), solutions (.pdf)
• Tutorial 9 (.pdf), solutions (.pdf)
• Tutorial 10 (.pdf), solutions (.pdf)
• Tutorial 11 (.pdf), solutions (.pdf)
• Tutorial 12 (.pdf), solutions (.pdf)

Warning: you are likely to improve your grade by doing these exercises; some statistics (.pdf) collected by Emilia Oikarinen.

Tutorial attendances (updated May 2, 2006).

Home Assignments

• Each student receives three personal home assignments (HAs) during the spring term.
• Grading is done using the scale passed / not passed.
• Please observe: one must pass all the three HAs before attending exams.
• Assignments will be delivered through our home assignment server.
• Schedule for spring 2006:

  HA	Launch date	Deadline
  1	Feb 8, 2006	Feb 23, 2006, 24:00
  2	Mar 28, 2006	Apr 10, 2006, 24:00
  3	Apr 6, 2006	Apr 27, 2006, 24:00

• If you need help with your home assignments, please attend special office hours arranged week 18 (May 2 - May 5) as follows: Tue 16-17, Wed 9-10, Thu 15-16, and Fri 9-10. These events take place in hall T2 as we are using tutorial times.
• In spring 2006, a bonus will be granted for new students (or old students that have been assigned a completely new set of HAs) who do their all home assignments on time.
• The respective lists of 140/98/75 students who did their first/second/third home assignment on time.
• The list of students who are granted a homework bonus for the first two exams (May 16 and August 21).

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 May 22, 2006, 24:00 hours.
• A list of students who were granted the bonus.

Examinations

• One must pass all home assignments before attending exams.
• Please use the TOPI system (season 2005/06 III - 2005/06 IV) to get registered for an exam.
• Summary of bonus points earned for the exams arranged in May and August.
• May 16, 2006 (in English), final results (published June 16, 2006)
• August 21, 2006 (in English), final results (published September 12, 2006)
• November 1, 2006 (in English), final results (published November 20, 2006)
• January 3, 2007 (in English), final results (published January 16, 2007)
• March 5, 2007 (in English), final results (published March 21, 2007)
• Questions will be provided in Finnish and in English.