This program is concerned with algorithmic methods to realise software safety for complex, distributed and concurrent systems in areas like autonomous driving or the internet of things.
BSc Computer Science which includes basic education in mathematics, logics, and automata theory
| WS17/18 | Inf-NVP | Inf-EntEinSys | Inf-HPC |
| SS18 | Inf-AdvAlg | Inf-GSoZu | Inf-MPFSV |
| WS18/19 | Inf-MS-FSV | Inf-ESSS | Inf-AlgSeq |
| Theoretische Informatik | |
|
Minimale ECTS-Punkte in dieser Kategorie: 12 / Maximale ECTS-Punkte in dieser Kategorie: 53 |
|
| Inf-AdvAlg: Advanced Topics on Algorithms (6 ECTS, SS18, empfohlen) | |
| Inf-ESSS: Engineering Secure Software Systems (4 ECTS, WS18/19, empfohlen) | |
| Inf-AlgSeq: Algorithms on Sequences (6 ECTS, WS18/19, empfohlen) | |
| Praktische Informatik | |
|
Minimale ECTS-Punkte in dieser Kategorie: 12 / Maximale ECTS-Punkte in dieser Kategorie: 53 |
|
| Inf-NVP: Nebenläufige und verteilte Programmierung (6 ECTS, WS17/18, empfohlen) | |
| Inf-EntEinSys: Embedded Real-Time Systems (8 ECTS, WS17/18, empfohlen) | |
| Wahlpflichtmodule Informatik | |
| Inf-GSoZu: Grundlagen der Softwarezuverlässigkeit (8 ECTS, SS18, empfohlen) | |
| Inf-HPC: Hochleistungsrechnen (6 ECTS, WS17/18, empfohlen) | |
| Masterseminare | |
|
Minimale ECTS-Punkte in dieser Kategorie: 5 / Maximale ECTS-Punkte in dieser Kategorie: 5 |
|
| Inf-MS-FSV: Master Seminar - Formal Software Verification (5 ECTS, WS18/19, empfohlen) | |
| Masterprojekte | |
|
Minimale ECTS-Punkte in dieser Kategorie: 10 / Maximale ECTS-Punkte in dieser Kategorie: 20 |
|
| Inf-MPFSV: Master project - Formal Software Verification (10 ECTS, SS18, empfohlen) | |
| Außerfachlicher Wahlbereich | |
|
Minimale ECTS-Punkte in dieser Kategorie: 10 / Maximale ECTS-Punkte in dieser Kategorie: 15
German: In diesem Bereich können Studierende Module aus dem Angebot der Christian- Albrechts-Universität zu Kiel wählen, welche nicht auch in einem anderen Bereich dieses Studiengangs belegt werden können. Sprachkurse, welche nicht über das Niveau der gymnasialen Oberstufe hinausgehen, können nicht gewählt werden. Neben einer freien Wahl beliebiger Module, ist auch die Wahl eines koordinierten Nebenfachs möglich. Das Nebenfach kann sowohl konsekutiven Charakter haben und das gleiche Nebenfach aus dem Bachelorstudiengang fortsetzen oder ein neues einführendes Nebenfach sein. Die möglichen Nebenfächer mit den zu absolvierenden Modulen werden im Modulhandbuch aufgelistet. Weitere Nebenfächer können in Absprache mit dem Prüfungsausschuss des gewählten Fachs und dem Prüfungsausschuss Informatik bestimmt werden. Die Festlegung des Nebenfachs soll vor der Belegung des ersten Moduls des Nebenfachs erfolgen. Das Nebenfach wird auf dem Zeugnis ausgewiesen. English: In this category, you are allowed to study arbitrary external modules. For foreign students, german courses should be the best choice. For more information contact the lectorate german as a foreign language. |
|
| Nebenfach Betriebswirtschaftslehre | |
|
Minimale ECTS-Punkte in dieser Kategorie: 15 / Maximale ECTS-Punkte in dieser Kategorie: 15
This plan is available only in German! Studienplan ab WS 2017/2018 Im außerfachlichen Wahlbereich können Studierende auch das Nebenfach Betriebswirtschaftslehre wählen. Hierbei ist die Zahl der zu erbringenden LP dann auf 15 festgelegt. Die Module sind im Bereich der speziellen Betriebswirtschaftslehren (SBWL) zu erbringen, welche sich (für Masterstudierende der Informatik) in die folgenden Kategorien gliedern:
Von den zu erbringenden 15 LP sind 10 LP in Modulen einer dieser Kategorien zu erbringen, wovon mindestens ein Vorlesungsmodul (Vorlesung+Übung) im Umfang von 5 LP erbracht werden muss. Die weiteren 5 LP sind innerhalb eines Moduls einer anderen Kategorie zu erbringen. Die Veranstaltungen müssen also aus genau zwei unterschiedlichen Kategorien gewählt werden. Weitere Informationen zu den Modulen der SBLW finden Sie im Anhang 2 der FPO 2014 für den Master BWL. Beachten Sie aber, dass Sie im Gegensatz zu BWL-Studierenden jeweils nur 10 bzw. 5 Leistungspunkte pro Kategorie belegen werden müssen. Studienpläne mit Beginn vor WS 17/18: Mastermodule der BWL im Umfang von 12 LP. Da die meisten Mastermodule der BWL einen Umfang von 10 LP haben, können die fehlenden 2LP durch andere Module im Bereich der Informatik oder den allgemeinen Grundlagen erbracht werden. |