Module Title  LC Mathematical and Logical Foundations of Computer Science 
School  Computer Science 
Department  Computer Science 
Module Code  06 35391 
Module Lead  Dr Kashif Rajpoot 
Level  Certificate Level 
Credits  20 
Semester  Semester 1 
Prerequisites 

Corequisites 

Restrictions  Incoming exchange students should have the equivalent of grade A at Alevel in Mathematics. 
Contact Hours 
Guided independent study134 hours
Practical Classes and workshops22 hours
Lecture44 hours
Total: 200 hours

Exclusions  
Description  Mathematical and logical reasoning underpins almost all of Computer Science, from linear algebra in graphics and machine learning, to algebra in cryptography and logic in verification. This module introduces essential topics in mathematics and logic including linear algebra; abstract algebra; set theory (a fundamental language of mathematics); and propositional and predicate logic. The key ideas will be illustrated with applications across a range of topics in computer science. 
Learning Outcomes  By the end of the module students should be able to:  Solve mathematical problems in algebra and set theory
 Understand and apply algorithms for key problems in logic such as satisfiability.
 Write formal proofs for propositional and predicate logic
 Apply mathematical and logical techniques to solve a problem within a computer science setting

Assessment 

Assessment Methods & Exceptions  Main Assessments: Continuous assessment (100%)
Supplementary Assessments: Continuous assessment (100%) over the Summer period

Other  (Dubai version of Edgbaston module 35324) 
Reading List 
