Logic and Modelling

Course Code:

CST-235

Course Name:

Logic and Modelling

ECTS:

5

Course Description

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.