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:

• Projekt angewandte Wissensrepräsentation

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:

• Grundlagen der Logik und Logikprogrammierung
• Übungen zu Grundlagen der Logik und Logikprogrammierung

31211 Theorie der Programmierung (7.5 ECTS)

UnivIS-Modul:

Theorie der Programmierung (ThProg)

Bezeichnung:

Theorie des Programmierens (Klausur)

Prüfungstyp:

Klausur

Lehrveranstaltungen:

• Theorie der Programmierung
• Übungen zu Theorie der Programmierung

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:

• Praktikum Modellierung und formale Verifikation mit SCADE

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:

• Seminar Curry-Howard Korrespondenz

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:

• Logische Grundlagen der Datenbanktheorie

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:

• Ontologien im Semantic Web

37142 Theoretische Informatik (7,5 ECTS)

UnivIS-Modul:

Termersetzungssysteme (TErSys)

Bezeichnung:

Prüfung Termersetzungssysteme

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• Termersetzungssysteme

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:

• Praktische Semantik von Programmiersprachen

37142 Theoretische Informatik (7,5 ECTS)

UnivIS-Modul:

Kommunikation und parallele Prozesse (CommProc)

Bezeichnung:

Kommunikation und Parallele Prozesse

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• Kommunikation und Parallele Prozesse

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:

• Logische Grundlagen der Datenbanktheorie

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:

• Ontologien im Semantic Web

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:

• Logische Grundlagen der Datenbanktheorie

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:

• Ontologien im Semantic Web

38142 Theoretische Informatik (7,5 ECTS)

UnivIS-Modul:

Termersetzungssysteme (TErSys)

Bezeichnung:

Prüfung Termersetzungssysteme

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• Termersetzungssysteme

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:

• Praktische Semantik von Programmiersprachen

38142 Theoretische Informatik (7,5 ECTS)

UnivIS-Modul:

Kommunikation und parallele Prozesse (CommProc)

Bezeichnung:

Kommunikation und Parallele Prozesse

Prüfungstyp:

mehrteilige Prüfung

Lehrveranstaltungen:

• Kommunikation und Parallele Prozesse

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:

• Logische Grundlagen der Datenbanktheorie

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:

• Ontologien im Semantic Web

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:

• Seminar Curry-Howard Korrespondenz