Logik in der InformatikXML representation

 

Studiengang: Masterstudiengang Informatik (ab WS15/16)

Beginn: WS16/17 / 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.

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

Voraussetzungen:

Kommentare:

Programmübersicht nach Semestern:

WS16/17
SS17 MS0202 MS0102 Inf-MS-KAL
WS17/18 Inf-DPS

Programmübersicht nach Studienbereichen:

Theoretische Informatik

Minimale ECTS-Punkte in dieser Kategorie: 12 / Maximale ECTS-Punkte in dieser Kategorie: 53

MS0202: Effiziente Algorithmen (8 ECTS, SS17, empfohlen)
Praktische Informatik

Minimale ECTS-Punkte in dieser Kategorie: 12 / Maximale ECTS-Punkte in dieser Kategorie: 53

Inf-DPS: Deklarative Programmiersprachen (8 ECTS, WS17/18, empfohlen)
Wahlpflichtmodule Informatik
MS0102: Automaten, Logiken, Spiele (8 ECTS, SS17, empfohlen)
Masterseminare

Minimale ECTS-Punkte in dieser Kategorie: 5 / Maximale ECTS-Punkte in dieser Kategorie: 5

Inf-MS-KAL: Seminar - Kryptographie, Automatentheorie, Logik (5 ECTS, SS17, empfohlen)
Masterprojekte

Minimale ECTS-Punkte in dieser Kategorie: 10 / Maximale ECTS-Punkte in dieser Kategorie: 20

Außerfachlicher Wahlbereich

Minimale ECTS-Punkte in dieser Kategorie: 10 / Maximale ECTS-Punkte in dieser Kategorie: 15

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.

Nebenfach Betriebswirtschaftslehre

Minimale ECTS-Punkte in dieser Kategorie: 15 / Maximale ECTS-Punkte in dieser Kategorie: 15

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:

  • Gründungs- und Innovationsmanagement
  • Marketing
  • Supply Chain Management
  • Technologiemanagement

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.