Module Number

INFM1110
Module Title

Practical Computer Science 1: Declarative Programming
Type of Module

Compulsory
ECTS 9
Work load
- Contact time
- Self study
Workload:
270 h
Class time:
90 h / 6 SWS
Self study:
180 h
Duration 1 Semester
Frequency In the winter semester
Language of instruction German
Type of Exam

Written Test

Lecture type(s) Lecture, Tutorial
Content

Elements of programming, case distinctions and branching, composite and mixed data, programming with accumulators, higher-order functions, interactive programs, recursive data structures and recursive functions, pattern matching, designing programs, draft recipes, reduction semantics, and program equivalence.

Objectives

Students know design instructions for the systematic design of computer programs and can use them appropriately. They know the characteristics of the functional paradigm and can assess its strengths and limitations. They can structure problems, describe them abstractly and then develop programs in a disciplined process. They can present their results in a comprehensible manner and explain details of their solution path explain their solution in technical terminology.

Allocation of credits / grading
Type of Class
Status
SWS
Credits
Type of Exam
Exam duration
Evaluation
Calculation
of Module (%)
Lecture
V
o
4
6.0
wt
90
g
100
Tutorial
Ü
o
2
3.0
Prerequisite for participation There are no specific prerequisites.
Lecturer / Other Grust, Ostermann
Literature

-

Last offered Wintersemester 2022
Planned for Wintersemester 2024
Assigned Study Areas BIOINFM, INFM, MDZINFM, MEINFM