In diesem Buch werden die grundlegenden Begriffe und Konzepte der Informatik wie Programm, Algorithmus, Beweis und Argumentation, Unendlichkeit und die Grenzen der Automatisierbarkeit ohne Vorwissen der Leserin oder des Lesers in kleinen Schritten vermittelt.
Deutsch
Vieweg+Teubner
978-3-8348-1509-5
Juraj Hromkovič