|
Albert-Ludwigs-Universität Freiburg |
| Institut für mathematische Logik und Grundlagen der Mathematik |
Zeit: Do 8-10
Ort: SR 318 Eckerstr. 1
Strukturen lasssen sich auf natürliche Weise als Wörter über einem Alphabet modellieren und umgekehrt Wörter als Strukturen. Strukturen sind der Beschreibung durch eine logische Sprache zugänglich, Wörter der Behandlung durch Automaten. Der enge Zusammenhang zwischen Strukturen und Wörtern läßt eine Behandlung von Problemen zugleich durch die Logik und durch die Automatentheorie möglich erscheinen. Tatsächlich gibt es fruchtbare Zusammenhänge. Das Seminar geht der entsprechenden Theorie anhand von Lehrbuchauszügen und Originalarbeiten nach.
Voraussetzung zum Besuch sind Kenntnisse über mathematische Logik, etwa im Rahmen einer entsprechenden Vorlesung, sowie einige modelltheoretische Kenntnisse, die man z.B. durch den Besuch der ebenfalls im WS stattfindenden ModelltheorieVorlesung erwerben kann. Das nötige Wissen über Automaten wird im Seminar vermittelt.
Vorbesprechung: am 16. Juli 1998 um 13.30 Uhr im Seminarraum 318 der Eckerstraße 1.
