Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen (Prüfungsordnungsmodul)5 ECTS
(englische Bezeichnung: Logic-based knowldege representation for mathematic/technical knowledge)

Die Beschreibung eines Prüfungsordnungsmoduls enthält allgemeine Angaben zur Verwendbarkeit und zu den Rahmenbedingungen für Prüfungen, so wie sie in den Prüfungsordnungen festgelegt sind. Zusätzlich kann eine allgemeine Modulbeschreibung, die übergreifend für alle konkreten (UnivIS-)Module gilt, enthalten sein. Die konkreten Modulbeschreibungen mit Angaben zu den Lehrveranstaltungen und Prüfungsdetails sind unter den zugeordneten UnivIS-Modulen zu finden.

Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:

1. 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)
2. 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)
3. 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)
4. 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)
5. Informatik (Bachelor of Science)
   (Po-Vers. 2022w | TechFak | Informatik (Bachelor of Science) | Gesamtkonto | Wahlpflichtbereich (Wahlpflichtmodule aus mind. 2 Vertiefungsrichtungen) | Vertiefungsrichtung Künstliche Intelligenz | Logik-basierte Wissensrepräsentation für mathematisch/technisches Wissen)
6. 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)
7. 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)
8. 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)
(englische Bezeichnung: Logic-based knowldege representation for mathematic/technical knowledge)

Prüfungsleistung, mehrteilige Prüfung, Zehntelnoten, 5 Leistungspunkte

Anteil an der Berechnung der Modulnote: 100.0 %

UnivIS-Module:

UnivIS-Module im vergangenen Semester (SS 2022):

• Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen (5 ECTS, Kohlhase, M.)