par Domingo Gallardo López, Pilar Arques Corrales, Ignacio Lesta Pelayo · Universidad de Alicante · tapa blanda · ISBN 9788479083762
TVA incluse
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
«Introducción a la teoría de la computabilidad» est un manuel de Domingo Gallardo López, Pilar Arques Corrales et Ignacio Lesta Pelayo, publié par Publicaciones Universidad de Alicante au format broché, comptant 243 pages et rédigé en espagnol.
Il présente les concepts fondamentaux de la théorie de la calculabilité, tels que les machines de Turing, les fonctions récursives, le calcul universel ainsi que la décidabilité et l'indécidabilité. Il comprend des préliminaires mathématiques et met les concepts en relation avec l'expérience des langages de programmation.
Il fait partie de la collection «Textos docentes».
Pour les étudiants en génie informatique et les lecteurs intéressés par les fondements théoriques du calcul.
