Jedes Wintersemester
5 Leistungspunkte
Die Angaben zur Moduldauer finden Sie bei den Studiengängen, in denen das Modul verwendet wird.
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
—
Modulstruktur: 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.
| Studiengang | Variante | Profil | Empf. Beginn 3 | Dauer | Bindung 4 |
|---|---|---|---|---|---|
| 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 Semester | Wahlpflicht | ||
| Grundlagen Kognitiver Systeme / Bachelor [FsB vom 04.06.2020] | Nebenfach (fw) | 5. | ein Semester | Wahlpflicht | |
| Informatik / Bachelor of Science [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] | Kernfach (fw) | Modellbildung | 3. | ein Semester | Pflicht |
| Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] | Nebenfach (fw) | Praktische Informatik | 3. o. 5. | ein Semester | Wahlpflicht |
| Informatik / Bachelor [FsB vom 16.05.2023 mit Änderung vom 01.08.2023] | Nebenfach (fw) | Technische Informatik | 3. o. 5. | ein Semester | Wahlpflicht |
| Informatik / Bachelor of Science [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] | Kernfach (fw) | Technische Informatik | 5. | ein Semester | Wahlpflicht |
| Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] | Nebenfach (fw) | Praktische Informatik | 5. | ein Semester | Wahlpflicht |
| Informatik / Bachelor [FsB vom 04.06.2020 mit Änderung vom 15.12.2021] | Nebenfach (fw) | Technische Informatik | 5. | ein Semester | Wahlpflicht |
| Intelligente Systeme / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020] | 1. | ein Semester | Wahlpflicht | ||
| 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 Semester | Wahlpflicht |
In diesem Modul kann eine automatische Vollständigkeitsprüfung vom System durchgeführt werden.
Bioinformatik und Genomforschung / Master of Science
Grundlagen Kognitiver Systeme / Bachelor: Nebenfach (fw) [FsB vom 04.06.2020]
Informatik / Bachelor of Science: Kernfach (fw) // Modellbildung
Informatik / Bachelor: Nebenfach (fw) // Praktische Informatik
Informatik / Bachelor: Nebenfach (fw) // Technische Informatik
Intelligente Systeme / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020]