Fundamentos de lógica computacional / Juan Frausto Solís, Gildardo Sánchez Ante
Idioma: Español Detalles de publicación: México : Trillas, 2000Descripción: 110 p. ; tablas ; 24 x 18 cmISBN: 9682461006Tema(s): Ciencias computacionales | Lógica matemáticaClasificación CDD: 004.0151
Contenidos:
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Libros | COATZACOALCOS | Colección General | 004.0151 F845f (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | CTC002335 | ||
Libros | COATZACOALCOS | Colección General | 004.0151 F845f (Navegar estantería(Abre debajo)) | Ej. 2 | Disponible | CTC002336 | ||
Libros | HUASTECA | Colección General | 004.0151 F845f (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | Primera edición, enero 2000 | HST001853 | |
Libros | HUASTECA | Colección General | 004.0151 F845f (Navegar estantería(Abre debajo)) | Ej. 2 | Disponible | Primera edición, enero 2000 | HST001854 | |
Libros | INDUSTRIAS | Colección General | 004.0151 F845f (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | NDS000036 | ||
Reserva | TUXTLA | Colección General | 004.0151 F845f (Navegar estantería(Abre debajo)) | Ej. 1 | No para préstamo | Informática | TXT015722 |
Navegando TUXTLA Estantes, Código de colección: Colección General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
004 T164o 2000 Organización de computadoras : un enfoque estructurado / | 004 U77o Oracle 8i : | 004 V722i Introducción a la computación : | 004.0151 F845f Fundamentos de lógica computacional / | 004.019 R841c El culto a la información : | 004.019 R841c El culto a la información : | 004.05 R228i2 2020 Informática II / |
Incluye índice y bibliografía
1. Lógica proposicional -- 2. Lógica de predicados -- 3. Complejidad computacional -- 4. Regla de una literal -- 5. Lógica temporal -- 6. Lógica modal -- 7. Introducción a los métodos formales -- 8. Fundamentos de la lógica de Hoare.
C60