|
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)
- Lecturers
- Prof. Dr. Michael Kohlhase, Dennis Müller, M. Sc.
- Details
- Vorlesung mit Übung
4 cred.h, ECTS studies, ECTS credits: 5, Sprache Deutsch oder Englisch
Time and place: Wed 16:15 - 17:45, 00.131-128; Thu 10:15 - 11:45, 01.151-128
- Fields of study
- WPF INF-BA ab 6 (ECTS-Credits: 5)
WPF INF-MA ab 2 (ECTS-Credits: 5)
- 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:
- Credits: 5
- Additional information
- Expected participants: 15, Maximale Teilnehmerzahl: 20
www: http://kwarc.info/courses/KRMT
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2018:
- Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)
- Department: Professur für Wissensrepräsentation und -verarbeitung
|
|
|