Overview of Logic and Computation

Assessment scheme

• 3 assignments, each one grouping two consecutive topics from the course structure under 'Contents' on the main pageabove, worth 50%. They will differ for COMP4630 and COMP6463 students. Assignments are due on 27/03, 08/05 and 29/05.
• Final oral exam in the form of a 15 minutes oral presentation given by students on one of the algorithms implemented as part of the assigments, worth 50%.

Students can expect to undertake 3 hours of study per week outside class time.

Ffinal marks are moderated in departmental examiners' meetings and may be scaled as a result of this moderation.