|
Prüfer: Schröder, Lutz (Prüfernummer: 100190)
-
( ECTS, Wiederholungsprüfung vom SS 2014)
-
-
- UnivIS-Modul:
-
-
Theorie der Programmierung (ThProg)
- Bezeichnung:
-
- Theorie des Programmierens (Klausur)
- Prüfungstyp:
-
- Klausur
- Lehrveranstaltungen:
-
-
30711 Grundlagen der Logik in der Informatik (Klausur)
(5 ECTS)
-
-
- UnivIS-Modul:
-
-
Grundlagen der Logik für Informatiker (GLoIn)
- Bezeichnung:
-
- Grundlagen der Logik für Informatiker
- Prüfungstyp:
-
- Klausur
- 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)
(Wiederholungsprüfung vom SS 2014)
-
-
- UnivIS-Modul:
-
-
Termersetzungssysteme (TErSys)
- Bezeichnung:
-
- Prüfung Termersetzungssysteme
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
37142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom SS 2014)
-
-
- 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 SS 2014)
-
-
- UnivIS-Modul:
-
-
Praktische Semantik von Programmiersprachen (SemProg)
- Bezeichnung:
-
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen
- Prüfungstyp:
-
- mehrteilige 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)
(Wiederholungsprüfung vom SS 2014)
-
-
- UnivIS-Modul:
-
-
Termersetzungssysteme (TErSys)
- Bezeichnung:
-
- Prüfung Termersetzungssysteme
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
-
38142 Theoretische Informatik (7,5 ECTS)
(Wiederholungsprüfung vom SS 2014)
-
-
- 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 SS 2014)
-
-
- UnivIS-Modul:
-
-
Praktische Semantik von Programmiersprachen (SemProg)
- Bezeichnung:
-
- Mündliche Prüfung zu Praktische Semantik von Programmiersprachen
- Prüfungstyp:
-
- mehrteilige Prüfung
- Lehrveranstaltungen:
-
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|