Modul 39-Inf-FL Formal Logic

Achtung: Auf dieser Seite wird ein auslaufendes Modulangebot angezeigt.

Fakultät

Modulverantwortliche*r

Turnus (Beginn)

Auslaufendes Angebot

Neuere Version dieses Moduls

Leistungspunkte und Dauer

5 Leistungspunkte

Die Angaben zur Moduldauer finden Sie bei den Studiengängen, in denen das Modul verwendet wird.

Kompetenzen

Die Studierenden lernen

  • Reale Probleme in formal logische Formeln zu übersetzen
  • Normalformen aussagenlogischer, prädikatenlogischer und modallogischer Formeln herzustellen und sie mittels formaler

Kalküle (Tableaukalkül, Resolutionskalkül) auf Gültigkeit, Erfüllbarkeit oder Unerfüllbarkeit zu prüfen

  • Algorithmisch formulierte Aufgaben bezüglich ihrer Entscheidbarkeit oder Semi-Entscheidbarkeit zu klassifizieren.

Lehrinhalte

  • Aussagenlogik, Pädikatenlogik, Modallogik, temporale Logik
  • Unentscheidbarkeit, Semi-Entscheidbarkeit und Entscheidbarkeit
  • Automatische Sequenzen, Presburgerarithmetik, Computerbeweise

Empfohlene Vorkenntnisse

Algorithmen und Datenstrukturen, Theoretische Informatik

Notwendige Voraussetzungen

—

Erläuterung zu den Modulelementen

Die Modul(teil)prüfung kann in einigen Studiengängen nach Wahl der Studierenden auch "unbenotet" erbracht werden. Vor Erbringung ist eine entsprechende Festlegung vorzunehmen, eine nachträgliche Änderung (benotet - unbenotet) ist ausgeschlossen. Wird diese Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.

Modulstruktur: 0-1 bPr, 0-1 uPr 1

Veranstaltungen

Formal Logic
Art Vorlesung
Turnus WiSe
Workload5 60 h (30 + 30)
LP 2
Formal Logic
Art Übung
Turnus WiSe
Workload5 60 h (30 + 30)
LP 2

Prüfungen

Portfolio mit Abschlussprüfung
Zuordnung Prüfende Modulverantwortliche*r prüft oder bestimmt Prüfer*in
Gewichtung unbenotet
Workload 30h
LP2 1

In einigen Studiengängen der Technischen Fakultät kann die Modulteilprüfung nach Wahl der Studierenden auch "unbenotet" erbracht werden (s. Erläuterungen zu den Modulelementen und die jeweilige FsB). Wird die unbenotete Option gewählt, ist es nicht möglich, dieses Modul zu verwenden, um es in einen Studiengang einzubringen, in dem dieses Modul bei der Gesamtnotenberechnung berücksichtigt wird.
Erläuterungen zu dieser Prüfung siehe unten (benotete Prüfungsvariante).

Portfolio mit Abschlussprüfung
Zuordnung Prüfende Modulverantwortliche*r prüft oder bestimmt Prüfer*in
Gewichtung 1
Workload 30h
LP2 1

Portfolio aus Übungsaufgaben, die veranstaltungsbezogen gestellt werden (Bestehensgrenze 50% der erzielbaren Punkte) und Abschlussklausur (mit einem zeitlichen Rahmen von ca. 90 Minuten) oder mündlicher Abschlussprüfung (mit einem zeitlichen Rahmen von ca. 30 Minuten).
Die Kontrolle der Aufgaben umfasst auch direkte Fragen zu den Lösungsansätzen, die von den Studierenden in den Übungen beantwortet werden müssen. Die Veranstalterin/der Veranstalter kann ein individuelles Erläutern und Vorführen von Aufgaben verlangen sowie einen Teil der Aufgaben durch Präsenzübungen ersetzen.
Die Aufgaben im Rahmen des Portfolios werden in der Regel wöchentlich ausgegeben.

Weitere Hinweise

Bisheriger Angebotsturnus war jedes Wintersemester.

In diesen Studiengängen wird das Modul verwendet:

Studiengang Variante Profil Empf. Beginn 3 Dauer Bindung 4
Bioinformatik und Genomforschung / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021] 1-Fach (fw) 5. ein Semes­ter Wahl­pflicht
Bioinformatik und Genomforschung / Master of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 04.06.2020 und 31.03.2023] 1. ein Semes­ter Wahl­pflicht
Grundlagen Kognitiver Systeme / Bachelor [FsB vom 04.06.2020] Nebenfach (fw) 5. ein Semes­ter Wahl­pflicht
Informatik / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Kernfach (fw) Technische Informatik 5. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Nebenfach (fw) Praktische Informatik 5. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] Nebenfach (fw) Technische Informatik 5. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Nebenfach (fw) Praktische Informatik 5. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] Nebenfach (fw) Technische Informatik 5. ein Semes­ter Wahl­pflicht
Intelligente Systeme / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020] 1. ein Semes­ter Wahl­pflicht
Kognitive Informatik / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021] 1-Fach (fw) 5. ein Semes­ter Wahl­pflicht
Naturwissenschaftliche Informatik / Master of Science [FsB vom 30.09.2016 mit Berichtigung vom 10.01.2017 und Änderungen vom 15.09.2017, 02.05.2018, 04.06.2020 und 31.03.2023] 1. ein Semes­ter Wahl­pflicht

Automatische Vollständigkeitsprüfung

In diesem Modul kann eine automatische Vollständigkeitsprüfung vom System durchgeführt werden.

Legende

1
Die Modulstruktur beschreibt die zur Erbringung des Moduls notwendigen Prüfungen und Studienleistungen.
2
LP ist die Abkürzung für Leistungspunkte.
3
Die Zahlen in dieser Spalte sind die Fachsemester, in denen der Beginn des Moduls empfohlen wird. Je nach individueller Studienplanung sind gänzlich andere Studienverläufe möglich und sinnvoll.
4
Erläuterungen zur Bindung: "Pflicht" bedeutet: Dieses Modul muss im Laufe des Studiums verpflichtend absolviert werden; "Wahlpflicht" bedeutet: Dieses Modul gehört einer Anzahl von Modulen an, aus denen unter bestimmten Bedingungen ausgewählt werden kann. Genaueres regeln die "Fächerspezifischen Bestimmungen" (siehe Navigation).
5
Workload (Kontaktzeit + Selbststudium)
SoSe
Sommersemester
WiSe
Wintersemester
SL
Studienleistung
Pr
Prüfung
bPr
Anzahl benotete Modul(teil)prüfungen
uPr
Anzahl unbenotete Modul(teil)prüfungen
Diese Leistung kann gemeldet und verbucht werden.

Seitenleiste

Modulelemente

Veranstaltungen

Prüfungen

Lehrangebot im eKVV

Lehrangebot im eKVV

Modullisten zeigen

Bioinformatik und Genomforschung / Bachelor of Science: 1-Fach (fw) [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021]

Bioinformatik und Genomforschung / Master of Science

Grundlagen Kognitiver Systeme / Bachelor: Nebenfach (fw) [FsB vom 04.06.2020]

Informatik / Bachelor of Science: Kernfach (fw) // Technische Informatik [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatik / Bachelor: Nebenfach (fw) // Praktische Informatik [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatik / Bachelor: Nebenfach (fw) // Technische Informatik [FsB vom 04.06.2020 mit Änderung vom 15.12.2021]

Informatik / Bachelor: Nebenfach (fw) // Praktische Informatik [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Informatik / Bachelor: Nebenfach (fw) // Technische Informatik [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021]

Intelligente Systeme / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020]

Kognitive Informatik / Bachelor of Science: 1-Fach (fw) [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021]

Naturwissenschaftliche Informatik / Master of Science [FsB vom 30.09.2016 mit Berichtigung vom 10.01.2017 und Änderungen vom 15.09.2017, 02.05.2018, 04.06.2020 und 31.03.2023]