Prüfer: Milius, Stefan (Prüfernummer: 100294)

34501 Klausur Theoretische Informatik (5 ECTS)

UnivIS-Modul:

Theoretische Informatik für Wirtschaftsinformatik und Lehramtsstudierende (ThInfWiL)

Bezeichnung:

Theoretische Informatik für Wirtschaftsinformatik und Lehramt

Prüfungstyp:

Klausur

Lehrveranstaltungen:

• Theoretische Informatik für Wirtschaftsinformatik und Lehramt
• Übung zu Theoretische Informatik für Wirtschaftsinformatik und Lehramt

37142 Theoretische Informatik (7,5 ECTS) (Wiederholungsprüfung vom WS 2013/2014)

UnivIS-Modul:

Formale Methoden der Softwareentwicklung (FMSoft)

Bezeichnung:

Formale Methoden der Softwareentwicklung

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Formale Methoden der Softwareentwicklung

37142 Theoretische Informatik (7,5 ECTS) (Wiederholungsprüfung vom WS 2013/2014)

UnivIS-Modul:

Algebra des Programmierens (AlgProg)

Bezeichnung:

Algebra des Programmierens (Vorlesung mit Übung)

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Algebra des Programmierens

38142 Theoretische Informatik (7,5 ECTS) (Wiederholungsprüfung vom WS 2013/2014)

UnivIS-Modul:

Formale Methoden der Softwareentwicklung (FMSoft)

Bezeichnung:

Formale Methoden der Softwareentwicklung

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Formale Methoden der Softwareentwicklung

38142 Theoretische Informatik (7,5 ECTS) (Wiederholungsprüfung vom WS 2013/2014)

UnivIS-Modul:

Algebra des Programmierens (AlgProg)

Bezeichnung:

Algebra des Programmierens (Vorlesung mit Übung)

Prüfungstyp:

mündliche Prüfung

Lehrveranstaltungen:

• Algebra des Programmierens