UnivIS
Informationssystem der Friedrich-Alexander-Universität Erlangen-Nürnberg © Config eG 
FAU Logo
  Sammlung/Stundenplan    Modulbelegung Home  |  Rechtliches  |  Kontakt  |  Hilfe    
Suche:      Semester:   
 

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:
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:
Termersetzungssysteme (TErSys)
Bezeichnung:
Prüfung Termersetzungssysteme
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:
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:
Termersetzungssysteme (TErSys)
Bezeichnung:
Prüfung Termersetzungssysteme
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