00950nam a2200193Ia 4500 0 0 lcc 0 0 01 01 2022-11-17 0 QA76 B34 2004 16 003075 2023-07-13 1 2022-11-17 LB 0 0 lcc 0 0 01 01 2022-11-17 0 QA76 B34 2004 16 003076 2023-07-13 2 2022-11-17 LB 68162 68162 120626s2004 sp a 000 0 spa d 8497322797 QA76 B34 2004 Llamas Bello, César autor 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 Material Complementario/ 16 003075 COMPUTACIÓN PROCESAMIENTO DE DATOS LB lcc