Lógica matemática para informáticos / Teresa Hortalá, Narciso Martí; Miguel Palomino Tarjuelo; Mario Rodríguez Artalejo.
Editor: España : Pearson , 2008Edición: 1ª EdDescripción: 390 páginas ; 27 cmTipo de contenido:- texto
- no mediado
- volumen
- 9788483224540
- 511 H788 2008
Contenidos:
I LOGICA PROPOSICIONAL: 1 Sintaxis y semantica 2 Formalizacion. Tecnicas de razonamiento 3 Equivalencia logica. Leyes Booleanas 4 Calculo logico con tableaux Parte II LOGICA DE PRIMER ORDEN: 5 Sintaxis y semantica 6 Formalizacion. Tecnicas de razonamiento 7 Equivalencia logica. Leyes de los cuantificadores 8 Calculo logico con Tableaux 9 Calculo logico con resolucion 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 Santo Domingo Sala general | Col General | 511 H788 2008 (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | SDO011887 | ||
Libro | Sede Santo Domingo Sala general | Col General | 511 H788 2008 (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | SDO011888 |
Total de reservas: 0
Factura Educativa
I LOGICA PROPOSICIONAL: 1 Sintaxis y semantica 2 Formalizacion. Tecnicas de razonamiento 3 Equivalencia logica. Leyes Booleanas 4 Calculo logico con tableaux Parte II LOGICA DE PRIMER ORDEN: 5 Sintaxis y semantica 6 Formalizacion. Tecnicas de razonamiento 7 Equivalencia logica. Leyes de los cuantificadores 8 Calculo logico con Tableaux 9 Calculo logico con resolucion 10 Ejercicios propuestos
Sistemas de la Información
MM
No hay comentarios en este titulo.