Lógica de primer orden
Verlag: Departamento de Tecnología Informática y Computación ; Universidad de Alicante / Universitat d'Alacant
ISBN: 84-605-4766-3, 84-922775-5-6
Datum der Publikation: 1996
Art: Buch
Zusammenfassung
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.