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 the tutorial, and on the discussion board.
Assignment  Extra Files  Revision 

Assignment 1 (Solution 1) 
Church.v 
1 
Assignment 2 (Solution 2) 
CRP.v 
3 
Assignment 3 (Solution 3) 

1 
Assignment 4 (Solution 4) 
StarCon.v 
3 
Assignment 5 (Solution 5) 
ARS.v 
2 
Assignment 6 (Solution 6) 
SN.v 
2 
Assignment 7 (Solution 7) 
ARS.v Base.v CL.v IP.v 
3 
Assignment 8 (Solution 8) 
CL.v 
1 
Assignment 9 (Solution 9) 
ARS.v Base.v Project.v Project 1 
1 
Assignment 10 (Solution 10) 
Base.v Project.v Project 2 
1 
Assignment 11 (Solution 11) 
Syntax.v 
1 
Assignment 12 (Solution 12) 

1 
Assignment 13 (Solution 13) 
ML.v 
3 
Tutorials
In the tutorials, you can
 test your knowledge in an examlike situation (tests, see below),
 discuss the sample solutions to the assigments with your tutor and fellow students, and
 get hints and suggestions concerning the lecture.
A tutorial usually takes about 90 minutes.
Tests
Tests allow you to practise your skills in an examlike situation.
Tests will be offered at the beginning of each tutorial. They are written and closedbook, 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 board 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.
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.