UnivIS
Information system of Friedrich-Alexander-University Erlangen-Nuremberg © Config eG 
FAU Logo
  Collection/class schedule    module collection Home  |  Legal Matters  |  Contact  |  Help    
search:      semester:   
 
 Layout
 
printable version

  
 
Module Description Sheet (PDF)

  
 
 Also in UnivIS
 
course list

lecture directory

  
 
events calendar

job offers

furniture and equipment offers

  
 
Artificial Intelligence (Master of Science) >>

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)

Modulverantwortliche/r: Michael Kohlhase
Lehrende: Michael Kohlhase

Start semester: SS 2022Duration: 1 semesterCycle: jährlich (SS)
Präsenzzeit: 60 Std.Eigenstudium: 90 Std.Language: Deutsch und Englisch

Lectures:

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:

  1. Artificial Intelligence (Master of Science)
    (Po-Vers. 2021s | TechFak | Artificial Intelligence (Master of Science) | Gesamtkonto | Wahlpflichtmodulbereich | Symbolic Artificial Intelligence | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
Dieses Modul ist daneben auch in den Studienfächern "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)", "Informatik (Master of Science)", "Mathematik (Bachelor of Science)" verwendbar. Details

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

UnivIS is a product of Config eG, Buckenhof