Faculty of Technology Bielefeld University

Vorlesung: Algorithmen & Datenstrukturen WS 2011/2012

Veranstalter: Prof. Dr. Robert Giegerich

Termine:
Dienstag 14 - 16 wöchentlich
Freitag 14-16 am 14.10., 21.10., 11.11., 25.11., 9.12., 16.12., 13.1., 27.1.

Literatur zu A&D

Skript und Literatur zu A&D

Folien

Die Folien zur Vorlesung sind Arbeitsmaterial. Wenn ein neues Kapitel erstmals hier erscheint, ist das noch nicht unbedingt die vollständige Fassung. Wer es sich früh herunterlädt, sollte später nochmals nachsehen ...

• Kapitel 1: Prolog, Einleitung, Überblick
  Hierzu gehört auch der Text von Kapitel 1 des Skripts.
• Kapitel 2: Modellierung
• Kapitel 3: Maschinenmodelle
• Kapitel 4: Strategien der algorithmischen Problemlösung (lcs.lhs)
• Kapitel 5: Effizienz von Algorithmen, asymptotische Effizienz-Analyse
• Kapitel 6: Algorithmen auf Zeichenreihen

Vorlesung: Programmieren in Haskell WS 2011/2012

Veranstalter: Dr. Georg Sauthoff (M3-128)

Folien

• Einführung (12.10.2011) (Druckversion)
• Syntax, Expressions, Typen (19.10.2011) (Druckversion)
• Algebraische Datentypen, Musik und Arrays (26.10.2011) (Druckversion)
  • ad.musik.2011.tar.gz
  • README
• Listen (2.11.2011, 9.11.2011) (Druckversion)
  • listen.lhs
  • listen_eingebaut.lhs
• Typpolymorphismus, Typklassen (11.11.2011) (Druckversion)
  • dfa.lhs
• Rechenstrategien (16.11.2011, 23.11.2011) (Druckversion)
• Rechenstrategien, Typ-Inferenz, Higher-Order-Functions (23.11.2011, 30.11.2011, 7.12.2011) (Druckversion)
• Higher-Order-Functions, foldr, foldl (7.12.2011) (Druckversion)
• Strukturelle Rekursion, Bäume (14.12.2011) (Druckversion)
  • talk09.lhs
• Abstrakte Datentypen (ADT), Induktion (11.1.2012) (Druckversion)
  • stack.lhs
  • bag.lhs
• ADT, Monaden (18.1.2012, 25.1.2012) (Druckversion)
  • mona.lhs
  • prog.lhs
• DSL, QuickCheck (1.2.2012) (Druckversion)
  • parse.lhs
  • qc.lhs

Die Foliensätze sind jeweils in der Präsentationsversion und in einer Druckversion, die nur die vollständig aufgedeckten Seiten enthält, verfügbar.

Literatur zu Haskell

Literatur zu Haskell

Links zu Haskell

• Hugs zum Download
• Haskell Homepage

Einführungen

• Haskell in der TechFak
• A Gentle Introduction to Haskell
• Erklärungen für Hugs-Fehlermeldungen
• Haskell-Kurs (auf Deutsch, von Ralf Hinze)

Referenzen

• Haskell Dokumentation
• Übersicht über die Standard-Haskell-Funktionen
• The Haskell API Search Engine (Hoogle)

Übungen

Veranstalter: Dr. Georg Sauthoff (M3-128)

Aufgabenblätter

• Aufgabenblatt 1 (Einführung, Fibonacci, Flussdiagramm)
• Aufgabenblatt 2 (Parkplatz, Ausdrücke, min, eq)
• Aufgabenblatt 3 (TSP, Lazy eval, gcd)
• Aufgabenblatt 4 (Ableitung, Musik)
• Aufgabenblatt 5 (Sortieren, EA)
• Aufgabenblatt 6 (EA, Typklassen, Registermaschinen)
• Aufgabenblatt 7 (Listen, Rechenstrategien, Registermaschinen)
• Aufgabenblatt 8 (Listen, Typpolymorphismus, Higher-Order-Functions)
• Aufgabenblatt 9 (Folding, Lambda Expressions, DP)
• Aufgabenblatt 10 (Higher-Order Fns, Bäume, DP, Springer)
• Aufgabenblatt 11 (Weihnachtsaufgabenblatt, Rucksackproblem, Sudoku)
• Aufgabenblatt 12 (Korrektheitsbeweise, ADT, Komplexität)
• Aufgabenblatt 13 (Korrektheitsbeweise, ADT, Effizienzanalyse)
• Aufgabenblatt 14 (Induktion, Traversierung, Monaden, BM-Algorithmus)

Sprechzeiten

Falls Ihr Hilfe beim Lösen der Übungsaufgaben benötigt: Im Tutorenraum (V2-228) und im freien Arbeitsraum (V2-240) im GZI sitzen (fast) rund um die Uhr hilfsbereite Tutorinnen und Tutoren, die Euch gerne unterstützen.

Sonstige Anfragen und Feedback zu den Übungen oder den Vorlesungen an:

Georg Sauthoff
M3-128
Sprechstunde: Mittwoch 14h oder nach Vereinbarung

Tutoren

Zur Vermeidung von Spam enthält die Tabelle keine vollständigen E-Mail-Adressen - man muss das Prefix jeweils mit @techfak.uni-bielefeld.de vervollständigen.

Die Lösungen zu den Programmieraufgaben müssen per Email als .lhs-Datei an die Tutoren geschickt werden.

$Date: 2012/04/02 14:13:31 $