|
Root number
|
27422 |
Semester
|
FS2024 |
Type of course
|
Lecture |
Allocation to subject
|
Mathematics |
Type of exam
|
Written exam |
Title |
Mathematical Logic and Model Theory |
Description |
The following topics are covered:
Propositional classical and many-valued logics
The syntax and semantics of first-order logic
The completeness and compactness theorems
Models and theories, elementary classes, elementary equivalence
Cardinality and the Löwenheim-Skolem theorems
Herbrand's theorem, Skolemization, first-order resolution |
ILIAS-Link (Learning resource for course)
|
Registrations are transmitted from CTS to ILIAS (no admission in ILIAS possible).
ILIAS
|
Link to another web site
|
|
Lecturers |
Prof. Dr.
George Metcalfe, Teaching Staff, Faculty of Science ✉
|
ECTS
|
6 |
Recognition as optional course possible
|
Yes |
Grading
|
1 to 6 |
|
Dates |
Wednesday 08:15-10:00 Weekly
|
|
Monday 10:15-12:00 Weekly
|
|
Wednesday 11/9/2024 10:30-12:00
|
|
Rooms |
Hörsaal B007, Exakte Wissenschaften, ExWi
|
|
Students please consult the detailed view for complete information on dates, rooms and planned podcasts. |