| 25.10.2016 |
Die Klausurergebnisse der Nachklausur sind im QISPOS- bzw. Campus-System eingetragen.
|
| 20.10.2016 |
Die Klausurergebnisse hängen nun aus!
Hier noch einmal der Hinweis: Studierende, die in die mündliche Nachprüfung müssen, melden sich bitte so schnell wie möglich per Mail beim Sekretariat, um ihren Termin zu bestätigen.
|
| 13.10.2016 |
Der Ablaufplan zur Nachklausur vom 22. September 2016 steht nun fest:
- Aushang der Klausurergebnisse am 20.10.2016; Aushang Gebäude 50.34, gegenüber der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls.
- Klausureinsicht am Dienstag, den 25.10.2016, 14:00 Uhr in Raum 010 im Informatik-Gebäude (50.34).
- Mündliche Nachprüfungen finden am 27.10.2016, 28.10.2016 und 31.10.2016 statt.
Die genauen Termine werden zusammen mit den Klausurergebnissen bekannt gegeben.
Betroffene Studierende werden gebeten, sich nach Bekanntgabe der Ergebnisse so schnell wie möglich per Mail beim Sekretariat zu melden, um ihren Termin zu bestätigen.
- Für 4.0-Bescheinigungen schreiben Sie bitte eine Mail an das Sekretariat und geben Sie Ihren vollen Namen sowie Ihre Matrikelnummer an.
Sollten Sie Probleme mit Fristen bekommen, kommen Sie bitte zu Prof. Snelting in die Sprechstunde.
|
| 23.08.2016 |
Die Nachklausur findet am 22.09.2016 um 11:00 Uhr im HSAF statt.
|
| 11.05.2016 |
Die Noten sind im QISPOS- bzw. Campus-System eingetragen.
|
| 09.05.2016 |
Die mündlichen Nachprüfungen finden in Raum 021, Gebäude 50.34 (Informatikbau) statt.
|
| 03.05.2016 |
Die mündlichen Nachprüfungen finden in folgenden Zeiträumen statt:
- 13.05.2016, 10-12 Uhr
- 17.05.2016, 10-12 Uhr
- 17.05.2016, 14-16 Uhr
- 18.05.2016, 14:30 Uhr - 16:30 Uhr
Betroffene Studierende werden per E-Mail und schriftlich über ihren genauen Termin informiert.
|
| 03.05.2016 |
Die Klausurergebnisse hängen nun aus.
|
| 18.04.2016 |
Hier eine Konkretisierung des weiteren Ablaufs bezüglich der Klausur:
- Die Klausurergebnisse zur Hauptklausur vom 07.04.2016 werden
voraussichtlich am 04.05.2016 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls).
- Die Klausureinsicht findet am 10.05.2016 zwischen 14:00 Uhr und 16:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
- Etwaige mündliche Nachprüfungen werden voraussichtlich am
12.05.2016 13.05.2016 und 17.05.2016 stattfinden. Die genauen Termine werden zusammen mit den Klausurergebnissen bekannt gegeben. Betroffene Studierende werden gebeten, sich nach Bekanntgabe der Ergebnisse so schnell wie möglich per Mail beim Sekretariat zu melden, um ihren Termin zu bestätigen.
- Falls Sie eine 4.0-Bescheinigung benötigen, schreiben Sie bitte eine kurze disbezügliche Mail an das Sekretariat und geben Sie Ihren vollen Namen und Ihre Matrikelnummer an. Sollten Sie Probleme mit Fristen bekommen, kommen Sie bitte zu Prof. Snelting in die Sprechstunde.
|
| 08.04.2016 |
Die Klausurergebnisse werden voraussichtlich Anfang Mai bekannt gegeben.
4,0-Bescheinigungen können in manchen Fällen bereits früher ausgestellt werden, ein Rechtsanspruch darauf besteht jedoch nicht.
Besuchen Sie ggf. die Sprechstunde von Prof. Snelting.
|
| 06.04.2016 |
Die Hörsaaleinteilung steht nun fest.
|
| 04.04.2016 |
Eine Druckversion der Folien (ohne Animationen) steht nun zum Download bereit.
Auf Folien mit Animationen kann es zu Darstellungsfehler kommen.
|
| 01.03.2016 |
Wie in den Tutorien angekündigt, findet am 1. April 2016 um 14:00 in Raum -101 (Informatik-Gebäude (50.34)) eine Klausur-Fragestunde statt.
Idealerweise schicken Sie schon vor dem Termin Ihre Fragen per E-Mail an Ihren Tutor.
|
| 04.02.2016 |
Hinweis: Da die Vorlesungszeit nächste Woche endet, finden am Freitag, den 12.02.2016, um 14:00 statt der Vorlesung Zusatztutorien statt.
In diesen Zusatztutorien wird das Übungsblatt 13 zum Themenbereich Compiler besprochen.
- Andreas Fried: Raum -133 im Allgemeinen Verfügungsgebäude (50.41)
- Michael Hoff: Raum -134 im Allgemeinen Verfügungsgebäude (50.41)
- Jonas Sauer: Raum -120 im Informatik-Gebäude (50.34)
- Lucas Werkmeister: Raum 301 im Informatik-Gebäude (50.34)
|
| 09.12.2015 |
Achtung, Änderung im Terminplan: Vorlesung am 11.12.2015 fällt aus! (korrigiert! Vorher war vom in der Vergangenheit liegenden 04.12.2015 die Rede, was natürlich Unsinn war.)
|
| 23.11.2015 |
Achtung, Änderung im Terminplan: Vorlesung am 4.12.2015 findet statt!
|
| 17.11.2015 |
Achtung, Änderung im Terminplan: Keine Vorlesung am 27.11.2015! Der Termin wird auf den 20.11.2015 vorgezogen.
|
| 26.10.2015 |
Die Probleme mit WebInscribe sind seit gestern Abend behoben.
|
| 25.10.2015 |
Leider scheint es derzeit Probleme mit dem WebInscribe zu geben. Falls Sie dort kein Einteilungsergebnis angezeigt bekommen, können Sie es alternativ hier abrufen. Genauere Informationen hierzu finden Sie im Forum.
|
| 23.10.2015 |
Die WebInscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar.
|
| 19.10.2015 |
Seit heute ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet. Sie endet am Freitag, den 23.10.2015 um 16:30 Uhr
|
| Stand | Thema | PDF |
|---|
| 21.10.2015 | Organisatorisches | Download |
| 21.10.2015 | Funktionale Programmierung: Einführung, Listen | Download |
| 23.10.2015 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
| 28.10.2015 | Funktionale Programmierung: Lazy Evaluation | Download |
| 29.10.2015 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung
[v1.0.1]
- Neue erste Folie: "Wozy Typen?"
- Folie 98 (ehemals 97) jetzt Zusatzstoff
| Download |
| 29.10.2015 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
| 19.11.2015 | Funktionale Programmierung: Typklassen, QuickCheck
[v1.0.3]
[v1.0.1]
- Folie 134 vor Folie 132
- Ergänzung auf Folie 133 (ehemals Folie 134)
- Folie 146: andere Implementierung von isSorted
- Folie 146: overfull box beseitigt
[v1.0.2]
Tippfehler auf Folie 146 beseitigt
[v1.0.3]
Fehler auf Folie 133 beseitigt: lexikographische Ordnung auch im Code!
| Download |
| 10.11.2015 | Funktionale Programmierung: Zusatzfolien Monaden
[v1.0.1]
[v1.0.1]
- Beispielprogramm mit do-Syntax auf erster Folie ergänzt
- Neues Anwendungsbeispiel: monadischer QuickTest-Testdatengenerator
| Download |
| 11.11.2015 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül
[v1.0.1]
[v1.0.1]
- Krokodile sind Zusatzstoff!
- Folie 172 und 173 vertauscht
| Download |
| 20.11.2015 | Theoretische Grundlagen: Regelsysteme, Typsysteme
[v1.0.2]
[v1.0.1]
Regeln auf Folie 193 korrigiert
[v1.0.2]
Beweis auf Folie 203 etwas vereinfacht
| Download |
| 19.11.2015 | Theoretische Grundlagen: Polymorphie | Download |
| 20.11.2015 | Logische Programmierung: Einführung, Backtracking | Download |
| 04.12.2015 | Logische Programmierung: Arithmetik und Listen, Cuts
[v1.0.3]
[v1.0.1]
- Unifikationsbeispiele eingefügt (Folie 237)
- Beispiel "Acht Damen" eingefügt (Folie 248ff.; wäre Folie 247ff. im alten Foliensatz)
[v1.0.2]
- Fehler auf Folie 237 beseitigt
- ein paar Tippfehler beseitigt
- Folie 255 geändert
[v1.0.3]
Folie 257 animiert und detaillierter
| Download |
| 01.12.2015 | Logische Programmierung: Beispielprogramme | Download |
| 08.12.2015 | Logische Programmierung: Unifikation und Resolution | Download |
| 08.12.2015 | Logische Programmierung: Spracherweiterungen, Constraint Logic Programming | Download |
| 14.12.2015 | Typinferenz | Download |
| 06.01.2016 | Parallelprogrammierung: Grundlagen [v1.0.1] | Download |
| 06.01.2016 | Parallelprogrammierung: C/C++-Wiederholung
[v1.0.2]
[v1.0.2]
- Fehler im Beispiel der Precedence Regel korrigiert. Static wird durch die Regel nicht abgedeckt. (Folien 21-24)
| Download |
| 13.01.2016 | Parallelprogrammierung: MPI
[v1.0.1]
[v1.0.1]
- Fehler bei ReduceScatter korrigiert (Folie 33)
| Download |
| 15.01.2016 | Parallelprogrammierung: Java
[v1.0.3]
[v1.0.2]
- Wait wird nun in beiden Fällen auf dem richtigen Monitor aufgerufen (Folie 36)
[v1.0.3]
- Folie 36: nochmals korrigiert. wait und notifyAll arbeiten hier natürlich alle auf this!
| Download |
| 20.01.2016 | Parallelprogrammierung: X10 | Download |
| 22.01.2016 | Parallelprogrammierung: Scala | Download |
| 22.01.2016 | Design by Contract | Download |
| 25.01.2016 | Compiler: Einführung | Download |
| 04.02.2016 | Compiler: Lexikalische und syntaktische Analyse
[v1.0.2]
[v1.0.1]
- kleinere Korrekturen/Ergänzungen auf den Folien 348, 360 und 370
- Simple-Grammatik repariert (Folie 367/368)
[v1.0.2]
- kleine Korrekturen/Ergänzungen auf den Folien 380/381 bzw. 387/388
| Download |
| 04.02.2016 | Compiler: Semantische Analyse | Download |
| 10.02.2016 | Compiler: Java-Bytecode und Codeerzeugung
[v1.0.1]
[v1.0.1]
- Methodenaufruf und Activation Records an einem Beispiel gezeigt (neue Folien 404-409)
- Beispiel für Bytecodeerzeugung für arithmetische Ausdrücke (jetzt Folie 418f.) hat jetzt Variablen
- kleine Modifikation auf Folie 424
| Download |
.
Bei der Druckversion kann es zu Darstellungsfehlern kommen, weil nicht alle Animationen sinnvoll zu einer Folie zusammengefasst werden konnten!
