Neuigkeiten
5. November: 3ter Klausurtermin
Siehe Evaluation. Dies ist der letzte Termin über den alten Stoff. (Siehe WS2010.)
16. März: 2er Klausurtermin verschoben
Siehe Evaluation
18. Februar: 2er Klausurtermin
Siehe Evaluation
26. Jänner: Fehler auf Übungsangabe
Der
[] Fall der Definition von concat muss [] -> [] lauten anstatt [] -> [[]]. (Dank an Lukas Aichbauer für den Hinweis.)11. November: 1. Test verschoben
Um zu vermeiden, dass in der selben Woche sowohl in LICS, als auch in FP ein Test stattfindet, wird der erste FP Test auf den 27. November verschoben. (Der zu lernende Stoff ändert sich nicht.)
10. November: Fehler auf Folien
Auf Folie 23 von Woche 5 wurde ein Fehler ausgebessert.
9. Juni: Gedrucktes Vorlesungsskriptum
Dieses Semester wird das Skriptum erstmals in gedruckter (und gebundener) Form zur Verfügung stehen. In der ersten VO werde ich die Anzahl der Interessenten aufnehmen und an die Studia weiterleiten. Für diejenigen die mit einer digitalen Version zufrieden sind, wird diese natürlich weiterhin zur Verfügung gestellt. (Siehe auch Zeitplan.)