Functional Programming and Interactive Theorem Proving |
||
Course Overview |
Lectures |
Course Outline Course Procedure |
|
Important
Dates |
Course Material |
Term Test 1 (60 min): February 08, 2018 February 13, 2018 Term Test 2 (60 min): March 15, 2018 Final exam (90 min): Tuesday, April 10, 2018, @10am in MCD205 |
|
All Computer Science courses are subject to the rules and regulations of the University (as described in the graduate calendar), the Faculty of Mathematics & Sciences and the policies of the Department of Computer Science.