Introducción a la Informática : Modelos de Cómputo
/ César Llamas Bello
- Madrid : Editorial Thompson , 2004
- 316 pág. : il.
Incluye: Contenidos, Presentación, Bibliografía
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