|
Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (KRMT)5 ECTS (englische Bezeichnung: Logic-based knowldege representation for mathematic/technical knowledge)
Modulverantwortliche/r: Michael Kohlhase Lehrende:
Michael Kohlhase
Startsemester: |
SS 2020 | Dauer: |
1 Semester | Turnus: |
jährlich (SS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
90 Std. | Sprache: |
Deutsch oder 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: Das Modul ist im Kontext der folgenden Studienfächer/Vertiefungsrichtungen verwendbar:
- Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science)
(Po-Vers. 2013 | TechFak | Computational Engineering (Rechnergestütztes Ingenieurwesen) (Master of Science) | Gesamtkonto | Wahlpflichtbereich Informatik | Wahlpflichtbereich Informatik | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2010 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsmodul Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
- Informatik (Bachelor of Arts (2 Fächer))
(Po-Vers. 2013 | TechFak | Informatik (Bachelor of Arts (2 Fächer)) | Vertiefung Informatik I und II | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
- Informatik (Bachelor of Science)
(Po-Vers. 2009s | TechFak | Informatik (Bachelor of Science) | Wahlpflichtbereich (5. und 6. Semester) | Wahlpflichtmodule | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
- 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)
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Wahlpflichtbereich | Säule der softwareorientierten Vertiefungsrichtungen | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
- Mathematik (Bachelor of Science)
(Po-Vers. | NatFak | Mathematik (Bachelor of Science) | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
- Mathematik (Bachelor of Science)
(Po-Vers. 2019w | NatFak | Mathematik (Bachelor of Science) | weitere Module der Bachelorprüfung | Module des Nebenfachs | Nebenfach Informatik | Vertiefungsmodule | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
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
- Erstablegung: SS 2020, 1. Wdh.: WS 2020/2021
1. Prüfer: | Michael Kohlhase, | 2. Prüfer: | Florian Rabe |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|