|
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)5 ECTS (englische Bezeichnung: Logic-based knowldege representation for mathematic/technical knowledge)
(Prüfungsordnungsmodul: Wahlpflichtbereich Informatik)
Modulverantwortliche/r: Michael Kohlhase Lehrende:
Michael Kohlhase
Start semester: |
SS 2018 | Duration: |
1 semester | Cycle: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Language: |
Deutsch oder Englisch |
Lectures:
Inhalt:
Grundlagen der Mathematik, Modulare Formalisierung in Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten, Formalisierung von Logiksprachen in Metalogiken.
Lernziele und Kompetenzen:
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science): ab 1. Semester
(Po-Vers. 2013 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Wahlpflichtbereich Informatik | Wahlpflichtbereich Informatik)
Dieses Modul ist daneben auch in den Studienfächern "Informatik (Bachelor of Arts (2 Fächer))", "Informatik (Bachelor of Science)", "Informatik (Master of Science)", "Mathematik (Bachelor of Science)" verwendbar. Details
Studien-/Prüfungsleistungen:
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (Prüfungsnummer: 221236)
(englischer Titel: Logic-based knowldege representation for mathematic/technical knowledge)
- Prüfungsleistung, mehrteilige Prüfung, benotet, 5 ECTS
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Modulnote setzt sich zu 50% aus dem Ergebnis einer 20-minütigen mündlichen Prüfung am Semesterende und zu 50% aus der Bewertung der Leistungen aus dem Übungsbetrieb zusammen.
- Prüfungssprache: Deutsch
- Erstablegung: SS 2018, 1. Wdh.: WS 2018/2019
1. Prüfer: | Michael Kohlhase |
|
|
|