Diskrete Strukturen 2016
Vorlesung des Moduls Math Ba ALGSTR "Algebraische Strukturen: Diskrete Strukturen", Wintersemester 2016/17.
Behandelte Themen
Mathematische Strukturen, Logik erster Stufe, Kompaktheit anwenden und beweisen, Ultraprodukte, Erhaltungssätze aus der Modelltheorie, der Satz von Birkhoff zu Varietäten, Theorie der Graphenhomomorphismen, endliche Modelltheorie
Zielgruppen
Bachelor-Studiengang Mathematik (5. Sem.); Staatsexamen: Höheres Lehramt an Gymnasien (9. Sem., Angebot für Modul Mathematische Vertiefung); für Diplomstudiengang Informatik (Vertiefung im Nebenfach)
Vorkenntnisse
Kompetenzen aus den Modulen Math-Ba-ALGZTH, Math-Ba-ANAG, Math-Ba-LAAG und Math-Ba-PROG
Vorlesungszeiten
Montag | 5. DS | WIL C133; für die Dauer der Bauarbeiten WIL/A124/H |
Freitag | 2. DS | WIL C133; für die Dauer der Bauarbeiten Sch/A184 |
Literatur
Grundlegendes zur Logik und der Modelltheorie findet sich in "Model Theory" von Wilfrid Hodges (Cambridge University Press). Es gibt von diesem Buch eine günstigere (aber gekürzte) Version im Taschenbuchformat, mit dem Titel "A shorter model theory" (Cambridge University Press). Ein deutscher Lehrbuchklassiker zur Logik ist die ''Einführung in die mathematische Logik'' von Ebbinghaus, Flum und Thomas. Weitere Literaturangaben folgen im Laufe der Vorlesung.
Skript
Ein englisches Skript wird den Studenten zur Verfügung gestellt. Trotzdem wird empfohlen, in der Vorlesung mitzuschreiben.