Funktionales Programmieren (Sommersemester 2010)
- Dozent*in: PD Dr. Nicolas Neuß
- Veranstaltungen: Praktikum (1634)
- Semesterwochenstunden: 2
Der Begriff der Funktion durchzieht die gesamte Mathematik, und lässt sich sogar als deren Grundlage auffassen. Auch in der Informatik und im Programmieren sind Funktionen allgegenwärtig und werden gerade mit Hinblick auf neuere Entwicklungen im parallelen Rechnen immer wichtiger. Trotzdem stellt man fest, dass die "funktionale Denkweise" vielen Personen schwerfällt. Dieses Praktikum soll diesem Missstand abhelfen.
| Termine | ||
|---|---|---|
| Praktikum: | Donnerstag 14:00-15:30 | 1C-02 Poolraum |
| Lehrende | ||
|---|---|---|
| Praktikumsleitung | PD Dr. Nicolas Neuß | |
| Sprechstunde: | ||
| Zimmer Kollegiengebäude Mathematik (20.30) | ||
| Email: neuss@kit.edu | ||
Dieses Praktikum folgt wenigstens am Anfang dem Kurs, der von Harold Abelson und Gerald Sussman lange Jahre am MIT gehalten wurde. Dieser Kurs revolutionierte die Informatikausbildung vor allem in folgenden Punkten:
- Mathematik und Informatik berühren sich an vielen interessanten Stellen, als Beispiele seien Iterationsverfahren, Zahlensysteme und Kryptographie genannt. Beide Gebiete werden hier als Einheit unterrichtet.
- Als Basis wird die sehr einfache Computersprache Scheme verwendet, mit der man buchstäblich von der ersten Minute an interessante Fragestellungen behandeln kann.
- Für das eigenständige Arbeiten gibt es ausgereifte und frei erhältliche interaktive Arbeitsumgebungen, die auf allen bekannten Plattformen problemlos laufen.
Der Inhalt dieser Vorlesung orientiert sich größtenteils an dem unten angegebenen Buch. Wir weichen nur in manchen Punkten ab, z.B., indem wir objektorientiertes Programmieren genauer analysieren oder den Lambda-Kalkül vorstellen: dies ist die kleinstmögliche Turing-vollständige Programmiersprache (sie hat nur zwei Befehle!).
Zielgruppe
Dieser Kurs richtet sich an alle, die Interesse und Spaß am Programmieren haben. Durch eine gewisse Reduktion des wissenschaftlichen Niveaus lässt sich dieser Zugang durchaus auch für den Informatik- und Mathematikunterricht am Gymnasium nutzen, so dass ich insbesondere Lehramtskandidaten zur Teilnahme einladen möchte.
Anmeldung
Sie können sich hier für die Teilnahme am Kurs eintragen.
Anrechnung
Eine Anrechnung von Leistungspunkten ist für dieses Praktikum nicht vorgesehen. Bei regelmäßiger Anwesenheit kann man eine Teilnahmebestätigung erhalten.