Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre Wintersemester 15/16 Vorlesungen Einführung in die Informatik II login

Einführung in die Informatik II

Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Freitag 8:30-10:00, HS1
ModulNummer:IN0003
Beschreibung:    Funktionale Programmierung

Inhalt

  • Korrektheit imperativer Programme
  • Grundbegriffe funktionalen Programmierens mit Ocaml
    • Werte, Variablen, Funktionen
    • Datenstrukturen, Pattern Matching
    • Höhere Funktionen
    • Polymorphe Typen
    • Schlangen
  • Programmieren im Großen: Strukturen und Funktoren
  • Korrektheit funktionaler Programme
  • Nebenläufigkeit mit Kanälen und Rendezvous.

Übungsleitung: Ralf Vogler / Stefan Schulze Frielinghaus

Tutorgruppen:

Tragt euch bis Mittwoch 12:00 Uhr in das Matching ein!

Das Matching ist abgeschlossen und ihr wurdet automatisch in TUMonline und Moodle angemeldet (überprüfen!).

Wer den Termin für das Matching verpasst hat, muss sich nun selbst über TUMonline in eine Gruppe mit freien Plätzen einschreiben.

Der Tutorbetrieb findet ab dem 26. Oktober statt.

Hausaufgaben:

Das erste Aufgabenblatt ist bis zum 26. Oktober 2 Uhr Nachts (2 AM) via Moodle (erst nach dem Matching verfügbar) einzureichen.

Notenbonus: Alle bis auf drei Aufgabenblätter müssen bestanden sein. Ein Aufgabenblatt ist bestanden wenn mindestens 50% der möglichen Punkte erreicht wurden.

Literaturvorschläge

Aufzeichnungen:

Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.

Folien:

Skript:

Zusatzmaterialien:



angehängte Dateien:

    folien.pdf
    Uebungsblatt1.zip

TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 9 ms