Module 26264 (2018)
Module description - Reasoning
The Module Description is a strict subset of the Syllabus Page.
|School||School of Computer Science|
|Member of Staff||Volker Sorge|
|Semester||Semester 2 - 10 credits|
three-hour weekly lectures/labs.
Contact Hours: 34
The module will introduce automated theorem proving. Both implementation and representation theories are covered as are some applications.
On successful completion of this module, the student should be able to:
Sessional: 1.5 hr examination (80%), continuous assessment (20%).
Supplementary (where allowed): By 1.5 hr examination only (100%).