Module Title  LC Mathematical and Logical Foundations of Computer Science 
School  Computer Science 
Department  Computer Science 
Module Code  06 35324 
Module Lead  Vincent Rahli 
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 
Lecture44 hours
Practical Classes and workshops22 hours
Guided independent study134 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 
3532401 : Continuous Assessment : Coursework (20%)
3532403 : Examination : Exam (Centrally Timetabled)  Written Unseen (80%)

Assessment Methods & Exceptions 
Assessment: Examination (80%), Continuous Assessment (20%)
Reassessment: Examination (100%) 
Other  (Edgbaston version of Dubai module 35391) 
Reading List 
