COMP21111 Logic and Modelling syllabus 2014-2015
OverviewThis is a unique course developed at the University of Manchester. It explains how implementations of logic can be used to solve a number a number of problems, such as solving hardest Sudoku puzzles in no time, analysing two-player games, or finding serious errors in computer systems
This course intends to build an understanding of fundamentals of (mathematical) logic as well as some of the applications of logic in modern computer science, including hardware verification, finite domain constraint satisfaction and verification of concurrent systems.
Available on the course Web page.
22 in total, 2 per week, including some feedback sessions on exercises
Feedback methodsMy Website of this course will contain a lot of material, including solutions to exercises
- Assessment written exam (2 hours)
- Lectures (24 hours)
- Practical classes & workshops (9 hours)
- Analytical skills
- Problem solving
|Programme outcome||Unit learning outcomes||Assessment|
|A1 A2||Have a knowledge about basic reasoning (or satisfiability-checking) algorithms for propositional logic.|
|A1 A2||Have a knowledge of quantified boolean formulas and basic understanding of bound variables and quantifiers.|
|A1 A2||To understand BDDS (binary decision diagrams) as a data structure for compact representation of propositional formulas.|
|A1 A2 B1 C5||Have a knowledge about applications of propositional logic (such as finite domain constraint satisfaction and planning) and be able to apply it for solving hard combinatorial problems.|
|A2||Have a knowledge of simple temporal logics.|
|A1 A2 A5 B1||Be able to formally specify finite-state concurrent systems as transition systems.|
|A1 A2 B1||Be able to specify properties of simple transition systems in temporal logics.|
COMP21111 does not have a specified reading list.