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)
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:
Logische Grundlagen der Datenbanktheorie (LGruDat)
Bezeichnung:
Logische Grundlagen der Datenbanktheorie
Prüfungstyp:
mündliche 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 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:
Logische Grundlagen der Datenbanktheorie (LGruDat)
Bezeichnung:
Logische Grundlagen der Datenbanktheorie
Prüfungstyp:
mündliche 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 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