For those who have a basic knowledge of mathematical logic and would like to deepen their knowledge of the subject. In particular, this course will focus on the connection between arithmetic and computation.
- Lecturer: David Cerna
In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.
- Dozent: Wolfgang Schreiner
This course presents the axiomatic (also called algebraic) specification
of abstract datatypes using tools such as the specification language
CafeOBJ.
- Lecturer: Wolfgang Schreiner
This course gives an introduction to the development of software on
parallel and distributed computing systems (multiprocessors and computer
networks).
- Lecturer: Wolfgang Schreiner
This course explores algorithms and data structures using the object
oriented language Java, with an accent on a frame of software tools used
in real-world applications.
- Lecturer: Cleopatra Pau
In this seminar, we explore current research and systems for specifying
and verifying computer programs (specification languages, program
verifiers, model checkers, ...).
- Lecturer: Wolfgang Schreiner