Moses - Angewandte Logiken

Zur Modulseite PDF generieren

Modul / Version
#40074 / #4

Gültigkeit
WiSe 2020/21 - SoSe 2022

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

Diese Modulbeschreibung gilt nicht im aktuellen Semester.

Die Modulbeschreibung gilt nur für den Zeitraum WiSe 2020/21 - SoSe 2022. Die Version für das aktuelle Semester (SoSe 2025) finden Sie hier: Modulbeschreibung des SoSe 2025

Lernergebnisse

Sowohl die mengentheoretischen Konzepte als auch die zugehörigen Logiken erlauben Anwendung in der formalen Modellierung von Kontexten und Auffassungen, die ebenfalls Teil des Seminars sind.

Lehrinhalte

Basierend auf den zentralen Konzepten der Logik beschäftigen wir uns im Seminar mit den Logiken und Konzepten der Epsilon-Familie. 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.

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 Teilnehmern statt. Bei Bedarf können die Termine des Blocks in Absprache mit den Teilnehmern unter Umständen noch angepasst werden. Als Voraussetzungen zur Teilnahme am Seminar reichen Kenntnisse im Umfang der Lehrveranstaltung "Logik" aus.

Voraussetzungen für die Teilnahme / Prüfung

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

Abschluss des Moduls TheGI 3 - Logiken und Kalküle

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

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Anmeldung erfolgt über Qispos und Isis.

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
Dieses Modul findet in keinem Studiengang Verwendung.

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

Sonstiges

Keine Angabe