Einführung in die Informatik II (IN0003)

Wintersemester 2011/12

Andrey Rybalchenko, Ruslán Ledesma Garza

News

12.03.2012: Sie können sich nun auf auf TUMOnline für die Wiederholungsklausur anmelden.
11.03.2012: Wenn Sie Ihre Note in TUMonline nicht finden können, vereinbaren Sie bitte hier einen Termin.
09.03.2012: Sie finden hier eine Musterlösung der Klausur.
09.03.2012: Der Notenschlüssel für die Klausur ist der folgende:

Punkte Bereich	Note
92.09 <= X <= 105.00	1.0
85.29 <= X < 92.09	1.3
78.50 <= X < 85.29	1.7
72.67 <= X < 78.50	2.0
65.88 <= X < 72.67	2.3
59.08 <= X < 65.88	2.7
53.25 <= X < 59.08	3.0
46.46 <= X < 53.25	3.3
39.66 <= X < 46.46	3.7
33.84 <= X < 39.66	4.0
27.04 <= X < 33.84	4.3
20.25 <= X < 27.04	4.7
0.00 <= X < 20.25	5.0

Die Verteilung der Punkte und Noten aus der Klausur ist wie folgt:


08.03.2012: Die Noten der Klausur sind nun in TUMonline eingetragen. Am Montag, den 12. März 2012, wird in MI 03.09.014 die Klausureinsicht stattfinden. Sie werden dort 10 Minuten Zeit haben um Ihre Klausur einzusehen. Bitte melden Sie sich dafür über dieses Formular an.

10.02.2012 11:45: Die Prüfung Räume sind die folgenden. Bitte stellen Sie Ihre!

Hörsaal	Mehr Hörsaal Info	Namensbereich
(1) MW 0001	Maschinenwesen, Gustav-Niemann-Hörsaal (HS 0001)	A - Gre
(2) MW 2001	Maschinenwesen, Rudolf-Diesel-Hörsaal (HS 2001)	Gri - Meh
(3) MW 1801	Maschinenwesen, Ernst-Schmidt-Hörsaal (HS 1801)	Mei - Rott
(4) MI, Hörsaal 1	Informatik, MI 00.02.001	Rotte - Voi
(5) Physik, Hörsaal 1	Physik Department I, Rudolf-Mößhauer-Hörsaal	Vö - Z

10.02.2012 11:00: Das Merkblatt 3 wurde aktualisiert. Sie finden dort wichtige Informationen für Studierende, die nicht zur Prüfung angemeldet sind.
09.02.2012 17:30: Bitte suchen Sie sich aus Merkblatt 3 den Raum für die Klausur heraus für den Sie zugeteilt wurden. Bitte stellen Sie auch sicher, dass Sie wissen wo sich der Raum befindet!
09.02.2012 16:05: Das Merkblatt 3 wurde aktualisiert.
06.02.2012: Diese Woche gibt es kein Übungsblatt. Wenn Sie Fragen zum Stoff haben, stellen Sie diese bitte Ihrem Tutor.
05.02.2012: Das Merkblatt 3 (Merkblatt zur Klausur) ist online.
05.02.2012: Das Merkblatt 2 (Nützliche Hinweise) ist online.
05.02.2012: Die erste Gleichung für p_rev in der Lösungsvorschlag 10.19 in dem beantwortet Übungsblatt 11 wurde aktualisiert.
05.02.2012: Beantwortet Übungsblatt 12 und Mini-test 12 sind online.
01.02.2012: Das Übungsblatt 12 wurde aktualisiert.
31.01.2012: Das Übungsblatt 12 ist online.
30.01.2012: Das vorläufige Übungsblatt 12 ist online.
30.01.2012: Beantwortet Übungsblatt 11 und Mini-test 11 sind online.
26.01.2012: Das Merkblatt zur Klausur ist online.
24.01.2012: Das Skript von heute ist online.
24.01.2012: Das Übungsblatt 11 ist online.
23.01.2012: Beantwortet Übungsblatt 10 und Mini-test 10 sind online.
18.01.2012: Klausurhilfsmittel: Es ist ein beidseitig handbeschriebenes DinA4-Blatt erlaubt. Ansonsten keine Hilfsmittel. Ein Merkblatt mit nützlichen Prozeduren wird zur Verfügung gestellt.
18.01.2012: Das Übungsblatt 10 wurde aktualisiert.
17.01.2012: Das Übungsblatt 10 ist online.
15.01.2012: Das vorläufige Übungsblatt 10 ist online.
15.01.2012: Beantwortet Übungsblatt 9 und Mini-test 9 sind online.
10.01.2012: Das Übungsblatt 9 ist online.
09.01.2012: Das vorläufige Übungsblatt 9 ist online.
25.12.2011: Beantwortet Übungsblatt 8 und Mini-test 8 sind online.
22.11.2011: Die Aufgaben 14.7 und 14.15 in dem Übungsblatt 8 wurde aktualisiert.
20.12.2011: Das Übungsblatt 8 ist online.
17.12.2011: Das vorläufige Übungsblatt 8 ist online.
17.12.2011: Beantwortet Übungsblatt 7 und Mini-test 7 sind online.
14.11.2011: Die Aufgabe 15.21 in dem Übungsblatt 7 wurde aktualisiert.
13.12.2011: Das Übungsblatt 7 ist online.
04.12.2011: Das vorläufige Übungsblatt 7 ist online.
10.12.2011: Beantwortet Übungsblatt 6 und Mini-test 6 sind online.
06.12.2011: Das Übungsblatt 6 ist online.
04.12.2011: Das vorläufige Übungsblatt 6 ist online.
04.12.2011: Beantwortet Übungsblatt 5 und Mini-test 5 sind online.
30.11.2011: Die Aufgabe 3.36 in dem Übungsblatt 5 wurde aktualisiert.
29.11.2011 22:00: Das Skript von heute wurde aktualisiert.
29.11.2011: Das Übungsblatt 5 wurde aktualisiert.
29.11.2011: Das Skript von heute ist online.
29.11.2011: Die Tabelle von Übungsgruppen wurde aktualisiert.
28.11.2011: Beantwortet Übungsblatt 4 und Mini-test 4 sind online.
27.11.2011: Das vorläufige Übungsblatt 5 ist online.
24.11.2011: Die Aufgabe 2.6 in dem Übungsblatt 4 wurde aktualisiert.
24.11.2011: Das Skript vom 22.11.2011 wurde aktualisiert.
22.11.2011: Übungsblatt 4 ist online.
21.11.2011 16:50: Das vorläufige Übungsblatt 4 wurde aktualisiert.
21.11.2011: Das vorläufige Skript für Morgen ist online.
21.11.2011: Das vorläufige Übungsblatt 4 ist online.
20.11.2011: Beantwortet Übungsblatt 3 und Mini-test 3 sind online.
16.11.2011: Übungsblatt 3 wurde aktualisiert.
15.11.2011: Skript von heute ist online.
15.11.2011: Übungsblatt 3 ist online.
14.11.2011: Beantwortet Übungsblatt 2 und Mini-test 2 sind online.
8.11.2011: Übungsblatt 2 ist online.
7.11.2011: Beantwortet Übungsblatt 1 und Mini-test 1 sind online.
25.10.2011: Übungsblatt 1 und Übersichtsfolien sind online.
25.10.2011: Merkblatt 1 ist online.
17.10.2011: Was Sie tun können, bevor die Vorlesung anfängt: sehen Sie unten!
17.10.2011: Die Übungstermine werden während der ersten Vorlesung am 25. Oktober besprochen. Diese Woche finden keine Übungen statt.
17.10.2011: Nützliche Software ist online.

Wichtige Dokumente

Merkblatt 1
Übersichtsfolien Musterlösung der Klausur

Übungsblätter

Termine

Inhalte

Die Vorlesung bietet eine Einführung in die funktionale Programmierung und grundlegende Techniken für Korrektheitsbeweise und Laufzeitbestimmungen. Programmierkenntnisse werden nicht vorausgesetzt. Die Vorkenntnisse aus dem Fach Diskrete Strukturen sind hilfreich. Wir verwenden die funktionale Programmiersprache Standard ML, mit der auch anspruchsvolle Programme einfach realisiert werden können.

Wir werden uns an das erprobte Buch Programmierung - eine Einführung in die Informatik mit Standard ML von Gert Smolka halten und ausgewählte Kapitel in der Vorlesung behandeln. Dieses Buch gibt es in größerer Stückzahl in der Lehrbuchsammlung, unter der Signatur 0703/DAT 364f 2010 L 806, und als eBook.

Um das Ebook herunter zu laden verwenden Sie folgenden Link: DOWNLOAD
Der Vorlesungsstoff ist verwandt aber nicht identisch zu dem Inhalt der bisherigen IN0003-Vorlesungen.

Nützliche Software

• Emacs Editor
• PolyML Programmiersystem.
  Siehe auch PolyML Pakete für diverse Linux Distributionen, z.B. in Ubuntu, ein Port für MAC OS X, und ein Paket für Windows.
• PolyML-Anbindung an Emacs (folgen Sie der Anleitung in INSTALL).
• Hinweise zum installieren von Emacs/PolyML unter Windows (aus dem Infler Forum):
  
  

  Wenn man emacs und polyml installiert hat und den Ordner mit den Info2 Dateien irgendwo entpackt hat, muss man noch folgendes machen:
  
  1. Umgebungsvariable HOME erstellen, zb auf C:\Users\name Da gibts genug Anleitungen im Netz
  
  2. Die INSTALL Datei da hinkopieren und in .emacs umbenennen. Der explorer hat bei mir gezickt, also evtl. mit Notepad umbenennen..
  
  3. Pfade anpassen. ML wird wohl unter "C:/Programme/Poly ML/PolyML.exe" liegen, die info Dateien wo auch immer man sie entpackt hat. Wichtig nur / verwenden und nicht \
  
  4. Den Ordner "tmp" auf C: erstellen o.O
  
  5. Hoffen, dass es geht. Der sml-mode startet sich automatisch, wenn man eine Datei mit .sml Endung lädt.

  Hinweise für die .emacs Datei unter Windows (aus dem Infler Forum):
  
  

  Es müssen nur die roten Pfade gegen die eigenen ausgetauscht werden, sonst nix. Es dürfen NUR normale slashes ("/") verwendet werden und nich die backslashes ("\") von Windows. Also nicht einfach den Pfad ausm Explorer kopieren.
  
  ;; 1. Fügen Sie diesen Inhalt in die Datei .emacs auf Ihrem Rechner
  ;; 2. Passen Sie den Pfad und den Dateinamen an.
  
  ;; SML mode in .emacs
  
  ;; ANPASSEN: Pfad zum polyml-infoII Verzeichniss
  (setq load-path (cons "C:/polyml-infoII" load-path))
  (autoload 'sml-mode "sml-mode" "Major mode for editing SML." t)
  
  ;; ANPASSEN: PolyML Executable auf Ihrem Rechner
  (setq sml-program-name "C:/Programme/Poly ML/PolyML.exe")
  (setq sml-load-hook '(lambda() "Fontify SML." (require 'sml-font)))
  (require 'sml-site)
  (setq auto-mode-alist
  (append '(("\\.sml$" . sml-mode)
  ("\\.sig$" . sml-mode)
  ("\\.ML$" . sml-mode)) auto-mode-alist))
  
  ; Unterstützung für die SUNs im CIP-Pool, nicht zwingend notwendig
  ;(load "sun-support.el")
  

• Alternativ kann unter Windows Alice verwendet werden (GUI basierendes Tool mit Installer).

Was Sie tun können, bevor die Vorlesung anfängt

• Besorgen Sie sich das Buch zur Vorlesung.
• Machen Sie sich mit dem ersten Kapitel aus dem Buch vertraut.
• Installieren Sie einen Standard ML Interpreter auf Ihrem Computer. Erproben Sie die Beispiele im ersten Kapitel des Buches.