Moses - Logik

Anzeigesprache

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 2024) finden Sie hier: Modulbeschreibung des SoSe 2024

Modul / Version:
#40023 / #5

Gültigkeit:
WiSe 2020/21 - SoSe 2022

Standard-Anzeigesprache:
Deutsch

Titel des Moduls:
Logik

Leistungspunkte:
6

Modulverantwortliche*r:
Kreutzer, Stephan

Benotung:
benotet

Prüfungsform:
Portfolioprü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:

https://www.las.tu-berlin.de

Lernergebnisse

Verständnis der Rolle der Logik in der Informatik sowie der verschiedenen konkreten Anwendungsgebiete der Logik, z.B. in der Verifikation, Datenbanken und künstlicher Intelligenz. Grundkenntnisse der klassischen Aussagen- und Prädikatenlogik sowie anwendungsbezogener Kalküle. Verständnis des typischen Aufbaus einer Logik als mathematischer Theorie. Fertigkeit im Umgang mit aussagen- und prädikatenlogischer Formeln sowie in der Beurteilung formaler Korrektheit von Argumentationsmustern und Beweisen.

Lehrinhalte

* Anwendungen der Logik in der Informatik * Aussagenlogik * Syntax und Semantik der klassischen Aussagenlogik * aussagenlogische Äquivalenz und Normalformen * Resolutionsverfahren * Algorithmische Grundlagen von SAT Lösern und deren Anwendungen in der Algorithmik und künstlichen Intelligenz * Prädikatenlogik erster Stufe * Syntax der Prädikatenlogik: logische Signaturen, Terme, Prädikationen, prädikatenlogische Formeln * Semantik der klassischen Prädikatenlogik: Strukturen und Gültigkeit * prädikatenlogische Folgerung und Äquivalenz * prädikatenlogische Substitution und Umbenennung * Beweiskalküle für die Prädikatenlogik * Definierbarkeit in der Prädikatenlogik

Modulbestandteile

Pflichtteil:

Die folgenden Veranstaltungen sind für das Modul obligatorisch:

Lehrveranstaltungen	Art	Nummer	Turnus	Sprache	SWS	VZ
Logik	VL		WiSe	Keine Angabe	2
Logik	UE		WiSe	Keine Angabe	2

Arbeitsaufwand und Leistungspunkte

Logik (VL):

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 (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)

Der Aufwand des Moduls summiert sich zu 180.0 Stunden. Damit umfasst das Modul 6 Leistungspunkte.

Beschreibung der Lehr- und Lernformen

* Vorlesung * Betreute Übungsgruppen * Selbständige Bearbeitung von Übungsaufgaben in kleinen Gruppen

Voraussetzungen für die Teilnahme / Prüfung

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

Kenntnisse aus den Modulen "Formale Sprachen und Automaten" und "Berechenbarkeit und Komplexität"

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

Deutsch

Prüfungselemente

Name	Punkte	Kategorie	Dauer/Umfang
Hausarbeit (Ergebnisprüfung) (1)	10	schriftlich	max. 15 Seiten
Hausarbeit (Ergebnisprüfung) (2)	20	schriftlich	max. 15 Seiten
Schriftliche Leistungskontrolle (Punktuelle Leistungsabfrage) (1)	30	schriftlich	60 Minuten
Schriftliche Leistungskontrolle (Punktuelle Leistungsabfrage) (2)	40	schriftlich	85 Minuten

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

Prüfungsbeschreibung (Abschluss des Moduls)

Die Gesamtnote gemäß § 47 (2) AllgStuPO wird nach dem Notenschlüssel 1 der Fakultät IV ermittelt.

Dauer des Moduls

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

Dieses Modul kann in folgenden Semestern begonnen werden:
Wintersemester.

Maximale teilnehmende Personen

Dieses Modul ist nicht auf eine Anzahl Studierender begrenzt.

Anmeldeformalitäten

Die Einteilung der Tutorien erfolgt über MOSES in der ersten Vorlesungswoche. Die Prüfungsanmeldung erfolgt über QISPOS. 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

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