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.Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Notas | Fecha de vencimiento |
---|---|---|---|---|---|---|
![]() |
Biblioteca General de la UTEQ | 004/G643l (Navegar estantería) | Ej. 1 | Disponible | Obras generales # 1 Hilera Segunda | |
![]() |
Biblioteca General de la UTEQ | 004/G643l (Navegar estantería) | Ej. 2 | Disponible | Obras generales # 1 Hilera Segunda | |
![]() |
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.