Studieninformation
Hintergrundbild
Hintergrundbild
Hintergrundbild
Druckversion  Sprachumschaltung
 

Modul 39-Inf-FL Formal Logic

Fakultät

Modulverantwortliche/r

Turnus (Beginn)

Jedes Wintersemester

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

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

Veranstaltungen

Titel Art Turnus Workload (Kontaktzeit + Selbststudium) LP2
Formal Logic Vorlesung WiSe 60h (30 + 30) 2
Formal Logic Übung WiSe 60h (30 + 30) 2

Prüfungen

Organisatorische Zuordnung Art Gewichtung Workload LP2
Veranstaltungsübergreifend

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 unbenotet 30h 1
Diese Leistung kann gemeldet und verbucht werden.
Veranstaltungsübergreifend

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.

 Portfolio mit Abschlussprüfung 1 30h 1
Diese Leistung kann gemeldet und verbucht werden.

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 und 01.07.2019] 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 und 02.05.2018] 1. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017 und 02.05.2018] Nebenfach (fw) Praktische Informatik 5. ein Semes­ter Wahl­pflicht
Informatik / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017 und 02.05.2018] Nebenfach (fw) Technische Informatik 5. ein Semes­ter Wahl­pflicht
Intelligente Systeme / Master of Science [FsB vom 27.07.2018] 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 und 01.07.2019] 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 und 02.05.2018] 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 rechtes Menü).
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.
Diese Leistung kann gemeldet und verbucht werden.

Modulelemente

Veranstaltungen

Prüfungen

Lehrangebot im eKVV

Lehrangebot im eKVV

Modullisten zeigen

Bioinformatik und Genomforschung / Bachelor of Science: 1-Fach (fw)

Bioinformatik und Genomforschung / Master of Science

Informatik / Bachelor: Nebenfach (fw) // Praktische Informatik

Informatik / Bachelor: Nebenfach (fw) // Technische Informatik

Intelligente Systeme / Master of Science

Kognitive Informatik / Bachelor of Science: 1-Fach (fw)

Naturwissenschaftliche Informatik / Master of Science