Home | COMP2111 26T2

Notices

COMP2111 Final Examination details

Posted by Sebastian Sequoiah-Grayson Monday 03 August 2026, 01:00:22 PM, last modified Monday 03 August 2026, 01:33:20 PM.

Good afternoon everyone,

Your final exam is approaching, and the exam structure is as follows:

Part A - Logic

Part B - Dafny

Part A contains five questions worth ten marks each.

Part B contains five questions worth ten marks each.

Part A will test students' understanding of intensional logic, proofs in intuitionistic logic, Lamda Calculi/type theory, sequent calculi, and the Curry-Howard Correspondence.

Part B will test students' understanding of programming, proofs, and verification using Dafny.

Examination Rules:
Time allowed – Two (2) hours, plus ten (10) minutes reading time.
Answers to Part A must be written in the answer booklets provided.
Answers to Part B must be completed on the Lab Computers.
The Final Examination Questions cannot be retained.
The Final Examination is Open Book. All paper materials are allowed. This includes any piece of paper or book whatsoever, without exception. You may bring your own notes – handwritten or otherwise, textbooks, printed materials, practice questions, and so on.
No paper materials may be removed from the exam room. This includes all and any paper materials that you have brought to the exam.
No electronic devices – apart from the Lab Computers – are permitted.
No talking or communicating with other students in the examination room is permitted.

Marking Criteria:

The Final Examination is a hurdle task for the Course .
The hurdle for the Final Examination is a grade of 50% in the Final Examination.
Failure to achieve a grade of 50% or higher for the Final Examination will mean that you will fail the Course.
To achieve a grade of 50% or higher in the Final Examination, a score of 50% or higher must be achieved in both Part A and Part B of the Final Examination .

All best,

Seb, Vineent, and the COMP2111 Team

Assignment 4 is live on WebCMS

Posted by Sebastian Sequoiah-Grayson Monday 03 August 2026, 07:44:33 AM.

Hi everyone! As per the subject header : )

All best,

Seb
Help Session Thursday August 6, 204 in K17

Posted by Sebastian Sequoiah-Grayson Thursday 30 July 2026, 04:42:29 PM.

Hi Everyone!

The next help session willbe held on:

Thursday August 6, 4pm-6pm

Consultation Room 204 in K17

All best,

Seb

view all notices

There is nothing due!