20.04.2011: Lösung zur Widerholungsklausur ist online.
07.04.2011: Merkblatt 5 zur Widerholungsklausur ist online.
28.02.2011: Die Anmeldung für die Wiederholungsklausur ist vom 14.3. bis 3.4. in TUMOnline möglich. Bei Problemen wenden Sie sich an den Infopoint.
25.02.2011: Einsicht (für die Studenten, die zum offiziellen Termin nicht kommen konnten) kann nur noch bis 1. März gewährt werden. Wenn Sie noch einen Termin brauchen um Details zur Klausur zu besprechen, dann melden Sie sich bei der Übungsleitung. Danach werden die Noten ans Prüfungsamt übermittelt.
21.02.2011: Die End-Term Ergebnisse sind in TUMOnline verfügbar. Die Einsicht findet am 24.02.2011 im Raum 02.07.014 zwischen 13:00 und 16:00 statt. Vereinbaren Sie einen Termin für Ihre Einsicht (Mail an uebungsleitung-info2@mailseidl.in.tum.de mit "Einsicht" im Betreff. Geben Sie in der Mail auch an, falls Sie zu bestimmten Zeiten zwischen 13 und 16 Uhr nicht kommen können.) Wir weisen Ihnen dann eine Zeit zu. Dies soll verhindern, dass Alle auf einmal kommen und dann lange Warten müssen.
16.02.2011: Sie MÜSSEN sich für die Wiederholungsklausur in Tum-Online anmelden, auch wenn Sie bereits für die Mid-Term oder End-Term angemeldet waren.
09.02.2011: Im Buch gibt es ein paar bekannte Fehler (z.B. in der Angabe der Aufgabe 9.15), wodurch einige Aufgeben unlösbar werden. Falls Sie beim Lösen eine Aufgabe nicht weiter kommen, dann können Sie auf dieser Seite überprüfen ob es sich um einen Druckfehler handelt.
08.02.2011: Aktuelle abgetippte Version
08.02.2011: Interested in real-world functional programming? Support development of the Goblint static code analysis framework as a HiWi.
07.01.2011: Hörsaalzuteilung für die End-Term Klausur ist online.
Für die Wirtschaftsinformatiker, welche wegen einer Klausur diesen Freitag nicht an den Tutorübungen teilnehmen können, wird diesen Mittwoch um 16:30 eine Ersatzübung im Raum 02.07.014 angeboten. Nehmen Sie an dieser Übing bitte nur teil, wenn Sie am Fretag wirklich nicht kommen können, da es hier nur begrenzt Plätze gibt.
03.02.2011: Die Klammerspar(einfüge)regel im Induktionsschritt des Beweises der Prop. 2 wird durch Appendix A des Lehrbuchs vorgegeben. Update im Merkblatt für die End-Term Klausur.
02.02.2011: Die abgetippte Version der Beweise vom 01.02.2011 als PDF.
01.02.2011: Heute wurde Kapitel 10.4 und die Motivation für 10.5 besprochen. Die gescannten Beweise 1 und 2. Eine abgetippte Version folgt in Kürze.
HINWEIS: Wenn Sie die Klausur in englischer Überstzung schreiben wollen dann müssen Sie dies bis zum 06.02.2011 23:59 mit einem formlosen Antrag bei der Übungsleitung (uebungsleitung-info2@mailseidl.in.tum.de) beantragen.
NOTE: In case you would like to get an English translation of the exam instead of the German version then you must send a request to (uebungsleitung-info2@mailseidl.in.tum.de). Your request can be processed only if we obtain it before 06.02.2011 23:59.
Am 11.02.2011 gibt es keinen Mini-Test. In dieser Übung werden Aufgaben zur Wiederholung des Stoffs für die Klausur bearbeitet. Natürlich können dann auch Fragen zum (alten) Stoff gestellt werden.
Merkblatt4 zur End-Term Klausur ist online!
21.01.2011: Der letzte Mini-Test wird am 4.2. geschrieben.
18.01.2011: Vorlesungsstoff von 11. und 18. Januar: Kapitel 9.1-9.7 und 9.9.
18.01.2011: Die Termine für die Einsicht werden bis Freitag (21.01.) Abends per Mail verschickt.
17.01.2011: Die Mid-Term Klausur mit Musterlösung ist online.
17.01.2011: Für Alle, die bei Ihrer Einsichtsanmeldung angeben, dass Sie am Donnerstag gar nicht kommen können, wird natürlich ein Ersatztermin angeboten. Dieser wird dann per Email mitgeteilt.
14.01.2011: Zur Klarstellung: Alle, die an der End-Term Klausur teilnehmen, schreiben 60 Minuten. Die in Mid-Term und End-Term erreichbare Gesammtpunktzahl ist 120 + 60 = 180 Punkte. Zum bestehen von Info2 benötigen Sie ca. 40% der Gesammtsumme, also ca. 72 Punkte. Die Wiederholungsklausur wird 120 Minuten dauern.
Nach der Klausur wurde ein schwarz-gelber Schal vergessen, er kann bei der Übungsleitung abgeholt werden.
14.01.2011: Punkteverteilung in der Mid-term (X steht für angemeldet aber nicht erschienen):
13.01.2011: Anscheinend ist die Punktedarstellung in TUMOnline etwas verwirrend, A > "Zahl" bedeutet, dass sie "Zahl" Punkte (von 120 möglichen) erreicht haben.
13.01.2011: Die Mid-Term Ergebnisse sind in TUMOnline verfügbar. Die Einsicht findet am 27.01.2011 im Raum 02.07.014 zwischen 12:00 und 15:00 statt. Vereinbaren Sie einen Termin für Ihre Einsicht (Mail an uebungsleitung-info2@mailseidl.in.tum.de mit "Einsicht" im Betreff. Geben Sie in der Mail auch an, falls Sie zu bestimmten Zeiten zwischen 12 und 15 Uhr nicht kommen können.) Wir weisen Ihnen dann eine Zeit zu. Dies soll verhindern, dass Alle auf einmal kommen und dann lange Warten müssen.
12.01.2011: Im Mini-Test für diese Woche werden die Themen von Blatt 8 geprüft.
11.01.2011: Die End-Term Klausur wird 60 Minuten dauern und in der Summe 60 Punkte haben. Wie im Merklblatt angekündigt, werden die Punkte für Mid-Term und End-Term addiert und ergeben die Note.
13.12.2010: Die Zuteilung zu den Hörsälen für die Mid-Term Klausur ist online. Termine für End-Term und Wiederholungsklausur sind online.
HINWEIS: Wenn Sie die Klausur in englischer Überstzung schreiben wollen dann müssen Sie dies bis zum 8.12.2010 23:59 mit einem formlosen Antrag bei der Übungsleitung (uebungsleitung-info2@mailseidl.in.tum.de) beantragen.
NOTE: In case you would like to get an English translation of the exam instead of the German version then you must send a request to (uebungsleitung-info2@mailseidl.in.tum.de). Your request can be processed only if we obtain it before 8.12.2010 23:59.
03.12.2010: Am 17.12.2010 gibt es keinen Mini-Test. In dieser Übung werden Aufgaben zur Wiederholung des Stoffs für die Klausur bearbeitet. Natürlich können dann auch Fragen zum (alten) Stoff gestellt werden.
01.12.2010: HINWEIS : Am nächsten Dienstag findet die Vorlesungsumfrage statt.
01.12.2010: Merkblatt2 zur Klausur und Merkblatt3 mit nützlichen Prozeduren für die Klausur sind online!
25.11.2010: Richard Feynman über die "Warum?" Fragen und Antworten auf YouTube.
22.11.2010: Auf Grund einer Überschneidung in der Raumbelegung finden Gruppen 9 und 18 ab SOFORT im Raum 00.13.008 und Gruppen 5 und 14 in Raum 01.13.007 statt. An den Zeiten ändert sich Nichts.
18.11.2010: Nach einem Gespräch mit diversen Studentenvertretern zum Thema Tests und 0.6 Bonus gibt es folgende Ergänzungen/Klarstellungen zum Bonusystem:
- Sie können ab sofort, vor oder nach Ihrer Tutorübung, die Lösungen zum letzten Test bei Ihrem Tutor einsehen. Bitte beachten Sie, dass einige Tutoren nach der 12 Uhr Übung sofort anschliessend eine 14:00 Übung haben und lassen Sie sich die Lösung kurz vor der 12 Uhr Übung zeigen falls dies bei Ihrem Tutor der Fall ist.
- Sie können die Korrektur Ihres Tests Mittwochs zwischen 13:30 - 14:30 oder nach Terminvereinbarung bei der Übungsleitung (Raum 02.07.043) einsehen (Es dauert ca. 1 Woche nachdem der Test geschrieben wurde bis er verfügbar ist).
- Um zu vermeiden, dass Krankheit o.Ä. Verhinderungen Einfluss auf den Bonus haben werden für jeden Studenten die zwei am geringsten (oder wegen Fehlens gar nicht) bewerteten Tests aus der Wertung genommen. Die Prozent Hürden beziehen sich dann auf die in den übrig bleibenden Tests erreichbaren Punkte.
- Die 12 Uhr und 14 Uhr Gruppen schreiben die Tests jewails ganz am Ende bzw. ganz am Anfang um unfairen Informationsaustausch zwischen diesen Gruppen zu verhindern. Die 15:30 Gruppen schreiben (seid Test3) eine modifizierte Version des Tests, damit die Ergebnisse von den 12 und 14 Uhr Gruppen nicht einfach übernommen werden können.
15.11.2010: Die Anmeldung für die Mid-Term Klausur startet offiziell heute. Sie müssen sich für die Klausur im TUMONLINE anmelden. Falls Sie dabei Probleme haben, dann wenden Sie sich an den Infopoint!
11.11.2010: Es wird ausdrücklich darauf hingewiesen, dass Fragen an den Dozenten zum Stoff (während oder nach der Vorlesung, per Mail oder persönlich mit Termin) erwünscht sind.
09.11.2010: Am 7.1.2011 finden KEINE Tutorübungen statt.
05.11.2010: Ein Problem mit dem Grundstudiumstool wurde behoben. Ab jetzt sollten Sie die Bewertung Ihrer Tests dort einsehen können.
27.10.2010: Hinweise zum Installieren von Emacs mit SML Plugin unter Windows.
22.10.2010: Neuer download Link zum runterladen des Ebooks von Prof. Smolka verfügbar.
22.10.2010: Eine weitere 15:30 Gruppe wurde eingerichtet (Gruppe 18, ab nächster Woche).
21.10.2010: Solange die Anmeldephase läuft können Sie sich selbstständig im Grundstudiumstool auf andere Gruppen ummelden (so lange noch freie Plätze in der Grupe vorhanden sind).
21.10.2010: HINWEIS : Es ist nicht möglich Sie ohne Zertifikat anzumelden (auch nicht über die Übungsleitung), deshalb wurde die Anmeldefrist verlängert. Falls es für Ihren Wunschtermin (z.B.: 12-14) keine freien Gruppen mehr gibt und Sie können nicht auf eine andere Zeit ausweichen, dann schreiben Sie bitte eine mail mit Übungstermin 12-14 (oder der entsprechenden Zeit) an die Übungsgruppenleitung (uebungsleitung-info2@mailseidl.in.tum.de). Freie Gruppen für diesen Freitag (ohne Anmeldung): (2,9,11,14,17,18)
21.10.2010: Schülergruppe 15 wurde angelegt.
21.10.2010: Freie Gruppen für diesen Freitag: (2,9,11,14,17,18)
20.10.2010: Zwei 15:30 Übungen wurden eingerichtet.
20.10.2010: Falls Sie sich bis zur ersten Übung nicht anmelden konnten dann suchen Sie sich für diesen einen Termin selbstständig eine Übung (Gruppe 3, 4 und 8 sind bereits relativ voll).
20.10.2010: Einige der Übungen werden auf Englisch gehalten (siehe Tabelle unten, bzw Gruppenname im Grundstudiumstool). Bitte beachten Sie dies bei der Anmeldung. Falls Sie sich bereits angemeldet haben können Sie sich natürlich noch einmal ummelden.
19.10.2010: Um Überschneidungen mit den Vorlesungen IN0004, Signaldarstellung und Stochastische Signale zu vermeiden, wird es einige Übungsgruppen am Freitag um 15:30 Uhr geben. Schreiben Sie bitte eine Email mit dem Betreff 15:30 an die Übungsgruppenleitung (uebungsleitung-info2@mailseidl.in.tum.de), falls Sie diesen Termin wahrnehmen möchten.
19.10.2010: Wegen des Engpasses bei der Zertifikatvergabe wird die Anmeldefrist für die Übungsgruppen um eine Woche (bis Freitag, 29.10.2010) verlängert.
18.10.2010: Nützliche Software ist online.
18.10.2010: Das erste Merkblatt ist online.