de | en

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/3SS 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
GesamtaufwandPräsenzveranstaltungenUmfang (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

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
ZeitOrtInfoAnmeldung
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)
Nach oben