Course Overview

This course is an introduction to the logic of finite model such as
words, trees and finite graphs.

Learning Achievement

Competence

Course prerequisites

- Level B2 CEFR in English.
- Previous studies (Bachelor level) within the domain of computer
science or similar.

Grading Philosophy

Continuous assessment and final exam.

Course schedule

This course deals with both the expressiveness of the considered
logics, using the Ehrenfeucht-Fraïssé games, as well as the
complexity of fundamental decision problems.

Course type

Lectures and exercise sessions: 24 hours lectures, 24 hours tutorials.

Online Course Requirement

Instructor

Other information

Duration: 12 weeks

Language of instruction: English
Mode of delivery: Face-to-face teaching: lectures, tutorials

Site for Inquiry