104.601 AKLOG Introduction to model theory
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021W, VO, 1.0h, 1.5EC

Course evaluation

Properties

  • Semester hours: 1.0
  • Credits: 1.5
  • Type: VO Lecture
  • Format: Presence

Learning outcomes

After successful completion of the course, students are able to deal with and solve complex problems of the model theory. The model theory is one of the fundamental fields in mathematical logic and deals with the relationship between logical theories and the structures that satisfy these theories.

Subject of course

An Introduction to Model Theory, which deals with properties of all those structures that fulfill a certain logical theory. An exercise course with the same title accompanies this lecture course.

Teaching methods

Lecture.

Mode of examination

Immanent

Additional information

Literature: W.Hodges, "Model theory"E

 

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue16:00 - 17:0005.10.2021 - 25.01.2022FH Hörsaal 2 AKLOG Introduction to model theory
AKLOG Introduction to model theory - Single appointments
DayDateTimeLocationDescription
Tue05.10.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue12.10.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue19.10.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue09.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue16.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue23.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue30.11.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue07.12.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue14.12.202116:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue11.01.202216:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue18.01.202216:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory
Tue25.01.202216:00 - 17:00FH Hörsaal 2 AKLOG Introduction to model theory

Examination modalities

Oral exam.

 

Course registration

Begin End Deregistration end
01.10.2021 12:00 30.10.2021 12:00

Curricula

Literature

No lecture notes are available.

Previous knowledge

Basic knowledge of mathematical logic.

Language

German