T-79.5102 Special Course in Computational Logic P (4 cr)

News

Posted
Title
09 Jan 09 Preliminary results
The results of the exam that was arranged on December, 18th, 2008, are now available.
18 Dec 08 Exam, course feedback, and unfinished projects
The first exam is arranged today (Dec 18). You are allowed to use a normal pocket calculator in the exams.

We welcome your feedback about the course, please use the web form provided by the degree programme. A bonus point (that applies in all three exams) is granted to students who complete the form in time (deadline early Jan, 2009).

If you have not completed your project work yet, I strongly recommend to finish it by the 3rd period, or before the exam you plan to attend, at latest.

Merry Xmas! Tomi Janhunen
11 Nov 08 Solutions to exercises
Solutions to exercises have now been added to the respective entires of tutorials.
18 Sep 08 Updated assignment deadlines
The deadline of the finished assignment is now in december instead of november.
04 Sep 08 Start of the course
The course starts on the 9th of September. The program for the first two weeks is slightly exceptional: there are two lectures during the first week but no lecture is arranged on the 16th of September.
Updated 09 Jan 09 at 15:41