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

COMP21111: Logic and Modelling (2012-2013)

This is an archived syllabus from 2012-2013

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
Course Leader: Konstantin Korovin
Course leader: Konstantin Korovin

Additional staff: view all staff
Timetable
SemesterEventLocationDayTimeGroup
Sem 1 Lecture 1.1 Fri 15:00 - 16:00 -
Sem 1 Lecture 1.1 Thu 16:00 - 17:00 -
Sem 1 w3+ Examples LF15 Wed 10:00 - 11:00 J
Sem 1 w3+ Examples Collab Mon 16:00 - 17:00 K
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.

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.