Saarland University
Computer Science
Programming Systems
Teaching
ICL 2009


Main page
Timetable
Literature
Lecture notes
Registration
Services
Exams and Grade
Login
Discussion Board

Introduction to Computational Logic: Services

Assignments

The weekly assignments help you to practise the methods and concepts presented in the lectures.

A new assignment sheet will be published every week. It will neither be corrected nor graded. After one week, we will publish a sample solution that you can compare your own solutions to. If you have further questions, you can discuss them in your tutorial group, during the office hours of any of the tutors, and on the discussion board.

Link to Jitpro prover; playing encouraged!

Tutorials

In the tutorials, you can

A tutorial usually takes about 90 minutes.

The first tutorial will be on April 28.

The tutors for this lecture are:

Tests

Tests allow you to practise your skills in an exam-like situation.

Tests will be offered at the beginning of each tutorial. They are written and closed-book, and examine the contents of the current assignment sheet. Tests will take 15 minutes. To prepare for the tests, you should work through the assignments, and use the office hours of any of the tutors and the mailing list to ask about anything that is unclear to you.

Tests will be graded by your tutor. In each test you can gather up to 15 points. Missing a test gets you 0 points for that test.

You need to gather a certain minimum of points in the tests to be admitted to the exams. See the exams page for details.

Your test scores can be found on your personal data page.

Office Hours

During the office hours, tutors can give you direct support. You may, for example, want to

Please see the Timetable to find out about the time slots for the office hours.

Discussion Board

We offer a discussion board for the course.

All official announcements concerning the course will be made through the board exclusively. Therefore we highly recommend all students attending the course subscribe to the board and frequently read the relevant sections.

Last Change: Thu 01 Jan 1970 00:00:00 UTC