Moses - Angewandte Logiken

Zur Modulseite PDF generieren

Modul / Version
#40074 / #5

Gültigkeit
Seit WiSe 2022/23

Verfügbare Sprache(n)
Deutsch

Titel des Moduls
Angewandte Logiken

Leistungspunkte
3

Modulverantwortliche*r
Kreutzer, Stephan

Benotung
Benotet

Prüfungsform
Portfolioprüfung

Lehrsprache(n)
Deutsch

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
Bab, Sebastian

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

Webseite
Keine Angabe

Lernergebnisse

Absolvent*innen des Moduls sind in der Lage, die eingeführten Logiken und Konzepte in der formalen Modellierung konkreter Anwendungsfälle einzusetzen.

Lehrinhalte

Basierend auf den zentralen Konzepten der Logik beschäftigen wir uns im Seminar mit verschiedenen weiterführenden Logiken und ihren Anwendungen. Dies umfasst sowohl klassische Begriffe der Modallogik und deren Relevanz in der Informatik, als auch Zeitlogiken und deren Anwendungen. Wir beschäftigen uns weiterhin mit Logiken zur formalen Modellierung von Wissen und Prozessen der Wissensveränderung. Auch spielt die (automatisierte) Verifikation modellierter Prozesse mittels Model Checking Verfahren eine wichtige Rolle. Weiterhin führen wir intensionale Logiken der sogenannten Epsilon-Familie ein. Hierzu zählen spezielle alternative Mengentheorien, die insbesondere eine Selbstbezüglichkeit modellieren lassen sowie Logiken, in deren Semantik explizit der Sinn einer Formel und nicht nur ihr Wahrheitswert betrachtet und verwendet werden kann. Alle Logiken werden hinsichtlich ihrer konkreten Anwendbarkeit im Rahmen der Informatik untersucht.

Modulbestandteile

Pflichtbereich

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	ISIS	VVZ
Angewandte Logiken	SEM		WiSe/SoSe	Keine Angabe	2

ISIS-Kurssuche nach Veranstaltungen des Moduls

Arbeitsaufwand und Leistungspunkte

Angewandte Logiken (SEM):

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

Der Aufwand des Moduls summiert sich zu 90.0 Stunden. Damit umfasst das Modul 3 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

Das Seminar findet als Blockseminar zu bestimmten Terminen statt. Eine Teilnahme zum Vorbereitungstreffen ist obligatorisch, da hier Themen der Lehrveranstaltung zur Bearbeitung verteilt werden. Weitere Arbeitstermine zur Vorbereitung während des Semesters finden in Absprache mit den Teilnehmer*innen statt. Bei Bedarf können die Termine des Blocks in Absprache mit den Teilnehmer*innen unter Umständen noch angepasst werden. Als Voraussetzungen zur Teilnahme am Seminar reichen Kenntnisse im Umfang des Moduls "Logik" aus.

Voraussetzungen für die Teilnahme / Prüfung

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

Abschluss des Moduls Logik

Verpflichtende Voraussetzungen für die Modulprüfungsanmeldung:

Dieses Modul hat keine Prüfungsvoraussetzungen.

Abschluss des Moduls

Benotung

Benotet

Prüfungsform

Portfolioprüfung

Art der Portfolioprüfung

100 Punkte insgesamt

Sprache(n)

Deutsch

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
Referat	50	mündlich	20 Minuten
Ausarbeitung	50	praktisch	20 Wochen

Notenschlüssel

Notenschlüssel »Notenschlüssel 1: Fak IV (1)«

Gesamtpunktzahl	1.0	1.3	1.7	2.0	2.3	2.7	3.0	3.3	3.7	4.0
100.0pt	86.0pt	82.0pt	78.0pt	74.0pt	70.0pt	66.0pt	62.0pt	58.0pt	54.0pt	50.0pt

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 15.

Anmeldeformalitäten

Die Prüfungsanmeldung erfolgt in der Regel online. Die Lehrmaterialien werden über ISIS bereitgestellt.

Literaturhinweise, Skripte

Skript in Papierform

Verfügbarkeit: nicht verfügbar

Skript in elektronischer Form

Verfügbarkeit: nicht 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
	Informatik (B. Sc.)	1	6	WiSe 2022/23	SoSe 2025

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

Sonstiges

Keine Angabe