This is an archived syllabus from 2013-2014
COMP21111 Logic and Modelling syllabus 2013-2014
COMP21111 Logic and Modelling
Level 2
Credits: 10
Enrolled students: 100
Course leader: Andrei Voronkov
Additional staff: view all staff
Assessment methods
- 80% Written exam
- 20% Coursework
| Semester | Event | Location | Day | Time | Group |
|---|---|---|---|---|---|
| Sem 1 | Lecture | 1.1 | Fri | 15:00 - 15:00 | - |
| Sem 1 | Lecture | 1.1 | Thu | 16:00 - 16:00 | - |
| Sem 1 w3+ | Examples | LF15 | Wed | 10:00 - 10:00 | J |
| Sem 1 w3+ | Examples | LF15 | Mon | 16:00 - 16:00 | K |
- Rigorous Development
Overview
This 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 systemsAims
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.
Syllabus
Available on the course Web page.
Teaching methods
Lectures
22 in total, 2 per week, including some feedback sessions on exercises
Feedback methods
My Website of this course will contain a lot of material, including solutions to exercisesStudy hours
- Assessment written exam (2 hours)
- Lectures (24 hours)
- Practical classes & workshops (9 hours)
Employability skills
- Analytical skills
- Innovation/creativity
- Problem solving
- Research
Learning outcomes
On successful completion of this unit, a student will be able to:
Learning outcomes are detailed on the COMP21111 course unit syllabus page on the School of Computer Science's website for current students.
Reading list
No reading list found for COMP21111.
Additional notes
Course unit materials
Links to course unit teaching materials can be found on the School of Computer Science website for current students.
Links related to COMP21111