Achtung: Auf dieser Seite wird ein eingestelltes Modulangebot angezeigt.
Wird nicht mehr angeboten
5 Leistungspunkte
Die Angaben zur Moduldauer finden Sie bei den Studiengängen, in denen das Modul verwendet wird.
Studierende sind in der Lage formale Berechnungen in der Aussagenlogik unterschiedlicher Formen (z.B. klassisch, intuitionistisch, modal) zu machen.
Formale Logik wird überall in Informatik benutzt. Aussagenlogik und Predikatenlogik sowie temporale Logik und Logik der höheren Ordnung werden in der Verifizierung und Validierung von Computeralgorithmen benutzt sowie in Safety-Cases für Sicherheitskritischen Systemen. Logik der Meinung sowie epistemische Logik wird im Bereich Künstlicher Intelligenz, insb. Agentensystemen benutzt. Kausale Logik wird in der Analyse von komplexen Systemen und ihrer Unfällananalyse benutzt. Wahrscheinlichkeitslogik und induktive Logik wir in der Risikoabschätzung von sicherheitskritischen System benutzt. Unterschiedliche Logiken werden in der formalen Semantik in der komputationellen Linguistik benutzt.
Diese Veranstaltung in zwei Teilen biete eine praktische Einführung in einiger dieser formalen Logiken an. Hilfreich ist einige Erfahrung mit (klassischer) Aussagenlogik und/oder Predikatenlogik, wie in Veranstaltungen der Abteilung Philosophie und der Fakultät für Linguistik und Literaturwisseschaft angeboten.
Nach einer Einführung des/der Kursanbieter(s) werden Teilnehmer ihre Lösung zu ausgewählten Übungen in der Form eines Seminarvortrags und Diskussionsleitung darstellen.
Einige Kompetenzen mit formalen Berechnungen z.B. Einführungsveranstaltungen Logik oder Mathematik
—
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
In einigen Studiengängen der Technischen Fakultät kann die Modulprü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 aus Übungsaufgaben, die veranstaltungsbezogen gestellt werden. Die Teilnehmer stellen im Rahmen mehrerer Vorträge oder Diskussionsleitungen (i.d.R. 6 pro Semester; Dauer jeweils ca. 15-25 min.) zuvor vom Kursanbieter ausgewählte Übungsaufgaben vor. Die Übungsaufgaben werden in der Regel wöchentlich ausgegeben.
Bei diesem Modul handelt es sich um ein eingestelltes Angebot. Ein entsprechendes Angebot, um dieses Modul abzuschließen, wurde bis einschließlich Sommersemester 2017 vorgehalten.
Bisheriger Angebotsturnus war jedes Wintersemster.
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. | zwei Semester | Wahlpflicht | |
Bioinformatik und Genomforschung / Bachelor of Science [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015] | 1-Fach (fw) | 5. | zwei Semester | Wahlpflicht | |
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. | zwei Semester | Wahlpflicht |
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. | zwei Semester | Wahlpflicht |
Informatik / Bachelor [FsB vom 31.08.2012 mit Berichtigung vom 04.11.2013 und Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015] | Nebenfach (fw) | 5. | zwei Semester | Wahlpflicht | |
Intelligente Systeme / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020] | 1. | zwei Semester | Wahlpflicht | ||
Intelligente Systeme / Master of Science [FsB vom 17.12.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und Berichtigung vom 17.11.2014] | 1. | zwei Semester | Wahlpflicht | ||
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. | zwei Semester | Wahlpflicht | |
Kognitive Informatik / Bachelor of Science [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015, 17.08.2015 und Berichtigung vom 01.12.2015] | 1-Fach (fw) | 5. | zwei Semester | Wahlpflicht | |
Medieninformatik und Gestaltung / Bachelor of Arts | Bachelor of Science [FsB vom 31.08.2012 mit Änderungen vom 15.04.2013, 01.04.2014, 15.10.2014, 02.03.2015 und 01.12.2015] | 1-Fach (fw) | 3. o. 5. | zwei Semester | Wahlpflicht |
In diesem Modul kann eine automatische Vollständigkeitsprüfung vom System durchgeführt werden.