|
|
Prüfer: Schröder, Lutz (Prüfernummer: 100190)
-
1995 Projekt
(10 ECTS)
-
-
- UnivIS-Modul:
-
-
Projekt angewandte Wissensrepräsentation (KR-Projekt)
- Bezeichnung:
-
- Projekt angewandte Wissensrepräsentation
- Prüfungstyp:
-
- Projekt-/Praktikumsbericht
- Lehrveranstaltungen:
-
-
30701 Grundlagen der Logik und Logikprogrammierung (Klausur)
(5 ECTS)
-
-
- UnivIS-Modul:
-
-
Grundlagen der Logik und Logikprogrammierung (GLoLoP)
- Bezeichnung:
-
- Grundlagen der Logik und Logikprogrammierung
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
30701 Grundlagen der Logik und Logikprogrammierung (Klausur)
(5 ECTS, Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Grundlagen der Logik und Logikprogrammierung (GLoLoP)
- Bezeichnung:
-
- Grundlagen der Logik und Logikprogrammierung
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
31201 Komplexität von Algorithmen (Klausur)
(5 ECTS, Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Komplexität von Algorithmen
- Bezeichnung:
-
- Komplexität von Algorithmen (Klausur)_
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
31202 Komplexität von Algorithmen (Übungsleistung)
(2.5 ECTS, Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Komplexität von Algorithmen
- Bezeichnung:
-
- Komplexität von Algorithmen (Übungsschein)_
- Prüfungstyp:
-
- Leistungsschein
- Lehrveranstaltungen:
-
-
31901 Praktikum Informatik
(10 ECTS)
-
-
- UnivIS-Modul:
-
-
Praktikum Wissensrepräsentation (KR-Lab)
- Bezeichnung:
-
- Praktikumsbericht KR-Lab
- Prüfungstyp:
-
- Projekt-/Praktikumsbericht
- Lehrveranstaltungen:
-
-
32001 Theoretische Informatik für Lehramtsstudierende (Klausur)
(2.5 ECTS, Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Theoretische Informatik für Lehramtsstudierende (TIL)
- Bezeichnung:
-
- Theoretische Informatik für Lehramtsstudierende
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
32002 Theoretische Informatik für Lehramtsstudierende (Übungsschein)
(2.5 ECTS, Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Theoretische Informatik für Lehramtsstudierende (TIL)
- Bezeichnung:
-
- Theoretische Informatik für Lehramtsstudierende
- Prüfungstyp:
-
- Übungsleistung
- Lehrveranstaltungen:
-
-
32411 Seminar für Informatik-Studierende
(5 ECTS)
-
-
- UnivIS-Modul:
-
-
Seminar Curry-Howard Korrespondenz (SemCurry)
- Bezeichnung:
-
- Seminar Curry-Howard Korrespondenz
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37012 Datenbanksysteme (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Logische Grundlagen der Datenbanktheorie (LGruDat)
- Bezeichnung:
-
- Logische Grundlagen der Datenbanktheorie
- Prüfungstyp:
-
- mündliche Prüfung
- Lehrveranstaltungen:
-
-
37072 Künstliche Intelligenz (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Ontologien im Semantic Web (OntoSWeb)
- Bezeichnung:
-
- Ontologien im Semantic Web
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Ontologien im Semantic Web (OntoSWeb)
- Bezeichnung:
-
- Ontologien im Semantic Web
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Logische Grundlagen der Datenbanktheorie (LGruDat)
- Bezeichnung:
-
- Logische Grundlagen der Datenbanktheorie
- Prüfungstyp:
-
- mündliche Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Praktische Semantik von Programmiersprachen (SemProg)
- Bezeichnung:
-
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen
- Prüfungstyp:
-
- mündliche Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Kommunikation und parallele Prozesse (CommProc)
- Bezeichnung:
-
- Kommunikation und Parallele Prozesse
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38012 Datenbanksysteme (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Logische Grundlagen der Datenbanktheorie (LGruDat)
- Bezeichnung:
-
- Logische Grundlagen der Datenbanktheorie
- Prüfungstyp:
-
- mündliche Prüfung
- Lehrveranstaltungen:
-
-
38072 Künstliche Intelligenz (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Ontologien im Semantic Web (OntoSWeb)
- Bezeichnung:
-
- Ontologien im Semantic Web
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Ontologien im Semantic Web (OntoSWeb)
- Bezeichnung:
-
- Ontologien im Semantic Web
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Logische Grundlagen der Datenbanktheorie (LGruDat)
- Bezeichnung:
-
- Logische Grundlagen der Datenbanktheorie
- Prüfungstyp:
-
- mündliche Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Praktische Semantik von Programmiersprachen (SemProg)
- Bezeichnung:
-
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen
- Prüfungstyp:
-
- mündliche Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom SS 2013)
-
-
- UnivIS-Modul:
-
-
Kommunikation und parallele Prozesse (CommProc)
- Bezeichnung:
-
- Kommunikation und Parallele Prozesse
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38181 Seminar
(5 ECTS)
-
-
- UnivIS-Modul:
-
-
Seminar Curry-Howard Korrespondenz (SemCurry)
- Bezeichnung:
-
- Seminar Curry-Howard Korrespondenz
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|