Información General

• Autores: María Jesús Castel de Haro, Faraón Llorens Largo
• Editores: Universidad de Alicante / Universitat d'Alacant, Departamento de Tecnología Informática y Computación
• Año de publicación: 2005
• Edición: 3ª
• País: España
• Idioma: español
• Otras ediciones del libro:
  • 2ª Edición, Año 1999. ISBN 84-922775-5-6
  • 1ª Edición, Año 1996. ISBN 84-605-4766-3
• Enlaces
  • Texto Completo Libro

Resumen

• Estos papeles que ahora tenéis en vuestras manos nacieron (1996) con la idea de servir de material de apoyo a las clases de la asignatura de "Lógica de Primer Orden", que se impartía en las Ingenierías Informáticas de la Universidad de Alicante.

  Hoy día esta asignatura se denomina -Lógica Computacional-. En el curso 1997- 1998, esta publicación se adaptó para servir también de apoyo la asignatura -Lógica de Primer Orden- que desde entonces se imparte en los estudios de la Licenciatura de Matemáticas, en la Facultad de Ciencias de la Universidad de Alicante.

Índice

• Índice