|
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)5 ECTS (englische Bezeichnung: Logic-based knowldege representation for mathematic/technical knowledge)
(Prüfungsordnungsmodul: Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
Modulverantwortliche/r: Michael Kohlhase Lehrende:
Michael Kohlhase
Startsemester: |
SS 2021 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch und Englisch |
Lehrveranstaltungen:
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:
- Informatik (Bachelor of Science)
(Po-Vers. 2009w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
Dieses Modul ist daneben auch in den Studienfächern "Computational Engineering (Master of Science)", "Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)", "Informatik (Bachelor of Arts (2 Fächer))", "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.
gemäß Corona-Satzung wird als Alternative zur mündlichen Prüfungs eine 20-minütige digitale Fernprüfung mittels ZOOM festgelegt
- Prüfungssprache: Deutsch und Englisch
- Erstablegung: SS 2021, 1. Wdh.: WS 2021/2022
1. Prüfer: | Michael Kohlhase, | 2. Prüfer: | Florian Rabe |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|