| 23.10.2014 |
Die mündlichen Nachprüfungen zur Wiederholerklausur vom 23.09. finden am Dienstag, den 04.11.2014 statt. Betroffene Studenten melden sich bitte umgehend im Sekretariat des Lehrstuhls (Raum 026, Geb. 50.34), um den Termin zu bestätigen.
|
| 23.10.2014 |
Die Klausurergebnisse zur Wiederholerklausur vom 23.09. hängen in Geb. 50.34 gegenüber der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls aus.
|
03.09.201402.10.2014 |
Die Klausureinsicht der Wiederholerklausur findet am Dienstag, 28.10.2014 zwischen 14:00 Uhr und 16:00 Uhr13:00 Uhr und 15:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
|
| 03.09.2014 |
Das Anmeldeende der Wiederholerklausur ist Freitag, 12.09.2014.
|
| 05.06.2014 |
Die Beispiellösung zur Hauptklausur ist nun verfügbar.
|
| 04.06.2014 |
Der Termin der Wiederholerklausur wurde bekannt gegeben.
Die Anmeldung per Studierendenportal wird voraussichtlich ab dem 10.06.2014 möglich sein.
|
| 29.04.2014 |
Seit heute mittag hängen die Klausurnoten und die Teilnehmerliste für die mündlichen Nachprüfungen aus.
|
| 28.04.2014 |
Der Aushang der vorläufigen Klausurnoten wird sich voraussichtlich noch bis morgen (29.04.2014) mittag verzögern.
|
| 17.04.2014 |
Die Klausureinsicht für Teilnehmer der Hauptklausur findet am 30.04. statt.
Der Zeitraum der mündlichen Nachprüfungen für Teilnehmer der Hauptklausur,
welche wiederholt nicht bestanden haben, stehen auch bereits fest.
Die Liste der hiervon betroffenen wird zusammen mit den vorläufigen Klausurnoten voraussichtlich bis zum 28.4.
an der üblichen Stelle gegenüber der Informatik-Bibliothek ausgehängt. Dies wird dann auch hier nochmal bekannt gegeben.
|
| 07.04.2014 |
Die Hörsaalzuteilung für Teilnehmer der Hauptklausur ist nun veröffentlicht.
Vergessen Sie nicht Ihren amtlichen Lichtbildausweis!
|
| Stand | Thema | PDF |
|---|
| 22.10.2013 | Organisatorisches | Download |
| 22.10.2013 | Funktionale Programmierung: Einführung, Listen | Download |
| 23.10.2013 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
| 23.10.2013 | Funktionale Programmierung: Lazy Evaluation | Download |
| 29.10.2013 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung | Download |
| 30.10.2013 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
| 07.11.2013 | Funktionale Programmierung: Typklassen | Download |
| 07.11.2013 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
| 07.01.2014 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
| 11.11.2013 | Theoretische Grundlagen: Regelsysteme | Download |
| 15.11.2013 | Theoretische Grundlagen: Typinferenz | Download |
| 15.11.2013 | Theoretische Grundlagen: Polymorphie | Download |
| 29.11.2013 | Logische Programmierung: Einführung, Backtracking | Download |
| 07.01.2014 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
| 09.12.2013 | Logische Programmierung: Unifikation und Resolution | Download |
| 18.12.2013 | Logische Programmierung: Beispielprogramme, Constraint Logic Programming | Download |
| 07.01.2014 | Parallelprogrammierung: Grundlagen | Download |
| 14.01.2014 | Parallelprogrammierung: Scala | Download |
| 15.01.2014 | Parallelprogrammierung: X10 | Download |
| 22.01.2014 | Parallelprogrammierung: C-Wiederholung | Download |
| 27.01.2014 | Parallelprogrammierung: MPI | Download |
| 04.02.2014 | Compiler: Lexikalische und syntaktische Analyse
neu: Korrekturen und Layoutverbesserungen der Beispielautomaten auf den Folien 327/328 | Download |
| 31.01.2014 | Compiler: Semantische Analyse | Download |
| 31.01.2014 | Compiler: Java-Bytecode und Codeerzeugung | Download |
