104.602 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.

2024S, UE, 1.0h, 1.5EC

Course evaluation

Properties

  • Semester hours: 1.0
  • Credits: 1.5
  • Type: UE Exercise
  • Format: Presence

Learning outcomes

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.

Subject of course

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.

Teaching methods

Solving exercises.

Mode of examination

Immanent

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu14:00 - 15:0007.03.2024 - 27.06.2024Sem.R. DB gelb 07 Introduction to model theory
AKLOG Introduction to model theory - Single appointments
DayDateTimeLocationDescription
Thu07.03.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu14.03.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu21.03.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu11.04.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu18.04.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu25.04.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu02.05.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu16.05.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu23.05.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu06.06.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu13.06.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu20.06.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory
Thu27.06.202414:00 - 15:00Sem.R. DB gelb 07 Introduction to model theory

Examination modalities

Continuous assessment.

Course registration

Begin End Deregistration end
14.03.2024 14:00 31.03.2024 12:00 31.03.2024 12:00

Curricula

Study CodeObligationSemesterPrecon.Info
860 GW Optional Courses - Technical Mathematics Not specified

Literature

No lecture notes are available.

Previous knowledge

Basic knowledge of mathematical  logic.

Miscellaneous

  • Attendance Required!

Language

German