Logik 2
Winter
(engl. Logic 2 )
Modulnummer: FIN-INF-0 |
|
Kürzel Logik2 |
CP 10 |
Semester Winter |
Fachsem. ab 4. |
Dauer 1 Semester |
Sprache deutsch |
Niveau Bachelor,Master |
| Link zum LSF: | LSF |
| Zugang beschränkt: | true |
| Verantwortung: | Fabian Neuhaus |
| Dozent:in: | Fabian Neuhaus |
| Lehrveranstaltungen: | Vorlesung Logik 2 Übung Logik 2 |
| Verwendbarkeit: | - B.Sc. INF: Informatik - Wahlpflicht - B.Sc. INF: Informatik Wahlpflicht (SPO 2027) - B.Sc. CV: Informatik - Wahlpflicht - B.Sc. CV: Computervisualistik Wahlpflicht (SPO 2027) - B.Sc. INGINF: Informatik - Wahlpflicht - B.Sc. INGINF: Informatik Wahlpflicht (SPO 2027) - B.Sc. WIF: Verstehen und Gestalten - Wahlpflicht - B.Sc. WIF: Informatik Wahlpflicht (SPO 2027) - B.Sc. INF (bilingual): Informatik - Wahlpflicht - B.Sc. INF (bilingual): Informatik Wahlpflicht (SPO 2027) - M.Sc. INF: Informatik - M.Sc. INF: Informatik Wahlpflicht (SPO 2027) - M.Sc. INGINF: Informatik - M.Sc. WIF: Informatik - M.Sc. WIF: Informatik Wahlpflicht (SPO 2027) - M.Sc. DKE: Fundamentals of Data Science - M.Sc. DE: Grundlagen Informatik - M.Sc. DE: Informatik Grundlagen (SPO 2027) - M.Sc. VC: Computer Science - M.Sc. VC: Computer Science (SPO 2027) |
Angestrebte Lernergebnisse:
- Anwendungen von ausgewählten Erweiterungen der klassischen Logik zur Wissensrepräsentation
- Anwendungen von ausgewählten nicht-klassischen Logiken zur Wissensrepräsentation
- Anwendung von Beweiskalkülen für Logiken
- Verstehen von fortgeschrittenen semantischen Methoden für Logiken
- Verstehen von metalogischen Beweisen und die Fähigkeit einfache metalogische Beweise selbst zu führen
Inhalt:
Die Veranstaltung baut auf der Pflichtveranstaltung Logik auf, in der die klassische Aussagen- und Prädikatenlogik eingeführt wird. In Logik 2 werden einerseits weiterführende Themen der klassischen Logik behandelt (u.a. Korrektheits-, Vollständigkeits- und Kompaktheitsbeweise). Darüber hinaus werden Erweiterungen der klassischen Logik sowie nichtklassische Logiken behandelt, z.B. Modallogik, Temporallogik, epistemische Logik, Konditionallogik, mehrwertige Logiken und Logik höherer Stufe.
Arbeitsaufwand:
- Präsenzzeiten: 14 X 4h = 56h
- selbständige Arbeit = 244h
(Vorbereiten der Vorlesung,
Lösen Übungsaufgaben,
Vorbereitung Präsentation)
| Prüfungsvorleistungen: | Studien-/Prüfungsleistungen: | Lehrform / SWS: |
|
Mündliche Prüfung
|
Übung 2 SWS
Vorlesung 2 SWS
|
| Voraussetzungen nach Prüfungsordnung: | Empfohlene Voraussetzungen: |
|
keine
|
Erfolgreicher Abschluss des Modul Logik bzw. fundiertes Wissen im Bereich der Themen des Moduls"Logik.
|
| Medienformen: | Literatur: |
|
|
|
Hinweise:
Anmeldung via E-Learning-Plattform