Module description
This course provides an introduction to the essential mathematics that underlies computer programming; propositional logic, predicate logic, proof methods, and induction; an introduction to the application of logic and proof issues in programming.
On successful completion of this module, students will be able to:
- Demonstrate a knowledge and understanding of propositional logic and predicate logic as languages for abstract specification
- Construct proofs of mathematical properties by creatively applying a variety of proof methods
- Apply knowledge and understanding of logic to represent requirements in programming
- Use proof methods to prove properties of programs
- Exhibit general skills in applying mathematical notation
Syllabus
This course provides an introduction to the essential mathematics that underlies human reasoning and many aspects of computer programming: propositional logic, predicate logic, proof methods, and induction. In addition, it provides an introduction to the application of logic and inference to issues in reasoning and general programming.
Assessment details
Please note: The below assessment details for the 2025/26 academic year may be updated. The confirmed details will be available on the Student Handbook and on the module KEATS page at the beginning of the semester.
Semester 1 only study abroad students will be required to take this exam in an alternative assessment format in the January exam period.
Full year study abroad students will be required to take this exam in person in January.