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

Lehrveranstaltungen:

• • Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen
    (Vorlesung mit Übung, 4 SWS, Michael Kohlhase et al., Mi, 16:15 - 17:45, 00.131-128; Do, 10:15 - 11:45, 01.151-128)

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.
  

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:

1. Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science): ab 1. Semester
   (Po-Vers. 2013 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Wahlpflichtbereich Informatik | Wahlpflichtbereich Informatik)
2. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Künstliche Intelligenz)
3. Informatik (Bachelor of Arts (2 Fächer))
   (Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Künstliche Intelligenz)
4. Informatik (Bachelor of Science)
   (Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz)
5. Informatik (Bachelor of Science)
   (Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz)
6. Informatik (Master of Science)
   (Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsrichtung Künstliche Intelligenz)
7. Mathematik (Bachelor of Science)
   (Po-Vers. 2015w | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Künstliche Intelligenz)

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.

Prüfungssprache: Deutsch

Erstablegung: SS 2018, 1. Wdh.: WS 2018/2019

1. Prüfer:

Michael Kohlhase