TY  - BOOK
AU  - Llamas Bello, César
TI  - Introducción a la Informática: : Modelos de Cómputo
SN  - 8497322797
AV  - QA76 B34 2004
PY  - 2004///
CY  - Madrid
PB  - : Editorial Thompson
KW  - COMPUTACIÓN
KW  - PROCESAMIENTO DE DATOS
N1  - 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
ER  -