Resolución Proposicional Introducción Introducción Los presentes apuntes contienen una introducción a la lógica proposicional y sus aplicaciones orientada principalmente a carreras técnicas. Los apuntes se utilizan en la primera parte de la asignatura...
More
Resolución Proposicional Introducción Introducción Los presentes apuntes contienen una introducción a la lógica proposicional y sus aplicaciones orientada principalmente a carreras técnicas. Los apuntes se utilizan en la primera parte de la asignatura “Lógica” de la Escuela Universitaria de Ingeniería Técnica Informática de Oviedo impartida por los autores. Para cualquier consulta o sugenrencia, puede ponerse en contacto con los autores en: labra@lsi.uniovi.es ó anaisabel@lsi.uniovi.es J. E. Labra G Ana I. Fernández M. Octubre, 1998 1
Less
