Attention: This page shows a discontinued module offer.
Discontinued
5 Credit points
For information on the duration of the modul, refer to the courses of study in which the module is used.
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.
Module structure: 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.
| Degree programme | Version | Profile | Recommended start 3 | Duration | Mandatory option 4 |
|---|---|---|---|---|---|
| Bioinformatics and Genome Research / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021] | Bachelor with One Core Subject (Academic) | 5. | two semesters | Compulsory optional subject | |
| Bioinformatics and Genome Research / 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] | Bachelor with One Core Subject (Academic) | 5. | two semesters | Compulsory optional subject | |
| Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] | Minor Subject (Academic), 60 CPs | Practical Informatics | 5. | two semesters | Compulsory optional subject |
| Informatics / Bachelor [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 15.11.2019 und 16.08.2021] | Minor Subject (Academic), 60 CPs | Technical Informatics | 5. | two semesters | Compulsory optional subject |
| Informatics / 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] | Minor Subject (Academic), 60 CPs | 5. | two semesters | Compulsory optional subject | |
| Intelligent Systems / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020] | 1. | two semesters | Compulsory optional subject | ||
| Intelligent Systems / 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. | two semesters | Compulsory optional subject | ||
| Cognitive Informatics / Bachelor of Science [FsB vom 30.09.2016 mit Änderungen vom 15.09.2017, 02.05.2018, 01.07.2019 und 16.08.2021] | Bachelor with One Core Subject (Academic) | 5. | two semesters | Compulsory optional subject | |
| Cognitive Informatics / 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] | Bachelor with One Core Subject (Academic) | 5. | two semesters | Compulsory optional subject | |
| Media Informatics and Design / 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] | Bachelor with One Core Subject (Academic) | 3. o. 5. | two semesters | Compulsory optional subject |
The system can perform an automatic check for completeness for this module.
Intelligent Systems / Master of Science [FsB vom 27.07.2018 mit Änderung vom 04.06.2020]