|
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:
- 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
|
|
|