Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)5 ECTS
(englische Bezeichnung: Logic-based knowldege representation for mathematic/technical knowledge)
(Prüfungsordnungsmodul: Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)

Lehrveranstaltungen:

• • Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
    (Vorlesung mit Übung, 4 SWS, Michael Kohlhase et al., Di, 10:15 - 11:45, 02.133-113; Mi, 16:15 - 17:45, 02.133-113; * We'll try to do the course in person. If necessary, any zoom links will be announced here. *)

Inhalt:

Grundlagen der Mathematik, Modulare Formalisierung in Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten, Formalisierung von Logiksprachen in Metalogiken.

Lernziele und Kompetenzen:

• Fachkompetenz
  

  • Wissen
    Die Studierenden beherrschen moderne, sehr expressive Formalismen (Syntax, Semantik, Beweistheorie) zur Repräsentation komplexen Wissens. Sie können diese selbst in Metalogiken repräsentieren und eigeschränkt neue Formalismen entwickeln.
    

  • Anwenden
    Die Studierenden formalisieren komplexe mathematisch/technische Sachverhalte in jeweils geeigneten Meta-Sprachen und setzen diese durch Interprätationsabbildungen in Verbindung.
    

  • Analysieren
    Die Studierenden analysieren die innere Struktur komplexer Objekte, Konzepte, und Modelle. Sie wählen für eine zu repräsentierende mathematisch/technische Domäne geeignete Formalismen aus.
    

• Lern- bzw. Methodenkompetenz Die Studierenden erarbeiten selbständig formale Repräsentationen und Beweise.

• Sozialkompetenz Die Studierenden arbeiten in Kleingruppen erfolgreich zusammen.
  

Studien-/Prüfungsleistungen:

Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (Prüfungsnummer: 221236)

(englischer Titel: Logic-based knowldege representation for mathematic/technical knowledge)

Prüfungsleistung, mehrteilige Prüfung, benotet, 5 ECTS

Anteil an der Berechnung der Modulnote: 100.0 %

weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 20-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Bewertung der Leistungen aus dem Übungsbetrieb zusammen.
gemäß Corona-Satzung wird als Alternative zur mündlichen Prüfungs eine 20-minütige digitale Fernprüfung mittels ZOOM festgelegt

Prüfungssprache: Deutsch und Englisch

Erstablegung: SS 2022, 1. Wdh.: WS 2022/2023

1. Prüfer:

Michael Kohlhase,

2. Prüfer:

Florian Rabe