Lógica de primer orden

  1. Castel de Haro, María Jesús
  2. Llorens Largo, Faraón

Editorial: Departamento de Tecnología Informática y Computación ; Universidad de Alicante / Universitat d'Alacant

ISBN: 84-605-4766-3 84-922775-5-6

Año de publicación: 1996

Tipo: 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.