Introduction to Informatics 2
This module handbook serves to describe contents, learning outcome, methods and examination type as well as linking to current dates for courses and module examination in the respective sections.
Module version of WS 2012/3 (current)
There are historic module descriptions of this module. A module description is valid until replaced by a newer one.
Whether the module’s courses are offered during a specific semester is listed in the section Courses, Learning and Teaching Methods and Literature below.
|available module versions|
|WS 2012/3||SS 2012|
IN0003 is a semester module in German language at Bachelor’s level which is offered in winter semester.
This Module is included in the following catalogues within the study programs in physics.
- Further Modules from Other Disciplines
|Total workload||Contact hours||Credits (ECTS)|
|150 h||60 h||5 CP|
Content, Learning Outcome and Preconditions
- Correctness of imperative programs
++ Verification according to Floyd or Hoare
- Basic concepts of functional programming
++ Values, variables, functions
++ Data++structures, pattern matching
++ Higher order functions
++ Polymorphic types
++ Programming in the large: Structures and Functors
++ Correctness of functional programs
+++ Semantics of functional programs
+++ Verification of functional programs
Courses, Learning and Teaching Methods and Literature
Courses and Schedule
|VO||2||Functional Programming and Verification (IN0003)||Kappelmann, K. Nipkow, T. Rädle, J. Stevens, L.||
Fri, 08:30–10:00, MI 00.08.038
|UE||2||Functional Programming and Verification, Exercise Session (IN0003)||
Responsible/Coordination: Nipkow, T.
|dates in groups||
Learning and Teaching Methods
Accompanying assignments for individual study deepen the understanding of the concepts explained in the lecture, and train students to apply these to the verification of small programs and to master programming in the given programming language.
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
Description of exams and course work
The successful completion of homework asignments may contribute to the grade as a bonus. The exact details for this are announced timely at the begin of the lecture.
The exam may be repeated at the end of the semester.