x !
Archived Curricula Guide 2010–2011
Curricula Guide is archieved. Please refer to current Curricula Guides
MATES19 Finite Model Theory 5 ECTS
Organised by
Mathematics
Corresponding course units in the curriculum
Department of Mathematics and Statistics
Curricula 2008 – 2010
MATES19 Finite Model Theory 5 ECTS

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

Department of Mathematics and Statistics
Advanced Studies in Mathematics (Mathematics)
2010–2011
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Department of Mathematics and Statistics