Lecture

Information system of Friedrich-Alexander-University Erlangen-Nuremberg

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

Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) >>

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 10:15 - 11:45, Übung 3 / 01.252-128; Thu 14:15 - 15:45, 02.133-113

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:

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:

Credits: 5

Additional information

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

Verwendung in folgenden UnivIS-Modulen

Startsemester SS 2019:: 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