Lógica de Primer Orden

Please use this identifier to cite or link to this item: http://hdl.handle.net/10045/57966
Información del item - Informació de l'item - Item information
Title: Lógica de Primer Orden
Authors: Castel de Haro, María Jesús | Llorens Largo, Faraón
Center, Department or Service: Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial
Subject: Lógica
Studies: Grado en Ingeniería Multimedia | Grado en Ingeniería Informática
Keywords: Lógica | Deducción | Tablas de verdad | Programación lógica | Deducción natural | Demostración automática | Prolog
Knowledge Area: Ciencia de la Computación e Inteligencia Artificial
Issue Date: Mar-1999
Editors: Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial
Citation: 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.
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.
URI: http://hdl.handle.net/10045/57966
ISBN: 84-922775-5-6
Language: spa
Tipe: info:eu-repo/semantics/book
Rights: Licencia Creative Commons Reconocimiento-NoComercial 4.0
Appears in Collections:Docencia - Ingeniería y Arquitectura - Manuales / Temas

Files in This Item:
Files in This Item:
File Description SizeFormat 
ThumbnailLibro_LPO99.pdf1,1 MBAdobe PDFOpen Preview


This item is licensed under a Creative Commons License Creative Commons