Lecture: Theoretische Informatik 2

Contents

The aim of the course is to provide an introduction to the basic concepts, methods, and techniques of mathematics for computer science using selected subfields. You will acquire the skills to analyze real or planned systems by abstracting practical tasks from the field of computer science into mathematical structures and learning. This will lead to you being able to recognize the practical applications of mathematics in computer science, e.g., the importance of functional relationships for continuous connections, linear algebra as the basis for graphical data processing, and analysis for processing signals and solving mathematical models.

Detailed module description.

Type 3 Languages and their Properties

Finite-state Machines

Type 2 Languages and Pushdown Automata

Cellular Automata

Turing Machines

Computational Complexity Theory