Lecture: Theoretische Informatik 1

Contents

In this module, you will learn the formal fundamentals of computer science, such as concepts, methods, models and working methods by abstracting and modeling problems. We will be using logical algebraic calculus, graph theory notation, formal languages and automata to identify the algorithmic core of problems, design and implement suitable algorithms, and examine existing implementations for their properties.

Detailed module description.

Contents