This is an introductory course on logic and its applications in computer science. General Information Registration is no longer possible for this academic year.
Registration is possible two weeks before each examination.
Questions will be provided in Finnish and in English. Feedback It is now possible to give feedback by filling a form . All the three home assignments are available on our server . A notification has been sent by email to those that were registered for the course on time. These lists are not updated in the sequel.