CS2142 Logic in Computer Science (2006)

Announcement

Results and solutions to Assignment 4 are available now. If you have questions related to the assignments/marks please see Mohammed Jaber room 2.108.

Revision Session: May 26 Room 1.3, 15:00.

General information

The aim this course is to give introduction to logic for computer scientists and show applicability of logic in a number of important areas of computer science.

The content of the course will be similar to the previous year course. I will give a slightly more advanced material but there will be no radical changes.

This Web page will contain all up-to-date material on this course.

Assessment

The assessment of this course consists of assessed exercises during the course (20%) and an examination (80%). Each assessed exercise has an associated deadline, see the course schedule. The solutions can be given to me at a lecture or to Mohammed Jaber (2.116) before the deadline.

Handouts

There will be handouts, generally distributed at each lecture. There will be two kind of handouts: slides and lecture notes. They will also be put on the Web pages of this course. If you did not attend the lecture, the only way to get handouts is to download them from the Web pages.

CS2142 Schedule (2006)

All material referred to from this page (such as slides or reading material) is initially taken from the last year course and will be updated during the course. In the reading material, the date of writing can be seen on the bottom of each page.

All Lectures will be given in Room 1.3.