TUD FB  Mathematik
| English
  | Home | Fachbereich Mathematik | TU Darmstadt  
Kontakt
Forschung
Mitarbeiter
Events
Lehre
Lehre
 

Auch in der Lehre repräsentiert die Arbeitsgruppe die Mathematische Logik als Grundlagendisziplin mit besonderer Betonung der Anwendungen logischer Methoden in Mathematik und Informatik.


Im Hauptstudium bieten wir für mittlere Semester regelmäßig (in der Regel jedes Sommersemester) an:

   
Einführung in die mathematische Logik
(Introduction to Mathematical Logic)
      
4+2
 
[Qualifizierungsmodul/Bachelor]
Auf dieser Vorlesung bauen fast alle Vertiefungszyklen im Master (s.u.) auf!

Als weitere Vorlesungen im Wahlpflichtbereich/Bachelor (ab 3. Studienjahr) bieten wir dieses Wintersemester an:

  • Komplexitätstheorie I (2+1) und
  • Introduction to Game Theory (2+1)


Vertiefungsvorlesungen im Rahmen eines Vertiefungszyklus Logik im Masterstudiengang setzen sich in der Regel zusammen aus zwei Strängen in zwei der folgenden vier Vertiefungsfelder (I-IV). Dabei soll im Regelfall jeweils eine (4+2)- oder zwei (2+1)-Veranstaltungen aus je einem Feld gehört werden. Die angegebenen Bestandteile mit typischen Stückelungen werden in wechselnden Kombinationen angeboten (das aktuelle Angebot finden Sie hier); andere als die hier vorgesehenen Kombinationen in sinnvoller inhaltlicher Abstimmung sind nach persönlicher Absprache möglich.

Einzelmodule aus dieser Liste stehen als Spezialmodule als mathematische Ergänzung wie auch als Nebenfachangebote (insbes. Anwendungsfach Logik für den Masterstudiengang Informatik) zur Verfügung.

(I) Angewandte Beweistheorie

   
Beweistheorie
(Proof Theory)
   
4+2 oder 2+1
   
Rekursionstheorie
(Recursion Theory)
   
2+1
   
Gödelsche Unvollständigkeitssätze
(Incompleteness of Formal Systems)
   
2+1

(II) Modelltheorie und Komplexität

   
Modelltheorie
(Model Theory)
   
4+2 oder 2+1
   
Endliche Modelltheorie
(Finite Model Theory)
   
2+1
   
Modallogiken
(Modal Logics)
   
2+1
   
Logik und Komplexität
(Logic and Complexity)
   
2+1
   
Komplexitätstheorie I
(Complexity Theory I)
   
2+1
   
Komplexitätstheorie II
(Complexity Theory II)
   
2+1

(III) Konstruktive und Kategorielle Logik

   
Kategorientheorie
(Category Theory)
   
2+1
   
Kategorielle Logik
(Categorical Logic)
   
2+1
   
Konstruktive Logik und Mathematik
(Constructive Logic)
   
2+1
   
Realizability
   
2+1

(IV) Grundlagen der Funktionalen Programmierung

   
Math. Grundl. der funkt. Programmierung
(Mathematical Foundations of Functional Programming)
   
4+2 oder 2x(2+1)

NB: Nicht alle diese Module werden regelmäßig angeboten, manche nur sporadisch. Man kann aber davon ausgehen, dass innerhalb jedes Zweijahreszyklus mindestens der Umfang eins kompletten Vertiefungszyklus Logik angeboten wird (das aktuelle Angebot finden Sie hier).

Einige der genannten Module, und insbesondere auch die Einführungsvorlesung "Introduction to Mathematical Logic" werden regelmäßig in Englisch gehalten.

Daneben werden wechselnde Seminare zu verwandten Themen angeboten. Im Grundstudium betreut die AG neben den mathematischen Grundvorlesungen (auch in den bilingualen Studienrichtungen der Mathematik) vor allem auch die formalen Grundlagen der Informatik im Rahmen des Studiengangs Informatik.