# COMP21111: Logic and Modelling (2010-2011)

## This is an archived syllabus from 2010-2011

Logic and Modelling
Level: 2
Credit rating: 10
Pre-requisites: COMP10081, COMP10092 or COMP10042 or MATH10111 and MATH10131 and MATH10212 and MATH10232
Co-requisites: No Co-requisites
Duration: 11 weeks in the first semester
Lectures: 22 in total, 2 per week, including some feedback sessions on exercises
Lecturers: Andrei Voronkov, Nestan Tsiskaridze
Course lecturers: Andrei Voronkov

Nestan Tsiskaridze

Additional staff: view all staff
Timetable
SemesterEventLocationDayTimeGroup
Sem 1 Lecture 1.1 Fri 15:00 - 16:00 -
Sem 1 Lecture 2.19 Thu 16:00 - 17:00 -
Sem 1 B Examples IT407 Wed 12:00 - 13:00 F
Sem 1 B Examples LF15 Thu 12:00 - 13:00 G
Assessment Breakdown
Exam: 80%
Coursework: 20%
Lab: 0%

Themes to which this unit belongs
• Rigorous Development

## Aims

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.

Programme outcomeUnit learning outcomesAssessment
A1 A2Have a knowledge about basic reasoning (or satisfiability-checking) algorithms for propositional logic.
• Examination
A1 A2Have a knowledge of quantified boolean formulas and basic understanding of bound variables and quantifiers.
• Examination
A1 A2To understand BDDS (binary decision diagrams) as a data structure for compact representation of propositional formulas.
• Examination
A1 A2 B1 C5Have 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.
• Examination
A2Have a knowledge of simple temporal logics.
• Examination
A1 A2 A5 B1Be able to formally specify finite-state concurrent systems as transition systems.
A1 A2 B1Be able to specify properties of simple transition systems in temporal logics.
• Examination

## Syllabus

Available on the course Web page.