Einführung in die Informatik 2
Introduction to Informatics 2

Modul IN0003

Dieses Modul wird durch Fakultät für Informatik bereitgestellt.

Diese Modulbeschreibung enthält neben den eigentlichen Beschreibungen der Inhalte, Lernergebnisse, Lehr- und Lernmethoden und Prüfungsformen auch Verweise auf die aktuellen Lehrveranstaltungen und Termine für die Modulprüfung in den jeweiligen Abschnitten.

Modulversion vom SS 2012

Von dieser Modulbeschreibung gibt es historische Versionen. Eine Modulbeschreibung ist immer so lange gültig, bis sie von einer neuen abgelöst wird.

verfügbare Modulversionen
WS 2012/3	SS 2012

Basisdaten

IN0003 ist ein Semestermodul in Deutsch auf Bachelor-Niveau das im Wintersemester angeboten wird.

Das Modul ist Bestandteil der folgenden Kataloge in den Studienangeboten der Physik.

weitere Module aus anderen Fachrichtungen

Gesamtaufwand	Präsenzveranstaltungen	Umfang (ECTS)
150 h	60 h	5 CP

Inhalte, Lernergebnisse und Voraussetzungen

Inhalt

In dem Modul IN0003 werden beispielhaft folgende Inhalte behandelt:
- Korrektheit imperativer Programme
++ Verifikation nach Floyd oder Hoare
++ Terminierung
++ Prozeduren
- Grundbegriffe funktionalen Programmierens
++ Werte, Variablen, Funktionen
++ Datenstrukturen, Pattern Matching
++ Höhere Funktionen
++ Polymorphe Typen
++ Programmieren im Großen: Strukturen und Funktoren
++ Korrektheit funktionaler Programme
+++ Semantik funktionaler Programme
+++ Verifikation funktionaler Programme

Lernergebnisse

Nach erfolgreicher Teilnahme an diesem Modul verstehen die Studierenden die wesentlichen Konzepte einer funktionalen Programmiersprache. Sie können in einer funktionalen Programmiersprache überschaubare algorithmische Probleme lösen. Deshalb sind sie in der Lage, sich andere funktionale Programmiersprachen eigenständig anzueignen. Sie erlernen weiterhin die wesentlichen Techniken zur Verifizierung sowohl imperativer wie funktionaler Programme und können diese auf einfache Programme anwenden.

Voraussetzungen

IN0001 Einführung in die Informatik 1

Lehrveranstaltungen, Lern- und Lehrmethoden und Literaturhinweise

Lehrveranstaltungen und Termine

WS 2018/9 WS 2017/8 WS 2016/7 WS 2015/6 WS 2014/5 WS 2013/4 WS 2012/3

Art	SWS	Titel	Dozent(en)	Termine
VO	2	Funktionale Programmierung und Verifikation (IN0003)	Seidl, H.	Fr, 08:15–09:45, MW 2001
UE	2	Übungen zu Funktionale Programmierung und Verifikation (IN0003)	Hartmann, N. Vogler, R. Leitung/Koordination: Seidl, H.	Termine in Gruppen
UE	2	Übungen zu Funktionale Programmierung und Verifikation (IN0003)	Hartmann, N. Vogler, R. Leitung/Koordination: Seidl, H.	Termine in Gruppen

Lern- und Lehrmethoden

Vorlesung, Tutorübung, Aufgaben zum Selbststudium

Medienformen

Folienpräsentation, Tafelanschrieb, eventuell online Programmierung und/oder Animationen

Literatur

Guy Cousineau und Michel Mauny, The Functional Approach to Programming, Cambridge University Press, Cambridge, 1998
Apt, Olderog: Programm-Verifikation. Springer 1991
Gerd Smolka: Programmierung - eine Einführung in die Informatik mit Standard ML. Oldenburg, 2007
Simon Tompson: Haskell: the Craft of Functional Programming. Addison-Wesley, 2011

Modulprüfung

Beschreibung der Prüfungs- und Studienleistungen

Prüfungsart: Klausur

Die Prüfungsleistung wird in Form einer Klausur erbracht. In kleinen Programmieraufgaben weisen die Studierenden nach, dass sie eine funktionale Programmiersprache beherrschen und überschaubare Programmieraufgaben bewältigen können. Indem sie einfache Invarianten herleiten, demonstrieren sie, dass sie die Grundzüge der Programmverifikation verstanden haben und anwenden können.

Wiederholbarkeit

Eine Wiederholungsmöglichkeit wird am Semesterende angeboten.

Aktuell zugeordnete Prüfungstermine

Derzeit sind in TUMonline die folgenden Prüfungstermine angelegt. Bitte beachten Sie neben den oben stehenden allgemeinen Hinweisen auch stets aktuelle Ankündigungen während der Lehrveranstaltungen.

Titel
Zeit	Ort	Info	Anmeldung
Funktionale Programmierung und Verifikation
Mi, 20.2.2019, 16:00 bis 18:00	Interims I: 101 MW: 0001 MW: 1350 MW: 1450 MW: 1801 MW: 2001 PH: 2501 PH: 2502 CH: 21010 Interims II: 003 Interims II: 004	Import	bis 15.1.2019 (Abmeldung bis 13.2.2019)

Einführung in die Informatik 2Introduction to Informatics 2