|
Prüfer: Schröder, Lutz (Prüfernummer: 100190)
-
1995 Projekt
(10 ECTS, Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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, Wiederholungsprüfung vom WS 2013/2014)
-
-
- UnivIS-Modul:
-
-
Grundlagen der Logik und Logikprogrammierung (GLoLoP)
- Bezeichnung:
-
- Grundlagen der Logik und Logikprogrammierung
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
31211 Theorie der Programmierung
(7.5 ECTS)
-
-
- UnivIS-Modul:
-
-
Theorie der Programmierung (ThProg)
- Bezeichnung:
-
- Theorie des Programmierens (Klausur)
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
31901 Praktikum Informatik
(10 ECTS, Wiederholungsprüfung vom WS 2013/2014)
-
-
- UnivIS-Modul:
-
-
Praktikum Wissensrepräsentation (KR-Lab)
- Bezeichnung:
-
- Praktikumsbericht KR-Lab
- Prüfungstyp:
-
- Projekt-/Praktikumsbericht
- Lehrveranstaltungen:
-
-
32411 Seminar für Informatik-Studierende
(5 ECTS, Wiederholungsprüfung vom WS 2013/2014)
-
-
- UnivIS-Modul:
-
-
Seminar Curry-Howard Korrespondenz (SemCurry)
- Bezeichnung:
-
- Seminar Curry-Howard Korrespondenz
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37012 Datenbanksysteme (7,5 ECTS)
(Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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)
(Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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:
-
-
Termersetzungssysteme (TErSys)
- Bezeichnung:
-
- Prüfung Termersetzungssysteme
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Praktische Semantik von Programmiersprachen (SemProg)
- Bezeichnung:
-
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Kommunikation und parallele Prozesse (CommProc)
- Bezeichnung:
-
- Kommunikation und Parallele Prozesse
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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 WS 2013/2014)
-
-
- UnivIS-Modul:
-
-
Ontologien im Semantic Web (OntoSWeb)
- Bezeichnung:
-
- Ontologien im Semantic Web
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38012 Datenbanksysteme (7,5 ECTS)
(Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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)
(Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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:
-
-
Termersetzungssysteme (TErSys)
- Bezeichnung:
-
- Prüfung Termersetzungssysteme
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Praktische Semantik von Programmiersprachen (SemProg)
- Bezeichnung:
-
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
-
-
- UnivIS-Modul:
-
-
Kommunikation und parallele Prozesse (CommProc)
- Bezeichnung:
-
- Kommunikation und Parallele Prozesse
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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 WS 2013/2014)
-
-
- UnivIS-Modul:
-
-
Ontologien im Semantic Web (OntoSWeb)
- Bezeichnung:
-
- Ontologien im Semantic Web
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38181 Seminar
(5 ECTS, Wiederholungsprüfung vom WS 2013/2014)
-
-
- 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 |
|
|