Berechenbarkeit
Logik, Argumentation, Rechner und Assembler, Unendlichkeit, Grenzen der Automatisierbarkeit Lehrbuch für Unterricht und Selbststudium
Juraj Hromkovic
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.