- 26.04.2016: Nach Abschluss der Nachklausur sind nun die Noten und die Daten zur aktiven und regelmäßigen
Teilnahme im Campus-Management freigegeben. Bitte überprüfen Sie Ihre Einträge und melden Sie sich,
falls sich Fragen ergeben.
- 19.04.2016:
Die Nachklausur ist korrigiert. Sie können Ihre Punktzahl im KVV nachlesen.
Das Notenschema ist hier. Die Nachklausur kann eingesehen werden am
Freitag, den 22.04.2016 von 14–15 Uhr im SR049.
Dabei können Sie auch die erste Klausur noch einmal einsehen.
- 04.04.2016:
Am 13.04.2016 findet von 10–12 Uhr die Nachklausur statt.
Außer Schreibutensilien
ist lediglich ein beidseitig handbeschriebenes DIN-A4 Blatt als Hilfsmittel erlaubt.
Bitte bringen Sie ein Personaldokument mit Lichtbild sowie Ihren Studierendenausweis mit.
Die Klausur findet im Hörsaal Informatik statt.
Bitte bis
10:05 Uhr die Plätze einnehmen. Klausurbeginn um 10:15 Uhr.
- 12.02.2016:
Die Klausur ist korrigiert. Sie können Ihre Punktzahl im KVV nachlesen.
Das Notenschema ist hier. Die Klausur kann eingesehen werden am
Mittwoch, den 17.02.2016 von 10–11 Uhr im SR049.
Die Nachklausur findet statt am Mittwoch, den 13.04.2016, von 10–12 Uhr. Details werden noch bekannt gegeben.
- 02.02.2016:
Am 12.02.2016 findet von 08–10 Uhr die Klausur statt.
Außer Schreibutensilien
ist lediglich ein beidseitig handbeschriebenes DIN-A4 Blatt als Hilfsmittel erlaubt.
Bitte bringen Sie ein Personaldokument mit Lichtbild sowie Ihren Studierendenausweis mit.
Die Klausur findet statt im Hörsaal Informatik und im Hörsaal des ZIB.
Nachnamen A–O schreiben im Hörsaal Informatik, Nachnamen P–Z schreiben im
Hörsaal des ZIB.
Bitte bis
08:05 Uhr die Plätze einnehmen. Klausurbeginn um 08:15 Uhr.
- 29.01.2016:
Wie jedes Jahr bietet Max Willert drei Zentralübungen zur Klausurvorbereitung an, in denen er die komplette
Vorlesung kurz zusammenfasst, auf die wichtigen Knackpunkte eingeht und mögliche Klausuraufgaben
bespricht. An jedem Termin wird ein anderes Thema besprochen. Falls es Wünsche oder Anregungen gibt,
teilen Sie sie Herrn Willert bitte schnellstmöglich per E-Mail mit.
- Freitag, 5.2. 8:30–10:00, Hörsaal Informatik, Thema: Logik (+Schaltnetze)
- Freitag, 5.2. 14:00–15:30, Arnimallee 3, HS 001, Thema: Kodierungen (Anfang: 14:00 st)
- Mittwoch, 10.2. 8:30–10:00, Hörsaal Informatik, Thema: Haskell und Algorithmik
- 22.01.2016: Das dreizehnte Aufgabenblatt ist verfügbar.
Dies ist das letzte Aufgabenblatt.
- 15.01.2016: Das zwölfte Aufgabenblatt ist verfügbar.
Dies ist das vorletzte Aufgabenblatt.
- 13.01.2016: Bis zum 30.01.2016 müssen Sie sich verbindlich
entscheiden, ob Sie an der Klausur teilnehmen möchten. Falls Sie
nicht teilnehmen moechten, müssen Sie sich unter
"Exam Registration" im KVV austragen. Teilnehmende aus vorherigen Semestern,
die in diesem Semester die Klausur schreiben moechten, sollten unter "Exam Registration"
sicherstellen, dass sie in der Liste auftauchen.
- 08.01.2016: Das elfte Aufgabenblatt ist verfügbar.
- 18.12.2015: Das zehnte Aufgabenblatt ist verfügbar. Frohe Weihnachten!
- 11.12.2015: Das neunte Aufgabenblatt ist verfügbar. Alle Aufgaben
sind Zusatzaufgaben.
- 04.12.2015: Die Probeklausur ist verfügbar.
- 04.12.2015: Das achte Aufgabenblatt ist verfügbar.
- 27.11.2015: Das siebte Aufgabenblatt ist verfügbar.
- 20.11.2015: Am Freitag, den 04.12.2015, findet von
08:30–10:00 Uhr im HS Informatik
eine unverbindliche Probeklausur statt.
Dabei besteht die Möglichkeit, Zusatzpunkte zu erhalten.
Bitte melden Sie sich bis zum 30.11.2015
im Online-KVV
zur Klausur an, falls Sie teilnehmen möchten.
- 20.11.2015: Das sechste Aufgabenblatt ist verfügbar.
- 13.11.2015: Das fünfte Aufgabenblatt ist verfügbar.
- 06.11.2015: Das vierte Aufgabenblatt ist verfügbar.
- 03.11.2015: Die Bearbeitungszeit der Aufgabenblätter wurde geändert auf
Freitag bis Dienstag 11 Tage später.
Das zweite Tutorium von Christian Hofmann wurde verlegt von Donnerstag 12–14 Uhr
auf Freitag 12–14 Uhr. Es findet statt im SR 005, Takustraße 9.
- 28.10.2015: Das dritte Aufgabenblatt ist verfügbar.
- 21.10.2015: Das zweite Aufgabenblatt ist verfügbar.
- 01.10.2015: Die Anmeldung zu den Tutorien ist im
Online-KVV freigeschaltet.
- 21.09.2015: Das erste Aufgabenblatt ist verfügbar.
- 21.09.2015: Der Besuch des
Brückenkurses wird empfohlen.
Die Online-Anmeldung zu den Tutorien wird am Donnerstag, den
01.10.2015, gegen 12 Uhr freigeschaltet.
- 21.09.2015: Der erste Vorlesungstermin
ist der 14.10.2015 um 08:30 Uhr. Die Tutorien beginnen in der zweiten
Semesterwoche.
Die Anmeldung zu den Tutorien erfolgt über das
Online-KVV.
Ggf. gibt es noch Anpassungen der Tutoriumsgröße zu
Semesterbeginn.
- 21.09.2015: Die Website ist online.
Die Übungszettel werden ausschließlich online erscheinen
und zwar hier auf dieser Seite.
- Mathematische Grundlagen
- Aussagenlogik
- Prädikatenlogik
- vollständige Induktion
- Funktionale Programmierung
- Paradigmen von Programmiersprachen
- Ausdrücke und Funktionen
- Einfache und zusammengesetzte Datentypen
- Rekursion
- Beweisen von Programmeigenschaften
- Einfache Algorithmen im funktionalen Kontext
- Suchen und Sortieren
- Gierige Algorithmen
- Dynamisches Programmieren
- Fehlerkorrigierende Kodes
- Aufbau von Rechnern
- Schaltnetze und Schaltwerke
- von Neumann Architektur
- Rechnernetze
- Mittwoch, den 14.10.2015
- Administrativa
- Einleitung
- Freitag, den 16.10.2015
- Skript vom letzten Jahr
- Syntax der Aussagenlogik: Elementareaussagen, Variablen, Junktoren
- Induktive Definition eines Booleschen Terms; Baumdarstellung,
Variablenmenge
- Boolesche Funktionen
- Mittwoch, den 21.10.2015
- Semantik Boolescher Terme
- Aufbau des Fluxkompensators
- Boolesche Funktionen und Boolesche Terme
- Freitag, den 23.10.2015
- Wichtige Semantische Äquivalenzen
- Von einer Booleschen Funktion zum Booleschen Term: DNF und KNF
- Mittwoch, den 28.10.2015 (vertreten von Paul Seiferth)
- funktionale Vollständigkeit
- Prädikatenlogik
- Freitag, den 30.10.2015 (vertreten von Paul Seiferth)
- Mittwoch, den 04.11.2015
- Freitag, den 06.11.2015
- Horn-Formeln
- natürliche Zahlen: die Peano Axiome
- Mittwoch, den 11.11.2015
- Skript vom letzten Jahr
- vollständige Induktion: Schema, Varianten und Beispiele
- Freitag, den 13.11.2015
- strukturelle Induktion
- Programmiersprachen und Programmierparadigmen
- Mittwoch, den 18.11.2015
- Einführung in Haskell: Ausdrücke, Typen und Funktionen
- Freitag, den 20.11.2015
- Definition von Funktionen
- Einfache Rekursion
- Zusammengesetzte Datentypen: Tupel
- Beispiele aus der Vorlesung
- Mittwoch, den 25.11.2015
- Zusammengesetzte Datentypen: Listen
- Listen und Rekursion
- Beispiele aus der Vorlesung
- Freitag, den 27.11.2015
- Kompliziertes Beispiel: Cäsar-Chiffre, Häufigkeitsanalyse, Selection Sort
- Beispiele aus der Vorlesung
- Mittwoch, den 02.12.2015
- Mehr über Typen: Polymorphie und Typklassen
- Mehr über Funktionen: Funktionen höherer Ordnung
- Funktionen höherer Ordnung und Listen
- Beispiele aus der Vorlesung
- Freitag, den 04.12.2015
- unverbindliche Probeklausur
- Mittwoch, den 09.12.2015 (vertreten von Yannik Stein)
- Funktionen höherer Ordnung
- Lambda-Ausdrücke
- Beispiele aus der Vorlesung
- Freitag, den 11.12.2015 (vertreten von Yannik Stein)
- Algebraische Datentypen
- Beispiele aus der Vorlesung
- Mittwoch, den 16.12.2015
- Freitag, den 18.12.2015
- binäre Suchbäume: Einfügen und Löschen
- Beispiele aus der Vorlesung
- Mittwoch, den 06.01.2016
- Laufzeit der Operationen auf binären Suchbäumen
- Algorithmische Probleme, Algorithmen, Korrektheit, Effizienz.
- Sortieren als algorithmisches Problem
- Freitag, den 08.01.2016
- Sortieren: Selection Sort, Insertion Sort, Merge Sort
- Beispiele aus der Vorlesung
- Mittwoch, den 13.01.2016
- Quicksort
- Beweisen von Programmeigenschaften durch strukturelle Induktion
- Beispiele aus der Vorlesung
- Freitag, den 15.01.2016
- Beweisen von Programmeigenschaften durch strukturelle Induktion (Abschluss)
- Kodierungstheorie
- Mittwoch, den 20.01.2016
- Beispiele für fehlererkennende und fehlerkorrigierende Kodes
- präfixfreie Kodes
- Huffman-Kodes
- Freitag, den 25.01.2016
- präfixfreie Kodes, Satz von Kraft-McMillan
- Huffman-Kodes
- Mittwoch, den 27.01.2016 (vertreten von Paul Seiferth)
- Huffman-Kodes
- Technische Informatik: Darstellung von Informationen: Binärsystem
- Freitag, den 29.01.2016
- Zweierkomplement
- Darstellung von Zeichen
- Gleitkommazahlen
- von-Neumann-Architektur
- Mittwoch, den 03.02.2016
- Schaltnetze und Schaltwerke
- Freitag, den 05.02.2016 (vertreten von Max Willert)
- Klausurvorbereitung: Logik und Schaltnetze
- Freitag, den 05.02.2016 (14 Uhr st, HS 001 Arnimallee 3, Max Willert)
- Klausurvorbereitung: Kodierungen
- Mittwoch, den 10.02.2016 (geplant, vertreten von Max Willert)
- Klausurvorbereitung: Haskell und Algorithmik
- Freitag, den 12.02.2016 (geplant)
Literatur
- Das Skript des Brückenkurses.
- Online-Lehrbuch zu Haskell
- S. Thompson.
Haskell: The Craft of Functional Programming.
Addison Wesley, 3. Auflage, 2011.
Das Standardbuch für Haskell,
zum Selbststudium für Anfänger geeignet.
- G. Hutton.
Programming in Haskell.
Cambridge University Press, 1. Auflage, 2007.
Alternatives Standardbuch zu Haskell,
kürzere Darstellung.
- M. Block, A. Neumann.
Haskell-Intensivkurs.
Springer Verlag, 1. Auflage, 2011.
Alternative für alle, die ein deutschsprachiges Buch
bevorzugen.
- H. Herold, B. Lurz, J. Wohlrab.
Grundlagen der Informatik.
Pearson Studium, 2. Auflage, 2012.
Sehr umfangreiche Gesamtdarstellung, als Ergänzungsliteratur
für Informatik A und Informatik B geeignet.
- J.L. Hennessy, D.A. Patterson.
Computer Organization and Design.
Morgan Kaufmann, 5. Auflage, 2013.
Ein Klassiker zur technischen Informatik.
- A.S. Tanenbaum, T. Austin.
Rechnerarchitektur.
Pearson Studium, 6. Auflage, 2014.
Ein weiteres bekanntes Buch zur technischen Informatik,
aktualisierte deutschsprachige Ausgabe.
- C. Meinel, M. Mundhenk.
Mathematische Grundlagen der Informatik.
Vieweg+Teubner, 5. Auflage, 2011.
Sehr gute Ergänzungsliteratur, insbesondere zu den
mathematischen Aspekten.
- U. Schöning.
Logik für Informatiker.
Spektrum, 5. Auflage, 2000.
Ergänzungsliteratur zur Logik.
Haskell
Es wird eine Klausur am Ende des Semesters geben,
sowie eine Ersatzklausur vor Beginn des
nächsten Semesters.
Dabei gilt die Freiversuchsregel. Das heißt, man kann die
Ersatzklausur nutzen,
um das Ergebnis aus der Hauptklausur
zu verbessern (nur bei erstmaligem Absolvieren des Moduls).
Die Klausur findet statt am Freitag, den 12.02.2016, von 08–10 Uhr im Hörsaal
Informatik und im Hörsaal des ZIB.
Die Nachklausur findet statt am Mittwoch, den 13.04.2014, von 10–12 Uhr im
Hörsaal Informatik.
Für den Scheinerhalt muss man
-
regelmäßig an dem Tutorium teilnehmen (bei mindestens 80% der
Termine);
-
mindestens 60% der Punkte auf den Übungszetteln erreichen und
mindestens zweimal im Tutorium vorrechnen; und
-
die Klausur mit mindestens 50% der Gesamtpunktzahl
bestehen.
Die erfolgreiche Teilnahme am Übungsbetrieb und Teilnahme an der Klausur
sind unabhängige Leistungen.
Die Scheine sind benotet. Die Note beruht nur auf den
Klausurergebnissen.
Die Vorlesung findet statt Mittwoch und Freitag, 08:30–10:00 Uhr, im
großen Hörsaal in der Takustraße 9.
Es gibt drei Tutor_innen (Christian Hofmann, Jakob Schulze und Max Willert).
Mittwoch |
12:00–14:00 |
Takustr. 9, Seminarraum 046 |
Max Willert |
|
14:00–16:00 |
Arnimallee 6, Seminarraum 032 |
Max Willert |
Donnerstag |
10:00–12:00 |
Arnimallee 7, Seminarraum 140 |
Christian Hofmann |
Freitag |
10:00–12:00 |
Takustr. 9, Seminarraum 055 |
Jakob Schulze |
|
12:00–14:00 |
Takustr. 9, Seminarraum 055 |
Jakob Schulze |
12:00–14:00 |
Takustr. 9, Seminarraum 005 |
Christian Hofmann |
Sprechzeit des Dozenten: Dienstag 14–15 Uhr in Zimmer 114 und
nach Vereinbarung.
Die Übungszettel werden jede Woche hier verlinkt. Sie werden
ausschließlich online erscheinen.
Die normale Bearbeitungszeit ist von Freitag bis zum Dienstag
11 Tage später. Die Zettel sind vor 12 Uhr
in die entsprechenden Tutorenfächer einzuwerfen. Die Bearbeitung
erfolgt in Zweiergruppen.
Übungszettel, die nach dem angegebenen Termin
abgegeben werden, zählen als nicht bearbeitet.
Nr. | Ausgabe | Abgabe |
pdf | tex | Bemerkungen |
1 |
21.09.2015 |
26.10.2015 |
|
|
mystery.hs |
2 |
21.10.2015 |
02.11.2015 |
|
|
|
3 |
28.10.2015 |
09.11.2015 |
|
|
|
4 |
06.11.2015 |
17.11.2015 |
|
|
|
5 |
13.11.2015 |
24.11.2015 |
|
|
|
6 |
20.11.2015 |
01.12.2015 |
|
|
|
7 |
27.11.2015 |
08.12.2015 |
|
|
|
8 |
04.12.2015 |
15.12.2015 |
|
|
VL 14 VL 15 |
Probeklausur |
04.12.2015 |
keine |
|
|
|
9 |
11.12.2015 |
05.01.2016 |
|
|
Weihnachtszettel |
10 |
18.12.2015 |
12.01.2016 |
|
|
Menge.hs |
11 |
08.01.2016 |
19.01.2016 |
|
|
|
12 |
15.01.2016 |
26.01.2016 |
|
|
|
13 |
22.01.2016 |
02.02.2016 |
|
|
huffman_u.hs |