Vorlesungsankündigung Einführung in die Informatik 2 (IN0003) Prof. Dr. Helmut Seidl Wintersemester 2008/2009

Termine Inhalt Materialien

Hinweise/Termine:

• Vorlesung: Dienstags 16:00 -17:30 Uhr im HS 1
  
• Klausureinsicht: Die Änderungen wurden in TUMonline eingetragen.
• Klausur SoSe09: Die Ergebnisse der Klausur können in TUMonline eingesehen werden.
  Es gilt der gleiche Notenschlüssel, wie bei der vorigen Klausur (ohne Bonus).
• Klausur SoSe09, TUMonline: Informationen vom TUMonline-Beauftragten zur Klausuranmeldung:
  "Die Pflichtanmeldungen werden von uns noch nachgetragen.
  Zur Zeit haben wir noch Probleme, die entsprechenden Kandidaten in TUMonline richtig zu selektierten.
  Die Studierenden sollten sich allerdings immer selber zu Prüfungen anmelden, an denen sie teilnemen wollen (z.B. für eine verlässliche Klausurvorbereitung)."
  Die Liste der Teilnehmer haben wir weitergeleitet.
  
• Repetitorien: Der Lehrstuhl für Didaktik bietet Repetitorien (mit begrenzter Teilnehmerzahl) zur Vorbereitung auf die Klausur an.
• Klausur: Die Ergebnisse der Klausur können in TUMonline eingesehen werden.
• Klausureinsicht: Die Änderungen wurden in TUMonline eingetragen.
• Notenschlüssel (ohne Bonus):
  47 - 50,0 Punkte: 1,0;     44 - 46,5 Punkte: 1,3;     41 - 43,5 Punkte: 1,7
  38 - 40,5 Punkte: 2,0;     35 - 37,5 Punkte: 2,3;     32 - 34,5 Punkte: 2,7
  29 - 31,5 Punkte: 3,0;     26 - 28,5 Punkte: 3,3;     23 - 25,5 Punkte: 3,7
  20 - 22,5 Punkte: 4,0;     < 20 Punkte: nicht bestanden
• Bonus: Folgende Bedingungen müssen erfüllt sein, um den Notenbonus für eine bestandene Klausur (im Februar) zu erhalten:
  • Verifikation: Summe der Punkte von Blatt 2 bis 5 plus die Hälfte der Punkte von Blatt 6 muss mindestens 3,5 ergeben.
  • OCaml: Summe der Punkte von Blatt 7 bis 12 plus die Hälfte der Punkte von Blatt 6 muss mindestens 5,5 ergeben.

Inhalt:

• Korrektheit imperativer Programme
• Verifikation nach Floyd
• Terminierung
• Prozeduren
• Lokale Variablen
• 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
  • Semantik
  • Verifikation

Literaturvorschläge:

• OCaml Dokumentation (OCaml User's Guide, OCaml Tutorials u.v.m.)
• Guy Cousineau und Michel Mauny, The Functional Approach to Programming, Cambridge University Press, Cambridge, 1998
• T. Ottmann, P. Widmayer: Algorithmen und Datenstrukturen. Spektrum 2002
• M. Broy: Informatik. Eine grundlegende Einführung. Bände 1+2, Springer 1998
• Apt, Olderog: Programm-Verifikation. Springer 1991

Aufzeichnungen:

Die aufgezeichneten Vorlesungen befinden sich im TeleTeachingTool-Archiv.

Folien:

• Vorlesung am 14. Okt. 2008: PS, PDF
• Vorlesung am 21. Okt. 2008: PS, PDF
• Vorlesung am 28. Okt. 2008: PS, PDF
• Vorlesung am 4. Nov. 2008: PS, PDF
• Vorlesung am 11. Nov. 2008: PS, PDF
• Vorlesung am 18. Nov. 2008: PS, PDF
• Vorlesung am 25. Nov. 2008: PS, PDF
• Vorlesung am 02. Dez. 2008: PS, PDF
• Vorlesung am 09. Dez. 2008: PS, PDF
• Vorlesung am 16. Dez. 2008: PS, PDF
• Vorlesung am 23. Dez. 2008 fällt aus!
• Vorlesung am 13. Jan. 2009: PS, PDF
• Vorlesung am 20. Jan. 2009: PS, PDF
• Vorlesung am 27. Jan. 2009: PS, PDF

Skript:

• PDF

Zusatzmaterialien:

• OCaml Homepage
• OCaml Dokumentation
• Ein Modul zum Parsen von Termen: Für ocaml version 3.10.xx:mo.zip  Für ocaml version 3.08.xx:mo_3_08_03.zip  (Dazugehörige Anleitung)

Forum:

Infler