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 Veranstaltung | ECTS-Kreditpunkte | Format | Studienabschnitt Modulgruppe | Semester |
|---|---|---|---|---|
| Mathematik für Informatik 1 (Propositional and Predicate Logic) | 6 | V/? | 1. Jahr (BSc WI A4, BSc AI A1, MSc CitH A1 ) | WiSe |
| Grundlagen der Theoretischen Informatik (Machines and Languages) | 6 | V/? | ab 2. Jahr (BSc AI A2, BSc WI A2-I) | SoSe |
| IFP (Introduction to Functional Programming) | 6 | V/? | ab 2. Jahr (BSc AI A2, BSc WI A2-I und Profilbildung) | WiSe |
| MTL (Modal and Temporal Logic) | 6 | V/? | ab 2. Jahr (BSc AI A2, BSc WI A2-II und Profilbildung) | WiSe |
| Theorie verteilter Systeme (Communication and Synchronisation) | 6 | V/? | ab 3. Jahr (MSc AI A2, MSc WI A2, BSc WI Profilbildung, MSc Wip?d-WI A3) | aktuell nicht angeboten |
| Informationssicherheit (Information and Security) | 6 | V/? | 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 Projekte | 6 | 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