Arbib, M. A. A Programming Approach to Computability (Monographs in Computer Science)

'A Programming Approach to Computability' von M. A. Arbib ist ein grundlegendes Werk, das sich mit den theoretischen Aspekten der Berechenbarkeit in der Informatik beschäftigt. Das Buch untersucht die Konzepte und Prinzipien, die bestimmen, welche Probleme von Maschinen gelöst werden können, und bietet eine Einführung in die Theorie der rekursiven Funktionen und Turingmaschinen. Arbib legt besonderen Wert darauf, diese theoretischen Grundlagen durch programmierorientierte Ansätze zu veranschaulichen. Dabei wird gezeigt, wie abstrakte mathematische Konzepte in konkrete Computerprogramme umgesetzt werden können. Das Werk richtet sich an Studierende und Fachleute der Informatik, die ein tieferes Verständnis für die Grenzen des maschinellen Rechnens entwickeln möchten.