Lógica para informáticos Rafel Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell y Josefina Sierra Santibáñez
Colaborador(es): Farré Cirera, Rafael [Autor] | Nieuwenhuis, Robert (Robert Lukas Mario) [Autor].
Tipo de material: LibroEditor: Barcelona Marcombo 2011Edición: primera edición.Descripción: xii, 206 páginas ilustraciones 24 cm.Tipo de contenido: texto Tipo de medio: sin mediación Tipo de portador: volumenISBN: 9788426716941.Tema(s): LÓGICA MATEMÁTICA | PROPOSICIÓN (Lógica)Resumen: 1. PRELIMINARES, p.1 - 1.1. Conjuntos – 1.1.1. Inclusión e igualdad de conjuntos - 1.1.2. Operaciones sobre conjuntos - 1.1.3. Propiedades de las operaciones sobre conjuntos - 1.1.4. Partes de un conjunto - 1.1.5. Cadenas sobre un conjunto - 1.2. Relaciones y funciones - 1.2.1. Relación de equivalencia y conjunto cociente - 1.2.2. Relaciones de orden - 1.3. Combinatoria - 1.4. Demostración de propiedades - 1.4.1. Inducción - 1.4.2. Contrarrecíproco - 1.4.3. Reducción al absurdo - 2. DEFINICIÓN DE LA LÓGICA PROPOSICIONAL, p.7 - 2.1. ¿Qué es una lógica? - 2.2. Lógica proposicional - 2.3. Explicaciones sobre la definición de la lógica proposicional - 2.4. Satis factibilidad, tautología, consecuencia y equivalencia - 3. Deducción en la lógica proposicional, p.19 - 3.1. Formas normales y clausulas - 3.2. Nociones informales de decidibilidad y complejidad - 3.2.1. Lo importante es el coste como función del tamaño de la entrada - 3.3. Resolución. Corrección y completitud - 3.4. Resolver problemas prácticos con la lógica proposicional - 3.5. El procedimiento DPLL - 4. DEFINICIÓN DE LA LÓGICA DE PRIMER ORDEN, p.35 - 4.1. Lógica de primer orden - 4.1.1. Sintaxis - 4.1.2. Interpretación - 4.1.3. Satisfacción - 4.1.4. Formulas cerradas - 4.2. Explicaciones sobre la definición de la lógica de primer orden - 4.3. Lógica de primer orden con igualdad - 4.4. Formalización del lenguaje natural - 5. DEDUCCIÓN EN LA LÓGICA DE PRIMER ORDEN, p.51 - 5.1. Formas normales y clausulas - 5.2. Transformación a forma clausal - 5.3. Unificación - 5.4. Resolución y factorización - 6. FUNDAMENTOS DE LA PROGRAMACIÓN LÓGICA, p.61 - 6.1. Calculo de respuestas mediante resolución - 6.1.1. Bases de datos deductivas - 6.1.2. Programas lógicos - 6.1.3. Completitud - 6.2. La ejecución de programas Prolog - 6.2.1. La resolución SLD - 6.2.2. Ejemplos de Prolog. Unificación, listas - 6.2.3. La programación recursiva y la inducción - 6.2.4. Los aspectos extra-lógicos de Prolog - 7. EJERCICIOS RESUELTOS, p.79 - 7.1. Ejercicios de definición de la lógica proposicional - 7.2. Ejercicios de deducción en la lógica proposicional - 7.2.1. Formas normales y clausulas - 7.2.2. Nociones informales de decidibilidad y complejidad - 7.2.3. Resolución. Corrección y completitud - 7.2.4. Resolver problemas prácticos con la lógica proposicional - 7.2.5. El procedimiento DPLL - 7.3. Ejercicios de definición de la lógica de primer orden - 7.3.1. Lógica de primer orden con igualdad - 7.3.2. Formalización del lenguaje natural - 7.4. Ejercicios de deducción en la lógica de primer orden - 7.5. Ejercicios de fundamentos de la programación lógica -Tipo de ítem | Ubicación actual | Biblioteca de origen | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Silvina Ocampo (Junín) | Biblioteca Silvina Ocampo (Junín) Sala de lectura | GENERAL | 164:004 L687 (1) (Navegar estantería) | 1 | Disponible | J05670 | ||
Libros | Biblioteca Silvina Ocampo (Junín) | Biblioteca Silvina Ocampo (Junín) Sala de lectura | GENERAL | 164:004 L687 (2) (Navegar estantería) | 2 | Disponible | J05671 |
Navegando Biblioteca Silvina Ocampo (Junín) Estantes , Ubicación: Sala de lectura , Código de colección: GENERAL Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
159.964.2 D6659 (2) Diálogos en Quebec | 159.972 V541 J05185 (1) Psiquiatría y persona | 164:004 L687 (1) Lógica para informáticos | 164:004 L687 (2) Lógica para informáticos | 165.741 P378 V.2 (1) The essential Peirce | 165.741 P378 V.2 (2) The essential Peirce | 165.75:39 L979 (2) Antropología estructural |
Prólogo, p.ix
1. PRELIMINARES, p.1 - 1.1. Conjuntos – 1.1.1. Inclusión e igualdad de conjuntos - 1.1.2. Operaciones sobre conjuntos - 1.1.3. Propiedades de las operaciones sobre conjuntos - 1.1.4. Partes de un conjunto - 1.1.5. Cadenas sobre un conjunto - 1.2. Relaciones y funciones - 1.2.1. Relación de equivalencia y conjunto cociente - 1.2.2. Relaciones de orden - 1.3. Combinatoria - 1.4. Demostración de propiedades - 1.4.1. Inducción - 1.4.2. Contrarrecíproco - 1.4.3. Reducción al absurdo - 2. DEFINICIÓN DE LA LÓGICA PROPOSICIONAL, p.7 - 2.1. ¿Qué es una lógica? - 2.2. Lógica proposicional - 2.3. Explicaciones sobre la definición de la lógica proposicional - 2.4. Satis factibilidad, tautología, consecuencia y equivalencia - 3. Deducción en la lógica proposicional, p.19 - 3.1. Formas normales y clausulas - 3.2. Nociones informales de decidibilidad y complejidad - 3.2.1. Lo importante es el coste como función del tamaño de la entrada - 3.3. Resolución. Corrección y completitud - 3.4. Resolver problemas prácticos con la lógica proposicional - 3.5. El procedimiento DPLL - 4. DEFINICIÓN DE LA LÓGICA DE PRIMER ORDEN, p.35 - 4.1. Lógica de primer orden - 4.1.1. Sintaxis - 4.1.2. Interpretación - 4.1.3. Satisfacción - 4.1.4. Formulas cerradas - 4.2. Explicaciones sobre la definición de la lógica de primer orden - 4.3. Lógica de primer orden con igualdad - 4.4. Formalización del lenguaje natural - 5. DEDUCCIÓN EN LA LÓGICA DE PRIMER ORDEN, p.51 - 5.1. Formas normales y clausulas - 5.2. Transformación a forma clausal - 5.3. Unificación - 5.4. Resolución y factorización - 6. FUNDAMENTOS DE LA PROGRAMACIÓN LÓGICA, p.61 - 6.1. Calculo de respuestas mediante resolución - 6.1.1. Bases de datos deductivas - 6.1.2. Programas lógicos - 6.1.3. Completitud - 6.2. La ejecución de programas Prolog - 6.2.1. La resolución SLD - 6.2.2. Ejemplos de Prolog. Unificación, listas - 6.2.3. La programación recursiva y la inducción - 6.2.4. Los aspectos extra-lógicos de Prolog - 7. EJERCICIOS RESUELTOS, p.79 - 7.1. Ejercicios de definición de la lógica proposicional - 7.2. Ejercicios de deducción en la lógica proposicional - 7.2.1. Formas normales y clausulas - 7.2.2. Nociones informales de decidibilidad y complejidad - 7.2.3. Resolución. Corrección y completitud - 7.2.4. Resolver problemas prácticos con la lógica proposicional - 7.2.5. El procedimiento DPLL - 7.3. Ejercicios de definición de la lógica de primer orden - 7.3.1. Lógica de primer orden con igualdad - 7.3.2. Formalización del lenguaje natural - 7.4. Ejercicios de deducción en la lógica de primer orden - 7.5. Ejercicios de fundamentos de la programación lógica -
No hay comentarios para este ejemplar.