Veranstaltungsübersicht

Die auf diesen Seiten gegebenen inhaltlichen Beschreibungen der einzelnen Veranstaltungen sind nur als Anhaltspunkt zu verstehen. Anpassungen des Vorlesungsstoffes an aktuelle Forschungsaktivit?ten, die Entwicklung des Faches, neue Studienpl?ne oder die Vorkenntnisse der Teilnehmer sind grunds?tzlich immer m?glich. 

Name der VeranstaltungECTS-KreditpunkteFormatStudienabschnitt
Modulgruppe
Semester
Mathematik für Informatik 1 (Propositional and Predicate Logic)6V/?1. Jahr (BSc WI A4, BSc AI A1, MSc CitH A1 )WiSe
Grundlagen der Theoretischen Informatik (Machines and Languages)6V/?ab 2. Jahr (BSc AI A2, BSc WI A2-I)SoSe
IFP (Introduction to Functional Programming)6V/?ab 2. Jahr (BSc AI A2, BSc WI A2-I und Profilbildung)WiSe
MTL (Modal and Temporal Logic)6V/?ab 2. Jahr (BSc AI A2, BSc WI A2-II und Profilbildung)WiSe
Theorie verteilter Systeme (Communication and Synchronisation)6V/?ab 3. Jahr (MSc AI A2, MSc WI A2, BSc WI Profilbildung, MSc Wip?d-WI A3)aktuell nicht angeboten
Informationssicherheit (Information and Security)6V/?ab 3. Jahr (MSc AI A2, MSc WI A2, BSc WI Profilbildung, MSc Wip?d-WI A3 )aktuell nicht angeboten
Seminare (wechselnde Themen)3 ab 2. Jahr (BSc, MSc)WiSe, SoSe
GdI Projekte6 ab 3. Jahr (BSc, MSc)

WiSe, SoSe

 

V/?: Vorlesung und ?bung kombiniert, WI: Wirtschaftsinformatik, AI: Angewandte Informatik, BSc: Bachelor of Science, MSc: Master of Science, WiSe: Wintersemester, SoSe: Sommersemester