: Modelos de Cómputo Llamas Bello, César creator autor text sp Madrid : Editorial Thompson , 2004 2004 monographic spa

print

316 pág. : il. I. Informática II. Conceptos básicos III. Contexto Histórico IV. Cálculo simbólico V. Lógica de Proposiciones VI. Lógicas VII. Funciones: Cálculo-lambda VIII. Sistema de producciones de Post IX. Autómatas X. Conceptos de Computabilidad: Máquina de Turing XI. Cálculo de Sistemas que se Comunican / César Llamas Bello Incluye: Contenidos, Presentación, Bibliografía COMPUTACIÓN PROCESAMIENTO DE DATOS QA76 B34 2004 8497322797 120626