Catálogo de biblioteca
Vista normal Vista MARC Vista ISBD

Lógica matemática para informáticos Ejercicios resueltos

Por: González, Teresa Hortalá.
Colaborador(es): Martí O. Narciso | Palomino T. Miguel | Rodriguez A. Mario | Del Vado V. Rafael.
Editor: España Pearson 2008Edición: 1ra, ed.Descripción: 390 p.ISBN: 9788483224540.Tema(s): Ciencias | Facultades | Carreras UTEQClasificación CDD: 004 Resumen: Lógica proposicional, Sintaxis y semántica, Formalización. Técnicas de Razonamiento, Equivalencia lógica. Leyes booleanas, Calculo lógico con tableaux, Lógica de primer orden, Sintaxis y semántica, Formalización. Técnicas de Razonamiento, Equivalencia lógica. Leyes de los cuantificadores, Calculo lógico con tableaux, calculo lógico con resolución, ejercicios propuestos.
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
    valoración media: ( votos)
Tipo de ítem Ubicación actual Signatura Copia número Estado Notas Fecha de vencimiento
Libro Libro Biblioteca General de la UTEQ
004/G643l (Navegar estantería) Ej. 1 Disponible Obras generales # 1 Hilera Segunda
Libro Libro Biblioteca General de la UTEQ
004/G643l (Navegar estantería) Ej. 2 Disponible Obras generales # 1 Hilera Segunda
Libro Libro Biblioteca General de la UTEQ
004/G643l (Navegar estantería) Ej. 3 Disponible Obras generales # 1 Hilera Segunda

Estado de conservación: Bueno

Estado de integridad: Completo

Lógica proposicional, Sintaxis y semántica, Formalización. Técnicas de Razonamiento, Equivalencia lógica. Leyes booleanas, Calculo lógico con tableaux, Lógica de primer orden, Sintaxis y semántica, Formalización. Técnicas de Razonamiento, Equivalencia lógica. Leyes de los cuantificadores, Calculo lógico con tableaux, calculo lógico con resolución, ejercicios propuestos.

Volumen: 0 / Tomo: 0 / Número de ejemplares: 3

No hay comentarios para este ítem.

Ingresar a su cuenta para colocar un comentario.
Tel: (+593) 5 3702-220 Ext. 8009 | biblioteca@uteq.edu.ec
Campus “Ingeniero Manuel Haz Álvarez”, Av. Walter Andrade Fajardo y Av. Carlos Julio Arosemena
QUEVEDO - LOS RÍOS - ECUADOR
www.uteq.edu.ec

Con tecnología Koha