General
- study semester
-
1
- standard study semester
-
6
- cycle
- every winter semester
- duration
- 1 semester
- SWS
- 6
- ECTS
- 9
- teaching language
- English
People
- responsible
-
Prof. Dr. Gert Smolka
- lectures
-
Prof. Dr. Gert Smolka
Prof. Dr.-Ing. Holger Hermanns
Prof. Bernd Finkbeiner, Ph.D
Assessment & Grades
- entrance requirements
-
none
- assessment / exams
- Weekly exercises / tests
- Midterm and endterm exam
- Re-examination at end of semester
- grade
Grade combines performance in exams and weekly exercises.
Workload
- course type /weekly hours
4 h lectures
+ 2 h tutorial
= 6 h (weekly)
- total workload
90 h of classes
+ 180 h private study
= 270 h (= 9 ECTS)
Aims / Competences to be developed
- functional programming, higher-order and typed
- practical programming skills using an interpreter, debugging, testing
- recursive data structures and recursive algorithms (numbers, lists, trees)
- exceptions
- type abstraction and modularity
- data structures with mutable state, exceptions
- correctness proofs and runtime estimates
- structure of programming languages
- formal description of programming languages (syntax and semantics)
- implementation of programming languages (parsers, interpreters, compilers, stack machines)
Content
Literature & Reading
Will be announced before the start of the course on the course page on the Internet.
Additional Information
This module is identical in content to the German-language module Programmierung 1.
Curriculum
This module is part of the following study programmes:
Computer Science BSc (English): Grundlagen der Informatik
study semester: 1 / standard study semester: 6
Cybersecurity BSc (English): Grundlagen der Informatik
study semester: 1 / standard study semester: 6