# COMP21111: Logic and Modelling (2011-2012)

## This is an archived syllabus from 2011-2012

Logic and Modelling
Level: 2
Credit rating: 10
Pre-requisites: COMP11120 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
Course lecturer: Andrei Voronkov

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 w3+ Examples LF15 Wed 10:00 - 11:00 F+I
Sem 1 w3+ Examples Collab Mon 16:00 - 17:00 G+H
w16 ADHOCBOOKING Zochonis TH A (B5) Fri 14:00 - 16:00 2012/01/09-11:05:01
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.