Castel de Haro, María Jesús, Llorens Largo, Faraón
Lógica de Primer Orden
Castel de Haro, Mª Jesús; Llorens Largo, Faraón. Lógica de Primer Orden. Alicante: Departamento de Ciencia de la Computación e Inteligencia Artificial, Universidad de Alicante, 1999. ISBN 84-922775-5-6, 255 p.
URI: http://hdl.handle.net/10045/57966
DOI: 
ISSN: 
ISBN: 84-922775-5-6
Abstract: 
Estos papeles que ahora tenéis en vuestras manos, nacieron con la idea de servir de material de apoyo a las clases de la asignatura “Lógica de Primer Orden”, que forma parte del programa de los estudios de Ingeniería Informática impartidos en la Escuela Politécnica Superior de la Universidad de Alicante. No se trata, por tanto, de un libro de texto sobre Lógica, ya que existen excelentes libros que cubren este objetivo y es una pérdida de tiempo volverlos a escribir. En ningún momento ha sido esa nuestra pretensión, y si es eso lo que buscáis os remitimos a la bibliografía que adjuntamos. Lo que hemos intentado es redactar unos apuntes que incluyan los temas y aspectos de la lógica que nosotros impartimos en nuestras clases y que aborden la Lógica desde un enfoque didáctico y al mismo tiempo ameno (al menos es esa nuestra intención). Tampoco hemos dejado de lado el hecho de que nuestros alumnos y alumnas cursan estudios de Informática, y por ello hemos puesto hincapié en aquellos aspectos de la Lógica que creemos pueden ser interesantes para ellos como futuros informáticos, y a la vez les sirvan de complemento y base para otras materias de la carrera. Por tanto, hemos estado más interesados en mostrar la utilidad y aplicación de la lógica que en la formalización matemática de la misma, evitando las largas demostraciones de teoremas (para ello existen buenos libros en la bibliografía). La Lógica de Primer Orden nos permitirá formalizar conocimientos que poseamos de diversas ramas del saber, convirtiéndose en un instrumento imprescindible para realizar un trabajo serio en muchas tareas científicas. En concreto esta formalización será un paso previo e indispensable para poder automatizar formas de razonamiento y su posterior aplicación a muchas de las áreas de la Informática, y fundamentalmente de la Inteligencia Artificial.
Keywords:Lógica, Deducción, Tablas de verdad, Programación lógica, Deducción natural, Demostración automática, Prolog
Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial
info:eu-repo/semantics/book