Modulinformationssystem Informatik

 

Logik in der Informatik XML

Masterprogramm im Schwerpunktbereich: Informatik-Masterprogramme

Beginn: WS09/10 / Research advisor: Prof. Dr. Thomas Wilke

Beschreibung:

Die mathematische Logik hat vielfältige Anwendungen in der Informatik. Warum dies so ist und wie einige dieser Anwendungen aussehen, zeigt dieses Programm.

Bei Fragen bitte wenden an den Research Advisor, Prof. Dr. Thomas Wilke.

Voraussetzungen:

Kommentare:

Masterprogrammübersicht

WS09/10	MS0202 MS0402
SS10	MS0304 MS0102 MS0803
WS10/11

Masterprogrammübersicht nach Studienbereichen

Vertiefende Informatik-Grundlagen (IG)

• MS0202: Effiziente Algorithmen (Pflicht)
• MS0304: Functional Programming (empfohlen)

Vertiefende theoretische Grundlagen (TG)

• MS0402: Ordnungen und Verbände (empfohlen)
• MS0102: Automaten, Logiken, Spiele (Pflicht)

Informatik der Systeme (IS)

• MS0803: XML in Communication Systems (empfohlen)

Mastervertiefungsbereich (MV)

Praktikum:

Vorzugsweise im Bereich der Verifikation.

Seminar:

Seminar in der AG Theoretische Informatik.

Masterarbeit:

Master-Arbeit in der AG Theoretische Informatik.

Allgemeine Grundlagen:

Empfohlen wird Academic Writing.

Anwendungsfach:

Sinnvolle Ergänzung durch das Anwendungsfach Mathematik mit Besuch von Veranstaltungen zur mathematischen Logik und Graphentheorie.