Module 30180 (2019)
Module description - Logic and Computation
The Module Description is a strict subset of the Syllabus Page.
|Module Title||Logic and Computation|
|School||School of Computer Science|
|Member of Staff||Benedikt Ahrens Rajesh Chitnis|
|Semester||Semester 2 - 20 credits|
Lectures, Unsupervised Labs
Contact hours: 33
Logic is the study of the principles of reasoning, and lies at the foundations of computation. This module introduces logic and a variety of techniques for proving the correctness of logical arguments. This is illustrated with applications across a range of topics in computer science, including methods to ensure the correctness of programs in a principled way.
On successful completion of this module, the student should be able to:
Assessments: 2hr Examination (80%), Continuous Assessment (20%) Reassessment: 2hr Examination (100%)