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)

( 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:
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) (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:

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:
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) (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:

UnivIS ist ein Produkt der Config eG, Buckenhof