Workload:
270 h
|
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 2023 | |
| Assigned Study Areas | BIOINFM, INFM, MDZINFM, MEINFM | |