Modulinformationssystem Informatik

 

Logik in der Informatik XML

Masterprogramm im Schwerpunktbereich: Informatik-Masterprogramme

Beginn: WS14/15 / Research advisor: Prof. Dr. Thomas Wilke

Beschreibung:

Logik spielt sowohl in der Theoretischen Informatik als auch in vielen Anwendungen wie Verifikation, Spezifikation und künstlicher Intelligenz eine zentrale Rolle.

Teilnehmer/innen an diesem Programm lernen theoretische Grundlagen dieser Logiken sowie Verbindungen zur Komplexität von algorithmischen Problemen und praktischen Anwendungen der Logiken sowie Model-Checker und SAT-Solver kennen.

Veranstaltungen im Vertiefungsbereich werden kurzfristig nach Absprache mit den Teilnehmer/inne/n des Programms vereinbart.

Empfehlungen für den Besuch weiterer Veranstaltungen werden gern im persönlichen Gespräch gegeben.

Voraussetzungen:

Kommentare:

Masterprogrammübersicht

WS14/15	Inf-KompTheo MS0302 Inf-GraphTheo
SS15	MS0304 MS1102 Inf-WebTech MS0102
WS15/16	Inf-EntVerf Inf-SoftArch WInf-InfWiMa

Masterprogrammübersicht nach Studienbereichen

Vertiefende Informatik-Grundlagen (IG)

• Inf-KompTheo: Einführung in die Komplexitätstheorie (Pflicht)
• MS0304: Functional Programming (empfohlen)
• MS0302: Übersetzerbau (empfohlen)
• Inf-EntVerf: Entscheidungsverfahren (Pflicht)

Vertiefende theoretische Grundlagen (TG)

• Inf-GraphTheo: Graphentheorie (empfohlen)
• MS1102: Synchrone Sprachen (empfohlen)

Informatik der Systeme (IS)

• Inf-SoftArch: Software Architecture (empfohlen)
• WInf-InfWiMa: Informations- und Wissensmanagement (empfohlen)
• Inf-WebTech: Web-Technologien (empfohlen)

Mastervertiefungsbereich (MV)

• MS0102: Automaten, Logiken, Spiele (Pflicht)

Praktikum:

beim Research Advisor

Seminar:

beim Research Advisor

Masterarbeit:

beim Research Advisor

Allgemeine Grundlagen:

nach Wahl der Studierenden in Absprache mit dem Academic Advisor

Anwendungsfach:

nach Wahl der Studierenden in Absprache mit dem Academic Advisor