Fundamentos de lógica computacional / Juan Frausto Solís, Gildardo Sánchez Ante

Por: Frausto Solís, JuanColaborador(es): Sánchez Ante, GildardoIdioma: 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:
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura Copia número Estado Notas Fecha de vencimiento Código de barras
Libros Libros COATZACOALCOS
Colección General 004.0151 F845f (Navegar estantería(Abre debajo)) Ej. 1 Disponible CTC002335
Libros Libros COATZACOALCOS
Colección General 004.0151 F845f (Navegar estantería(Abre debajo)) Ej. 2 Disponible CTC002336
Libros Libros HUASTECA
Colección General 004.0151 F845f (Navegar estantería(Abre debajo)) Ej. 1 Disponible Primera edición, enero 2000 HST001853
Libros Libros HUASTECA
Colección General 004.0151 F845f (Navegar estantería(Abre debajo)) Ej. 2 Disponible Primera edición, enero 2000 HST001854
Libros Libros INDUSTRIAS
Colección General 004.0151 F845f (Navegar estantería(Abre debajo)) Ej. 1 Disponible NDS000036
Reserva Reserva TUXTLA
Colección General 004.0151 F845f (Navegar estantería(Abre debajo)) Ej. 1 No para préstamo Informática TXT015722

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