Moses - Logik, Spiele, Automaten

Anzeigesprache

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum WS 2015/16 - SoSe 2020. Die Version für das aktuelle Semester (SoSe 2024) finden Sie hier: Modulbeschreibung des SoSe 2024

Modul / Version:
#40545 / #2

Gültigkeit:
WS 2015/16 - SoSe 2020

Standard-Anzeigesprache:
Deutsch

Titel des Moduls:
Logik, Spiele, Automaten

Leistungspunkte:
9

Modulverantwortliche*r:
Kreutzer, Stephan

Benotung:
benotet

Prüfungsform:
Mündliche Prüfung

Zugehörigkeit

Fakultät:
Fakultät IV

Institut:
Institut für Softwaretechnik und Theoretische Informatik

Fachgebiet:
34352200 FG Logik und Semantik

Prüfungsausschuss:
Keine Angabe

Kontakt

Sekretariat:
TEL 7-3

Ansprechpartner*in:
Pilz, Jana

E-Mail-Adresse:
stephan.kreutzer@tu-berlin.de

Webseite:
Keine Angabe

Lernergebnisse

Die Studierenden kennen die theoretischen Grundlagen des Entwurfs und der Verifikation reaktiver Systeme und die zugrundeliegenden Methoden aus der Automatentheorie, der Spieltheorie und der Logik. Sie sind in der Lage, die Zusammenhänge zwischen den einzelnen Gebieten zu verstehen und anzuwenden.

Lehrinhalte

Thema der Vorlesung sind die theoretischen Grundlagen des Entwurfs und der Verifikation reaktiver Systeme, wie beispielsweise Kontrollsysteme oder Kommunikationsprotokolle. Methodisch stützt sich die Theorie auf eine Kombination von Automatentheorie, logischen Systemen zur Beschreibung von Berechnungen, und unendlichen Zwei-Personenspielen. Die Vorlesung gibt eine Einführung in die einzelnen Methoden und vor allem in die Zusammenhänge zwischen den Methoden. Besonderes Augenmerk wird dabei auf algorithmische Anwendungen im bereich des Systementwurfs und der Verifikation gerichtet.

Modulbestandteile

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	VZ
Logik Spiele Automaten	UE		k.A.	Deutsch	2
Logik Spiele Automaten	IV	0432 L 671	k.A.	Deutsch	4

Arbeitsaufwand und Leistungspunkte

Logik Spiele Automaten (UE):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	2.0h	30.0h
Vor-/Nachbereitung	15.0	4.0h	60.0h
			90.0h(~3 LP)

Logik Spiele Automaten (IV):

Aufwandbeschreibung	Multiplikator	Stunden	Gesamt
Präsenzzeit	15.0	4.0h	60.0h
Vor-/Nachbereitung	15.0	8.0h	120.0h
			180.0h(~6 LP)

Der Aufwand des Moduls summiert sich zu 270.0 Stunden. Damit umfasst das Modul 9 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Die Veranstaltungen bestehen aus einer flexilen Abfolge von Vorlesungen und Übungen.

Voraussetzungen für die Teilnahme / Prüfung

Wünschenswerte Voraussetzungen für die Teilnahme an den Lehrveranstaltungen:

Alle für Veranstaltungen relevanten Begriffe werden neu eingeführt, es wird also kein spezifisches Basiswissen vorausgesetzt. Es wäre allerdings empfehlenswert, wenn Teilnehmer und Teilnehmerinnen über Kenntnisse der theoretischen Informatik verfügen, wie sie etwa in den Bachelor-Modulen "Grundlagen und algebraische Strukturen", "Berechenbarkeit und Kompexität", "Logiken und Kalküle", Spezifikation und Semantik" vermittelt werden.

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

benotet

Prüfungsform

Mündliche Prüfung

Sprache

Deutsch

Dauer/Umfang

30 Minuten

Dauer des Moduls

Für Belegung und Abschluss des Moduls ist folgende Semesteranzahl veranschlagt:
1 Semester.

Dieses Modul kann in folgenden Semestern begonnen werden:
Winter- und Sommersemester.

Maximale teilnehmende Personen

Die maximale Teilnehmerzahl beträgt 30.

Anmeldeformalitäten

Modulanmeldung gemäß TU-Standard.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: verfügbar

Literatur

Empfohlene Literatur
Keine empfohlene Literatur angegeben

Zugeordnete Studiengänge

Semester:

Zeige auch ausgelaufene Studiengänge und StuPOs

Diese Modulversion wird in folgenden Studiengängen verwendet:

	Studiengang / StuPO	StuPOs	Verwendungen	Erste Verwendung	Letzte Verwendung
Dieses Modul findet in keinem Studiengang Verwendung.

Master Mathematik.

Sonstiges

Keine Angabe