Imagen de Amazon.com
Fundamentos de lógica computacional
México Trillas 2000Descripción: 212 páginasTipo de contenido:- texto
- no mediado
- volumen
- 968-24-6100-6
- 004 / F659f
Contenidos:
Complejidad computacional, cap.4
Fundamentos de la lógica de hoare, cap.10
Introducción a los métodos formales, cap.9
Introducción, cap.1
Lógica de predicados, cap.3
Lógica modal, cap.8
Lógica proposicional, cap.2
Lógica temporal, cap.7
Regla de una literal, cap.6
Resolución, cap.5
| Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|---|
Libro general
|
Biblioteca Uniagraria | General | 004 / F659f (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 70 | 0100000216 |
Navegando Biblioteca Uniagraria estanterías, Colección: General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible |
|
||
| 003.5 / R621c Control de procesos | 003.857/E541d Dynamical Systems theories and applications | 004 / D354e Elementos de informática y computadores | 004 / F659f Fundamentos de lógica computacional | 004 / M11 Macromedia fireworks | 004 / M11m Macromedia dreamweaver 3 | 004 / P179c Conceptos de computación |
Complejidad computacional, cap.4
Fundamentos de la lógica de hoare, cap.10
Introducción a los métodos formales, cap.9
Introducción, cap.1
Lógica de predicados, cap.3
Lógica modal, cap.8
Lógica proposicional, cap.2
Lógica temporal, cap.7
Regla de una literal, cap.6
Resolución, cap.5
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.