03.11.2015 |
Für alle Studierenden, die nicht in die Nachprüfungen müssen, sind nun die Noten eingetragen.
|
21.10.2015 |
Die Klausurergebnisse sowie die Liste der Nachprüfungstermine 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.
|
22.10.2015 |
- Die Klausurergebnisse zur Hauptklausur vom 21.09.2015 werden
voraussichtlich am 29.10.2015 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls).
- Die Klausureinsicht findet am 03.11.2015 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 09.11.2015 und 10.11.2015 zeitnah nach der Klausureinsicht 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.
|
10.09.2015 |
Die Anmeldefrist zur Wiederholerklausur wurde verlängert. Sie läuft nun bis zum 14.09.2015.
|
13.07.2015 |
Wie uns offiziell mitgeteilt wurde (und einige von Ihnen auch bereits festgestellt haben), ist die Anmeldung zur Klausur nun freigeschaltet!
|
07.07.2015 |
Wider Erwarten ist die Anmeldung zur Klausur noch nicht freigeschaltet. Wie lange sich das noch verzögert, ist unklar. Bis Ende August / Anfang September sollte es möglich sein. Wir empfehlen Ihnen, es immer mal wieder zu versuchen.
|
25.06.2015 |
Die Wiederholerklausur am 21.09.2015 findet um 11:00 Uhr im Hörsaal am Fasanengarten statt.
|
01.06.2015 |
Die Wiederholerklausur findet am 21.09.2015 statt. Die Anmeldung ist voraussichtlich ab dem 08.06.2015 freigeschaltet. Genaueres zu Uhrzeit und Ort wird noch bekannt gegeben.
|
05.05.2015 |
Die Noten sind nun für alle Studierenden im QISPOS eingetragen, die (nach der Klausureinsicht) nicht in die Nachprüfung müssen.
|
30.04.2015 |
Zur Information: Die Klausurergebnisse werden im Anschluss an die Klausureinsicht — also insbesondere vor der für Master-Bewerbungen relevanten Frist am 12.05. — eingetragen.
|
29.04.2015 |
Die Klausurergebnisse hängen nun aus!
|
17.04.2015 |
- Die Klausurergebnisse zur Hauptklausur vom 09.04.2015 werden
voraussichtlich am 29.04.2015 ausgehängt (Gebäude 50.34, gegenüber von der Informatik-Bibliothek und gegenüber des Sekretariats des Lehrstuhls).
- Die Klausureinsicht findet am 05.05.2015 zwischen 13:00 Uhr und 15:00 Uhr im Raum 010 im Informatik-Gebäude (50.34) statt.
- Etwaige mündliche Nachprüfungen werden voraussichtlich am 06.05.2015 und 07.05.2015 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.
|
08.04.2015 |
Die Hörsaalzuteilung für Teilnehmer der Hauptklausur ist nun veröffentlicht.
Vergessen Sie nicht Ihren amtlichen Lichtbildausweis!
|
10.03.2015 |
Die TGI-Noten werden voraussichtlich am 20.03.2015 eingetragen sein.
|
10.03.2015 |
Die Anmeldung zur Klausur ist noch bis zum 29.03.2015 möglich. Bitte prüfen Sie rechtzeitig, ob die Anmeldung bei Ihnen geklappt hat!
|
26.02.2015 |
Am Dienstag, 31.03.2015 bieten wir zwischen 14:00 und 15:30, im Raum -102 (Informatikgebäude, 50.34) eine Sonderübung an.
Hier haben Sie die noch mal die Möglichkeit, Fragen zum Inhalt der Vorlesungen und Übungsaufgaben z u stellen.
Schicken Sie uns möglichst vorab schon per eMail Fragen und Themenwünsche,
die Sie gerne an diesem Termin besprochen sehen würden.
Natürlich steht auch weiterhin das Forum zur Verfügung. |
12.01.2015 |
Am Freitag, den 16.01.2015 findet die Vorlesung statt. Dafür findet am 23.01.2015 keine Vorlesung statt.
|
30.10.2014 |
Ab morgen haben Sie die Möglichkeit, am Haskell-Wettbewerb zur Vorlesung "Einführung in die Informatik 2" teilzunehmen. Falls Sie Interesse haben, gibt es am kommenden Montag, den 03.11.2014 um 13:00 Uhr im Raum 301 (Geb. 50.34) ein Vorbereitungstreffen mit Joachim Breitner. |
24.10.2014 |
Die WebInscribe-Einteilung für die Übungsgruppen ist jetzt verfügbar.
|
20.10.2014 |
Seit heute ist die Anmeldung zu den Übungsgruppen über WebInscribe eröffnet. Sie endet am Freitag, den 24.10.2014 um 16:30 Uhr.
|
Stand | Thema | PDF |
21.10.2014 | Organisatorisches | Download |
21.10.2014 | Funktionale Programmierung: Einführung, Listen | Download |
27.10.2014 | Funktionale Programmierung: Funktionen höherer Ordnung, Kombinatoren | Download |
27.10.2014 | Funktionale Programmierung: Lazy Evaluation | Download |
29.10.2014 | Funktionale Programmierung: Typen, Beispiele fkt. Programmierung | Download |
30.10.2014 | Haskell-Wettbewerb | Download |
31.10.2014 | Funktionale Programmierung: Algebraische Datentypen & Anwendungen | Download |
05.11.2014 | Funktionale Programmierung: Typklassen, QuickCheck | Download |
07.11.2014 | Funktionale Programmierung: Zusatzfolien Monaden | Download |
12.11.2014 | Theoretische Grundlagen: Der untypisierte Lambda-Kalkül | Download |
26.11.2014 | Theoretische Grundlagen: Regelsysteme, Typsysteme | Download |
26.11.2014 | Theoretische Grundlagen: Polymorphie | Download |
28.11.2014 | Logische Programmierung: Einführung, Backtracking | Download |
09.12.2014 | Logische Programmierung: Arithmetik und Listen, Cuts | Download |
09.12.2014 | Logische Programmierung: Beispielprogramme | Download |
09.12.2014 | Logische Programmierung: Unifikation und Resolution | Download |
11.12.2014 | Logische Programmierung: Spracherweiterungen, Constraint Logic Programming | Download |
16.12.2014 | Typinferenz | Download |
07.01.2015 | Parallelprogrammierung: Grundlagen | Download |
09.01.2015 | Parallelprogrammierung: C/C++-Wiederholung | Download |
14.01.2015 | Parallelprogrammierung: MPI | Download |
16.01.2015 | Parallelprogrammierung: Scala | Download |
21.01.2015 | Parallelprogrammierung: X10 | Download |
26.01.2015 | Compiler: Einführung | Download |
04.02.2015 | Compiler: Lexikalische und syntaktische Analyse | Download |
26.01.2015 | Compiler: Semantische Analyse | Download |
30.01.2015 | Compiler: Java-Bytecode und Codeerzeugung | Download |