Formalización del Razonamiento
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/128478
Título: | Formalización del Razonamiento |
---|---|
Autor/es: | Llorens Largo, Faraón | Escolano, Francisco | Pujol, Mar | Colomina Pardo, Otto |
Grupo/s de investigación o GITE: | Grupo de Investigación en Tecnologías Inteligentes para el Aprendizaje (Smart Learning) | Laboratorio de Investigación en Visión Móvil (MVRLab) | Informática Industrial e Inteligencia Artificial | Robótica y Visión Tridimensional (RoViT) |
Centro, Departamento o Servicio: | Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial |
Palabras clave: | Informática | Enseñanza universitaria |
Fecha de publicación: | 1998 |
Editor: | Asociación de Enseñantes Universitarios de la Informática (AENUI) | Universitat Ramon Llull. Escola d'Enginyeria La Salle | Universitat d'Andorra. Escola d'Informàtica d'Andorra |
Cita bibliográfica: | Llorens Largo, Faraón, et al. “Formalización del Razonamiento”. En: JENUI 98: IV Jornades sobre l’Ensenyament Universitari de la Informàtica, 9 i 10 de juliol del 1998, Sant Julià de Lòria (Principat d’Andorra). Barcelona: Universitat Ramon Llull, Escola d'Enginyeria La Salle; Sant Julià de Lòria: Universitat d'Andorra, Escola d'Informàtica d'Andorra, 1998. ISBN 84-922538-3-5, pp. 375-379 |
Resumen: | El presente trabajo analiza las necesidades que tienen los alumnos de la ingeniería en informática en relación con los conceptos relacionados con la lógica y la formalización del razonamiento para posteriormente plantear una propuesta de contenidos distribuidos en las dos asignaturas que el plan de estudios para la Universidad de Alicante ofrece: Lógica de Primer Orden y Ampliación de Lógica. |
URI: | http://hdl.handle.net/10045/128478 |
ISBN: | 84-922538-3-5 |
Idioma: | spa |
Tipo: | info:eu-repo/semantics/conferenceObject |
Derechos: | Licencia Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 |
Revisión científica: | si |
Versión del editor: | https://aenui.org/actas/indice_e.html#anio1998 |
Aparece en las colecciones: | INV - RoViT - Comunicaciones a Congresos, Conferencias, etc. JENUI 1998 INV - Smart Learning - Comunicaciones a Congresos, Conferencias, etc. INV - MVRLab - Comunicaciones a Congresos, Conferencias, etc. INV - i3a - Comunicaciones a Congresos, Conferencias, etc. |
Archivos en este ítem:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
JENUI_1998_056.pdf | 458,27 kB | Adobe PDF | Abrir Vista previa | |
Este ítem está licenciado bajo Licencia Creative Commons