Imagen de Amazon.com
Lógica matemática para informáticos : ejercicios resueltos / Teresa Hortalá González
Series Prentice prácticaProductor: España, Madrid: Prentice Hall / Pearson / Alhambra, 2008Edición: 1Descripción: 433 páginas ; 24 cmTipo de contenido:- texto
- no mediado
- volumen
- 9788483224540
- 511.3 GH821l
Contenidos:
1. Sintaxis y semaántica.-- 2. Formalización tecnicas de razonamiento.-- 3. Equivalencia lógica. Leyes booleadas.-- 4. Cálculo lógico con tableux.-- 5. Sintaxis y semantica.-- 6. Formalización. Tecnicas de razonamiento.-- 7. Equivalencia lógica.-- 8. Cálculo lógico con tableux.-- 9. Cálculo lógico con resolución.-- 10. Ejercicios propuestos.
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libro
|
Sede Ambato Sala general | Col General | 511.3 GH821l (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | AMB040028 | ||
|
Libro
|
Sede Ambato Sala general | Col General | 511.3 GH821l (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | AMB012236 | ||
|
Libro
|
Sede Ambato Sala general | Col General | 511.3 GH821l (Navegar estantería(Abre debajo)) | Ej.3 | Disponible | AMB012316 |
Total de reservas: 0
Navegando Sede Ambato estanterías, Ubicación en estantería: Sala general, Colección: Col General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Bibliografía: p. [389]-390
1. Sintaxis y semaántica.-- 2. Formalización tecnicas de razonamiento.-- 3. Equivalencia lógica. Leyes booleadas.-- 4. Cálculo lógico con tableux.-- 5. Sintaxis y semantica.-- 6. Formalización. Tecnicas de razonamiento.-- 7. Equivalencia lógica.-- 8. Cálculo lógico con tableux.-- 9. Cálculo lógico con resolución.-- 10. Ejercicios propuestos.
No hay comentarios en este titulo.