Home | english | Impressum | Sitemap | Intranet | KIT
Arbeitsgruppe 3: Wissenschaftliches Rechnen

Sekretariat
Kollegiengebäude Mathematik (20.30)
Zimmer 3.039

Adresse
Hausadresse:
Zimmer 3.039
Englerstr. 2
Kollegiengebäude Mathematik (20.30)
76131 Karlsruhe

Postadresse:
Karlsruher Institut für Technologie (KIT)
Fakultät für Mathematik
Institut für Angewandte und Numerische Mathematik
Arbeitsgruppe 3: Wissenschaftliches Rechnen
Englerstr. 2
Kollegiengebäude Mathematik (20.30)
D-76131 Karlsruhe

Öffnungszeiten:
Mo-Do 9-12 Uhr

Tel.: 0721 608 42062

Fax.: 0721 608 43197

Funktionales Programmieren (Sommersemester 2010)

Dozent: 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
Dozenten
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.

Literaturhinweise

Bücher

Software