|
|
Root number
|
27422 |
|
Semester
|
FS2026 |
|
Type of course
|
Lecture |
|
Allocation to subject
|
Mathematics |
|
Type of exam
|
Written exam |
| Title |
Logik |
| 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
|
| |
|
Rooms
|
| |
| Students please consult the detailed view for complete information on dates, rooms and planned podcasts. |
User:
Öffentlicher Bereich
Support