ALESSANDRA GALLINARI

Los principales objetivos de esto libro son: Introducir herramientas y conceptos básicos de la Lógica Matemática y sus aplicaciones. Ayudar a aprender a razonar y formalizar correctamente. Fijar las bases teoricas para el estudio de la Logica Informatica, asi que se pueda tener una formacion global acerca de los procedimientos formales y algoritmicos de razonamiento automatico y resolucion formal de problemas. Facilitar la comprension de los conceptos teoricos de la Logica Matematica, presentando una amplia coleccion de problemas con soluciones completas. La primera parte de la publicacion trata la logica proposicional y la segunda la logica de predicados. El libro incluye tambien dos capitulos preliminares. El primero es una breve introduccion historica a la logica y a sus relaciones con la Filosofia, las Matematicas y la Informatica. El segundo es un repaso de la teoria de conjuntos.