x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
MATES19 Finite Model Theory 5 ECTS
Organised by
Mathematics

Learning outcomes

To introduce the basic concepts and techniques in finite model theory.

Contents

Logics on finite models: first-order logic, finite variable logic, second order logic, monadic second order logic, fixed-point logics; Ehrenfeucht-Fraisse games and non-definability results.

Modes of study

Evaluation

Numeric 1-5.

Belongs to following study modules

School of Information Sciences
2011–2012
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
School of Information Sciences