Prof. Dr. Kurt-Ulrich Witt lehrt und forscht seit über zwanzig Jahren am Fachbereich Informatik der Hochschule Bonn-Rhein-Sieg. Er ist Autor mehrerer Lehrbücher zu mathematischen und theoretischen Grundlagen der Informatik.Dr. Martin E. Müller ist Privatdozent an der Universität Augsburg und Professor für mathematische und theoretische Grundlagen der Informatik an der Hochschule Bonn-Rhein-Sieg. Er lehrt und forscht seit über zehn Jahren in verschiedenen Gebieten der Theoretischen Informatik, der Diskreten Mathematik sowie der Algebraischen Logik.Beiden Autoren liegt eine mathematisch und theoretisch fundierte Ausbildung der Informatik-Studierenden besonders am Herzen.

• Einführung und Übersicht.- Alphabete, Wörter, Sprachen.- Berechenbarkeit.- Laufzeit-Komplexität.- Universelle Berechenbarkeit.- Unentscheidbare Mengen.- Kolmogorov-Komplexität.- Anwendungen der Kolmogorov-Komplexität.

Prof. Dr. Kurt-Ulrich Witt lehrt und forscht seit über zwanzig Jahren am Fachbereich Informatik der Hochschule Bonn-Rhein-Sieg. Er ist Autor mehrerer Lehrbücher zu mathematischen und theoretischen Grundlagen der Informatik.Dr. Martin E. Müller ist Privatdozent an der Universität Augsburg und Professor für mathematische und theoretische Grundlagen der Informatik an der Hochschule Bonn-Rhein-Sieg. Er lehrt und forscht seit über zehn Jahren in verschiedenen Gebieten der Theoretischen Informatik, der Diskreten Mathematik sowie der Algebraischen Logik.Beiden Autoren liegt eine mathematisch und theoretisch fundierte Ausbildung der Informatik-Studierenden besonders am Herzen.

• Einführung und Übersicht.- Alphabete, Wörter, Sprachen.- Berechenbarkeit.- Laufzeit-Komplexität.- Universelle Berechenbarkeit.- Unentscheidbare Mengen.- Kolmogorov-Komplexität.- Anwendungen der Kolmogorov-Komplexität.