Aufzhlbarkeit Entscheidbarkeit Berechenbarkeit

In diesem essential werden wesentliche Konzepte der Berechenbarkeitstheorie erörtert. Zunächst werden unterschiedliche Modelle der Berechenbarkeit eingeführt und ihre semantische Gleichwertigkeit gezeigt. Dieses Resultat steht in Einklang mit der Church-Turing-These, nach der jede intuitiv berechenbare Funktion partiell-rekursiv ist.

Petri Netze sind das am besten untersuchte Modell fur parallele Rechnungen und Stellen/Transitionennetze.

Dieses Lehrbuch behandelt zunächst zentrale Themen der klassischen Theoretischen Informatik und führt darauf aufbauend in die Grundlagen der Algorithmischen Informationstheorie ein. Behandelt werden insbesondere die Fragestellungen:

Die Bildung der grundlegenden Begriffe und Konzepte der Informatik und der Mathematik wie Programm, Algorithmus, Beweis und Argumentation, Unendlichkeit und die Grenzen der Automatisierbarkeit werden ohne Vorwissen des Lesers in der Informatik in kleinen Schritten vermittelt.