Skip to navigation | Skip to main content | Skip to footer
Menu
Menu

COMP20141: Logic and Modelling (2009-2010)

This is an archived syllabus from 2009-2010

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
Course lecturer: Andrei Voronkov

Additional staff: view all staff
Timetable
SemesterEventLocationDayTimeGroup
Sem 1 w1-5,7-12 Lecture 1.1 Thu 13:00 - 14:00 -
Sem 1 w1-5,7-12 Lecture 1.1 Fri 14:00 - 15:00 -
Assessment Breakdown
Exam: 80%
Coursework: 20%
Lab: 0%
Degrees for which this unit is optional
  • Artificial Intelligence BSc (Hons)

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.

Learning Outcomes

A student completing this course unit should:
Have a knowledge about basic reasoning (or satisfiability-checking) algorithms for propositional logic (A).
Have a knowledge of quantified boolean formulas and basic understanding of bound variables and quantifiers (A).
To understand BDDS (binary decision diagrams) as a data structure for compact representation of propositional formulas (A).
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 (B and C).
Have a knowledge of simple temporal logics (A).
Be able to formally specify finite-state concurrent systems as transition systems (B)
Be able to specify properties of simple transition systems in temporal logics (B).

Assessment of Learning outcomes

All learning outcomes are assessed both by both examination and exercises.

Contribution to Programme Learning Outcomes

A1, A2, A5, B1, C5 and C6.

Syllabus

Available on the course Web page.

Reading List

The reading material is a collection of notes available on the course Web page. In addition, slides used during lectures are available on the course Web page as well.