1. Modulverzeichnis (MTS)
  2. Module
  3. Modulbeschreibung anzeigen

Logische Methoden der Informatik

Zur Modulseite PDF generieren

#40026 / #3

Seit SoSe 2026

Deutsch, Englisch

Logische Methoden der Informatik

6

Kreutzer, Stephan

Benotet

Schriftliche Prüfung

Deutsch, Englisch

Zugehörigkeit


Fakultät IV

Institut für Softwaretechnik und Theoretische Informatik

34352200 FG Logik und Semantik

Keine Angabe

Kontakt


EN 25

Kreutzer, Stephan

stephan.kreutzer@tu-berlin.de

https://www.tu.berlin/las/studium-lehre/veranstaltungsangebot

Lernergebnisse

Das Modul behandelt weiterführende Themen der Logik in der Informatik. Absolventen und Absolventinnen der Kurses haben ein gutes Verständnis für Anwendungen der Logik in der Informatik. Sie können souverän mit logischen Systemen arbeiten, deren Komplexität und Ausdrucksstärke analysieren. Sie können die Anwendungsmöglichkeiten der Logik in der Informatik gut einschätzen und kennen einige wichtige Anwendungen der Logik z.B. in der Verifikation, der Algorithmik und Komplexitätstheorie sowie zur Beschreibung formaler Sprachen.

Lehrinhalte

Logik, Sprachen und Automaten - Logische Beschreibung regulärer Sprachen - Zusammenhang zwischen Logiken und Automaten Verifikation - Verifikationslogiken LTL, CTL und den mu-Kalkül - Techniken zur automatischen Verifikation logischer Spezifikationen in Transitionssystemen Logik im Kontext relationaler Datenbanken - conjunctive queries - relationaler Kalkül - effizientes Auswerten von Datenbankanfragen Aussdrucksstärke logischer Systeme - Definierbarkeit in der Prädikatenlogik - Ehrenfeucht-Fraisse Spiele und Lokalitätssätze Logik und Komplexität - Auswerten logischer Formeln in Strukturen, besonders Graphen. - Logische Beschreibungen von Komplexitätsklassen Logik in der künstlichen Intelligenz - Constraint Satisfaction Probleme in der künstlichen Intelligenz

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

LehrveranstaltungenArtNummerTurnusSpracheSWS ISIS VVZ
Logische Methoden der InformatikVLSoSeKeine Angabe2
Logische Methoden der InformatikUESoSeKeine Angabe2
ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Logische Methoden der Informatik (VL):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.04.0h60.0h
90.0h(~3 LP)

Logische Methoden der Informatik (UE):

AufwandbeschreibungMultiplikatorStundenGesamt
Präsenzzeit15.02.0h30.0h
Vor-/Nachbereitung15.04.0h60.0h
90.0h(~3 LP)
Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

- Vorlesung - Betreute Übungsgruppen - elbständige Bearbeitung von Übungsaufgaben in kleinen Gruppen

Voraussetzungen für die Teilnahme / Prüfung

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

Modul Logik

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Voraussetzung
Leistungsnachweis »Unbenoteter Übungsschein«

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Schriftliche Prüfung

Sprache(n)

Deutsch

Dauer/Umfang

120 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:
Sommersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Prüfungsanmeldung erfolgt über MTS (Moses). Die An- und Abmeldefristen werden in der Vorlesung bekannt gegeben. Die Lehrmaterialien werden über ISIS bereitgestellt.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit:  verfügbar

 

Skript in elektronischer Form

Verfügbarkeit:  verfügbar

 

Literatur

Empfohlene Literatur
Keine empfohlene Literatur angegeben

Zugeordnete Studiengänge


Diese Modulversion wird in folgenden Studiengängen verwendet:

Studiengang / StuPOStuPOsVerwendungenErste VerwendungLetzte Verwendung
Informatik (B. Sc.)12SoSe 2026SoSe 2026

Studierende anderer Studiengänge können dieses Modul ohne Kapazitätsprüfung belegen.

Wahlpflicht Modul "Theoretische Informatik" im Studiengang B.Sc. Informatik, StuPO 2014 Wahlpflicht Modul im Studiengang B. Sc. Informatik in allen sonstigen Studienordnungen. B. Sc. Mathematik

Sonstiges

Keine Angabe