Introducción a la Informática : Modelos de Cómputo / César Llamas Bello
Por: Llamas Bello, César [autor]
Tipo de material:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
Contenidos:
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
Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|
![]() |
Plantel Tlalpan "Lic. Javier Campos Ycardo" | QA76 B34 2004 (Navegar estantería(Abre debajo)) | 1 | Disponible | 16 003075 | |
![]() |
Plantel Tlalpan "Lic. Javier Campos Ycardo" | QA76 B34 2004 (Navegar estantería(Abre debajo)) | 2 | Disponible | 16 003076 |
Navegando Plantel Tlalpan "Lic. Javier Campos Ycardo" estanterías Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA47 C33 2007 Tablas matemáticas / Arquímedes Caballero C. , Lorenzo Martínez C., Jesús Bernárdez G. | QA76 9D3 K7818 DBase III Plus | QA76 A74 Introducción a la Informática | QA76 B34 2004 Introducción a la Informática : Modelos de Cómputo | QA76 B34 2004 Introducción a la Informática : Modelos de Cómputo | QA76 B7618 2012 Introducción a la computación | QA76 C35 Introducción a la informática : Básico |
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
No hay comentarios en este titulo.