Die Suche ergab 124 Treffer

von Markus Tasch
18. Okt 2015 11:31
Forum: Archiv
Thema: 1.2 STRASSE num-wert
Antworten: 2
Zugriffe: 203

Re: 1.2 STRASSE num-wert

Der Hinweis rät ihnen selbst eine Funktion \text{num-Wert} : \text{Wert} \to \mathbb{N} zu definieren und nicht anzunehmen, dass eine solche Funktion definiert ist. D.h., dass es ihnen überlassen ist welche Werte Sie den Karten zuordnen. Die Funktion \text{num-Wert} ist damit natürlich Teil der Lösu...
von Markus Tasch
16. Okt 2015 15:08
Forum: Archiv
Thema: Klausurergebnisse?
Antworten: 6
Zugriffe: 683

Re: Klausurergebnisse?

Sobald der Termin zur Einsicht feststeht geben wir den Termin sowohl hier im Forum als auch auf der Website bekannt.
von Markus Tasch
10. Okt 2015 10:51
Forum: Archiv
Thema: Klausurergebnisse?
Antworten: 6
Zugriffe: 683

Re: Klausurergebnisse?

Zur Zeit sind wir noch dabei die Klausur zu korrigieren. Denken Sie daran, dass Sie, egal ob sie die Prüfung bestanden haben, nach meinem Wissen zumindest 30 CP aus dem Master vorziehen können.
von Markus Tasch
14. Sep 2015 10:47
Forum: Jobs
Thema: Tutor Modellierung, Spezifikation & Semantik(FoC Nachfolger)
Antworten: 0
Zugriffe: 145

Tutor Modellierung, Spezifikation & Semantik(FoC Nachfolger)

Hallo, wir suchen aktuell Tutoren für die Vorlesung "Modellierung, Spezifikation und Semantik" im kommenden WS 15/16 (die Vorlesung ist der Nachfolger von "Einführung in Foundations of Computing" in der neuen Prüfungsordnung 2015). Als Voraussetzung solltet ihr die Vorlesung "Einführung in Foundatio...

Zur erweiterten Suche