Every winter semester
5 Credit points
For information on the duration of the modul, refer to the courses of study in which the module is used.
Die Studierenden lernen, reale Probleme in formal logische Formeln zu übertragen, Normalformen aussagenlogischer, prädikatenlogischer und modallogischer Formeln zu erzeugen und sie mittels formaler Kalküle (Tableaukalkül, Resolutionskalkül) auf Gültigkeit, Erfüllbarkeit oder Unerfüllbarkeit hin zu analysieren. Außerdem erwerben sie die Kompetenz, algorithmisch formulierte Aufgaben bezüglich ihrer Entscheidbarkeit oder Semi-Entscheidbarkeit zu bewerten.
- Aussagenlogik, Prädikatenlogik, Modallogik und deren Kalküle
- Unentscheidbarkeit, Semi-Entscheidbarkeit und Entscheidbarkeit
- Axiomensysteme: Peano-Arithmetik, Presburger-Arithmetik und Zermelo-Fraenkel-Mengenlehre mit Auswahlaxiom
- Kardinalzahlen
39-Inf-1 bzw. 39-Inf-AD und 39-Inf-6
—
Module structure: 1 bPr 1
Portfolio mit Abschlussprüfung bestehend aus:
1) Portfolio von Übungen zu Inhalten der Vorlesung
Übungsaufgaben oder Programmieraufgaben, die veranstaltungsbezogen gestellt werden (Bestehensgrenze 50% der erzielbaren Punkte). Die Kontrolle der Übungsaufgaben umfasst auch direkte Fragen zu den Lösungsansätzen, die von den Studierenden in den Übungen beantwortet werden müssen. Der*die Lehrende kann ein individuelles Erläutern und Vorführen von Aufgaben verlangen sowie einen Teil der Übungsaufgaben durch Präsenzübungen ersetzen. Die Übungsaufgaben im Rahmen des Portfolios werden in der Regel wöchentlich ausgegeben und dienen dem begleitenden Erlernen selbständiger Umsetzungen der in der Vorlesung vorgestellten Lerninhalte.
2) einer Abschlussprüfung zur Vorlesung
Die Abschlussprüfung zu den Inhalten der Vorlesung nimmt Bezug auf die Übungs- oder Programmieraufgaben oder entwickelt sich aus den in den Übungen erlernten Kompetenzen.
Eine weitergehende Konkretisierung insbesondere zum zeitlichen Umfang der Abschlussprüfung erfolgt in der Beschreibung der Veranstaltung.
Abschlussklausur (im Umfang von ca. 90-120 Minuten) oder mündliche Abschlussprüfung (im Umfang von ca. 20-40 Minuten) zu den in der Vorlesung vermittelten und in den Übungen erarbeiteten Inhalten.
Die Klausur kann alternativ als eKlausur, Open Book Klausur oder eOpen Book Klausur geprüft werden. Im Falle von Open Book Klausur und eOpen Book Klausur beträgt der Umfang 120-180 Minuten.
Beide Portfolioelemente werden durch eine*n Prüfer*in geprüft. Es erfolgt eine abschließende Gesamtbewertung.
Degree programme | Version | Profile | Recommended start 3 | Duration | Mandatory option 4 |
---|---|---|---|---|---|
Bioinformatics and Genome Research / 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. | one semester | Compulsory optional subject | ||
Fundamentals of Cognitive Systems / Bachelor [FsB vom 04.06.2020] | Minor Subject (Academic), 60 CPs | 5. | one semester | Compulsory optional subject | |
Informatics / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] | Major Subject (Academic) | Modelling | 3. | one semester | Obligation |
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] | Minor Subject (Academic), 60 CPs | Practical Informatics | 3. o. 5. | one semester | Compulsory optional subject |
Informatics / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] | Minor Subject (Academic), 60 CPs | Technical Informatics | 3. o. 5. | one semester | Compulsory optional subject |
Informatics / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] | Major Subject (Academic) | Technical Informatics | 5. | one semester | Compulsory optional subject |
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] | Minor Subject (Academic), 60 CPs | Practical Informatics | 5. | one semester | Compulsory optional subject |
Informatics / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] | Minor Subject (Academic), 60 CPs | Technical Informatics | 5. | one semester | Compulsory optional subject |
Intelligent Systems / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020] | 1. | one semester | Compulsory optional subject | ||
Informatics for the Natural Sciences / 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. | one semester | Compulsory optional subject |
The system can perform an automatic check for completeness for this module.
Bioinformatics and Genome Research / Master of Science
Fundamentals of Cognitive Systems / Bachelor: Minor Subject (Academic), 60 CPs [FsB vom 04.06.2020]
Informatics / Bachelor of Science: Major Subject (Academic) // Modelling
Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Practical Informatics
Informatics / Bachelor: Minor Subject (Academic), 60 CPs // Technical Informatics
Intelligent Systems / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020]