Algorithmische Kombinatorik


The first part of the lecture introduces to basic combinatorial
sequences like binomial coefficients, partition numbers, or Stirling
numbers.

The main part of the lecture is devoted to the concept of group
actions. This fundamental concept, connecting algebra with
combinatorics, can be viewed as the basis of Polya's counting theory.
Typical applications, for instance, concern different colorings of the
cube, or determining the total number of molecular graphs of a
certain type (e.g., alcohols).

Computer Analysis


The lecture will be in ENGLISH. (Not in German, as announced elsewhere!)

We discuss basic notions and methods to solve problems originating in analysis (like the problem of integration or of proving special function identities) with tools from computer algebra. The whole lecture has introductory character.

Computersysteme (SS 2010)

In dieser Lehrveranstaltung behandeln wir (als Fortsetzung der LVA "Programmierung") objektorientierte Programmierung in C++.

Formal Specification of Abstract Datatypes (SS 2010)

This course presents the axiomatic (also called algebraic) specification of abstract datatypes using tools such as the specification language CafeOBJ.

Introduction to Parallel and Distributed Computing (SS 2010)

This course gives an introduction to the development of software on parallel and distributed computing systems (multiprocessors and computer networks).

Magister- und Dissertantenseminar 2010S (P. Paule)

The purpose of the meetings is to discuss progress made in diploma or PhD theses advised by the lecturer.

Praktische Softwaretechnologie (SS2010)

Language of the Course: English

Topics of the Course:
  • Object Oriented (OO) Programming
  • A Modern OO Language: Java
  • Implementation of some algorithms in Java
  • A Software Development Environment : Eclipse
  • A Version Control System: Subversion
  • The Modeling Language UML
  • Design Patterns
  • The Java Test Framework JUnit
  • Introduction into Web Service

Project Seminar "Formal Methods II" (326.090, SS 2010)

In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...).

Projektseminar Algorithmische Kombinatorik 2010S


The seminar language is English. The overall goal of this
seminar is to study aspects of recent algorithmic developments, and to
discuss progress made in various research projects.