|
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)
- Dozentinnen/Dozenten
- Prof. Dr. Michael Kohlhase, PD Dr. Florian Rabe
- Angaben
- Vorlesung mit Übung
4 SWS, ECTS-Studium, ECTS-Credits: 5, Sprache Deutsch und Englisch, * Die Vorlesung KRMT wird (fast) wie geplant stattfinden. Details auf https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation *
Zeit und Ort: Di, Mo 12:15 - 13:45, 02.133-113; Bemerkung zu Zeit und Ort: Die Vorlesung KRMT wird (fast) wie geplant stattfinden. Details auf https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation
- Studienfächer / Studienrichtungen
- WPF INF-BA ab 6 (ECTS-Credits: 5)
WPF INF-MA ab 2 (ECTS-Credits: 5)
- Voraussetzungen / Organisatorisches
- Die Vorlesung KRMT wird (fast) wie geplant stattfinden. Details auf https://fsi.cs.fau.de/forum/150-Logikbasierte-Wissensrepraesentation
- Inhalt
- Grundlagen der Mathematik, Modulare Formalisierung in Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten, Formalisierung von Logiksprachen in Metalogiken.
Lernziele und Kompetenzen:
- ECTS-Informationen:
- Credits: 5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 15, Maximale Teilnehmerzahl: 20
www: http://kwarc.info/courses/KRMT
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2021:
- Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)
- Institution: Professur für Wissensrepräsentation und -verarbeitung
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|