Course Details in 2019/20 Session

Module Title	LC Logic & Computation
School	Computer Science
Department	Computer Science
Module Code	06 30399
Module Lead	TBC
Level	Certificate Level
Credits	20
Semester	Semester 2
Pre-requisites	LC Mathematical Foundations of Computer Science - (06 30395)
Co-requisites
Restrictions	None
Contact Hours	Lecture-33 hours Practical Classes and workshops-11 hours Guided independent study-156 hours Total: 200 hours
Exclusions
Description	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.
Learning Outcomes	By the end of the module students should be able to: Write formal proofs for propositional and predicate logic Understand and apply algorithms for key problems in logic such as satisfiability. Understand the connections between logic, types and reasoning about functional programming languages
Assessment	30399-01 : Examination : Exam (Centrally Timetabled) - Written Unseen (80%) 30399-02 : Continuous Assessment : Coursework (20%)
Assessment Methods & Exceptions	Assessment: 2hr Examination (80%), Continuous Assessment (20%) Reassessment: 2hr Examination (100%)
Other	Duplicate of Birmingham-based module 30180
Reading List