Lógica para informáticos /
Farrâe Cirera, Rafel
Lógica para informáticos / Rafel Farré Cirera y [cinco mas] - Primera edición - México, D. F., México : Alfaomega, 2012 - 206 páginas ; ilustraciones ; 23 cm.
Incluye índice.
Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos -- Conjuntos -- Inclusiòn e igualdad de conjuntos -- Operaciones sobre conjuntos -- Propiedades de las operaciones sobre conjuntos -- Partes de un conjunto -- Cadenas sobre un conjunto -- Relaciones y funciones -- Relaciòn de equivalencia y conjunto cociente -- Relaciones de orden -- Combinatoria -- Demostraciòn de propiedades -- Inducciòn -- Contrarecìproco -- Reducciòn al absurdo -- ¿Què es una lògica? -- Lògica proposicional -- Explicaciones sobre la definiciòn de la lògica proposicional -- Satisfactibilidad, tautologìa, consecuencia y equivalencia -- Formas normales y clàusulas -- Nociones informales de decidibilidad y complejidad -- Lo importante es el coste como funciòn del tamaño de la entrada -- Lògica de primer orden con igualdad -- Formas normales y clàusulas -- Transformaciòn a forma clausal -- Unificaciòn -- Càlculo de respuestas mediante resoluciòn -- La resoluciòn SLD -- Ejemplos de Prolog. Unificaciòn, listas -- Los aspectos extra-lògicos de Prolog -- Lògica de primer orden con igualdad -- Formalizaciòn del lenguaje natural...
9786077071655
Lógica matemática.
Informática - Computadores.
005.74015113 / F2451l
Lógica para informáticos / Rafel Farré Cirera y [cinco mas] - Primera edición - México, D. F., México : Alfaomega, 2012 - 206 páginas ; ilustraciones ; 23 cm.
Incluye índice.
Preliminares -- Definición de la lógica proposicional -- Deducción en la lógica proposicional -- Definición de la lógica de primer orden -- Deducción en la lógica de primer orden -- Fundamentos de la programación lógica -- Ejercicios resueltos -- Conjuntos -- Inclusiòn e igualdad de conjuntos -- Operaciones sobre conjuntos -- Propiedades de las operaciones sobre conjuntos -- Partes de un conjunto -- Cadenas sobre un conjunto -- Relaciones y funciones -- Relaciòn de equivalencia y conjunto cociente -- Relaciones de orden -- Combinatoria -- Demostraciòn de propiedades -- Inducciòn -- Contrarecìproco -- Reducciòn al absurdo -- ¿Què es una lògica? -- Lògica proposicional -- Explicaciones sobre la definiciòn de la lògica proposicional -- Satisfactibilidad, tautologìa, consecuencia y equivalencia -- Formas normales y clàusulas -- Nociones informales de decidibilidad y complejidad -- Lo importante es el coste como funciòn del tamaño de la entrada -- Lògica de primer orden con igualdad -- Formas normales y clàusulas -- Transformaciòn a forma clausal -- Unificaciòn -- Càlculo de respuestas mediante resoluciòn -- La resoluciòn SLD -- Ejemplos de Prolog. Unificaciòn, listas -- Los aspectos extra-lògicos de Prolog -- Lògica de primer orden con igualdad -- Formalizaciòn del lenguaje natural...
9786077071655
Lógica matemática.
Informática - Computadores.
005.74015113 / F2451l