Lógica para informaticos / Rafael Farré Cirera, Robert Nieuwenhuis, Pilar Nivela Alós, Albert Oliveras Llunell, Enric Rodríguez Carbonell, Josefina Sierra Santibáñez.
Tipo de material: TextoEditor: Mexico : Alfaomega Descripción: 206 pISBN: 9786077071655Tema(s): Computación, Teoría de la computaciónClasificación LoC:511.3 F245lTipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro - Material General | Biblioteca Central Ingenierias | Sistemas | 511.3 F245l (Navegar estantería) | Ej. 1 | Disponible | 9613 |
Navegando Biblioteca Central Estantes, Ubicación: Ingenierias, Código de colección: Sistemas Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | ||||||||
371.334 G182i Ingeniería de Sofware Educativo Parte I : | 371.334 Z24M Modelo de aprendizaje virtual para la educación superior MAVES, basado en tecnologías web 3.0 / | 384.3 C355t Teleinformática Aplicada / | 511.3 F245l Lógica para informaticos / | 511.8 B823f Fundamentos de algoritmia / | 512.002 Ar18m Maxima : | 518.4 L896m Métodos numéricos : |
Compra realizada en Noviembre de 2013 a Plaza y Janes
Conjuntos. -- Relaciones y funciones. -- Combinatoria. -- Demostración de propiedades. -- Definición de la lógica proposicional. -- ¿Qué es una lógica?. -- Lógica proposicional. -- Explicaciones sobre la definición de la lógica proposicional. -- Satisfactibilidad, tautología, consecuencia y equivalencia. -- Deducción en la lógica proposicional. -- Formas normales y cláusulas. -- Nociones informales de decibilidad y complejidad. -- Resolución. corrección y completitud. -- Resolver problemas prácticos con la lógica proposicional. -- El procedimiento DPLL. -- Definición de la lógica de primer orden. -- Lógica de primer orden. -- Explicaciones sobre la definición de la lógica de primer orden. -- Lógica de primer orden con igualdad. -- Formalización del lenguaje natural. -- Deducción en la lógica de primer orden. -- Formas normales y cláusulas. -- Transformación a forma clausal. -- Unificación. -- Resoluci┤pn y factorización. -- Fundamentos de respuestas mediante resolución. -- La ejecución de programas Prolog.
No hay comentarios en este titulo.