Conceptos elementales de lógica informática

Este libro está dividido en seis capítulos. El primero habla de los conceptos generales de la lógica; en el segundo se tratan los conceptos elementales de la lógica de proposiciones; el tercero trata sobre la lógica de predicados; posteriormente, se desarrollan los procedimientos de prueba de la lógica de predicados; en el quinto se aborda la deducción natural y por último, se trata el tema de la resolución del problema SAT de una manera muy elemental. Este texto está diseñado para abarcar el curso de Lógica Informática de la carrera de Ingeniería o Tecnología. Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.Aquí no se inventa nada, pero como dice André Guide "Todas las cosas están ya dichas; pero como nadie escucha, hay que volver a empezar siempre". Algunos de los temas tratados son conocidos desde hace miles de al10S y han sido explicados por muchos autores con la formación adecuada para detallarlos y demostrarlos de manera ortodoxa y con claridad.