After successful completion of the course, students are able to understand and solve complex problems of the model theory. The model theory is one of the fundamental parts of the field of mathematical logic.
An introduction to model theory which deals with all those structures fulfilling a certain logical theory. This exercise course accompanies the lecture of the same ttitle.
Solving exercises.
Continuous assessment.
Basic knowledge of mathematical logic.