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

  
 
 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)

Lecturers
Prof. Dr. Michael Kohlhase, PD Dr. Florian Rabe

Details
Vorlesung mit Übung
Online/Präsenz
4 cred.h, ECTS studies, ECTS credits: 5
für FAU Scientia Gaststudierende zugelassen, Sprache Deutsch und Englisch, * The course will be in presence, but streamed at https://fau.zoom.us/j/65839665250 and recorded at https://www.fau.tv/course/id/3065
Time and place: Tue 10:15 - 11:45, 02.133-113; Wed 16:15 - 17:45, 02.133-113; comments on time and place: We'll try to do the course in person. If necessary, any zoom links will be announced here.

Fields of study
WPF INF-BA ab 6 (ECTS-Credits: 5)
WPF INF-MA ab 2 (ECTS-Credits: 5)
WPF AI-MA ab 1 (ECTS-Credits: 5)

Prerequisites / Organisational information
We'll try to do the course in person. If necessary, any zoom links will be announced here.

Contents
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.

ECTS information:
Title:
Logic-Based Reprsentation for Mathematical/Technical Knowledge

Credits: 5

Contents
Foundations of mathematics, modular formalizations in theory graphs, narrative structures in informal mathematical/technical documents, and the formalization of logical languages in meta-logical frameworks.

Additional information
Expected participants: 15, Maximale Teilnehmerzahl: 20
www: http://kwarc.info/courses/KRMT

Verwendung in folgenden UnivIS-Modulen
Startsemester SS 2022:
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)

Department: Professur für Wissensrepräsentation und -verarbeitung
UnivIS is a product of Config eG, Buckenhof