di Domingo Gallardo López, Pilar Arques Corrales, Ignacio Lesta Pelayo · Universidad de Alicante · tapa blanda · ISBN 9788479083762
IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Introducción a la teoría de la computabilidad» è un manuale di Domingo Gallardo López, Pilar Arques Corrales e Ignacio Lesta Pelayo, pubblicato da Publicaciones Universidad de Alicante in brossura, con 243 pagine e in spagnolo.
Presenta i concetti fondamentali della teoria della computabilità, come le macchine di Turing, le funzioni ricorsive, il calcolo universale e la decidibilità e indecidibilità. Include preliminari matematici e mette i concetti in relazione con l'esperienza nei linguaggi di programmazione.
Fa parte della collana «Textos docentes».
Per studenti di ingegneria informatica e lettori interessati ai fondamenti teorici del calcolo.
