Formalización del Razonamiento
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10045/128478
Title: | Formalización del Razonamiento |
---|---|
Authors: | Llorens Largo, Faraón | Escolano, Francisco | Pujol, Mar | Colomina Pardo, Otto |
Research Group/s: | 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) |
Center, Department or Service: | Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial |
Keywords: | Informática | Enseñanza universitaria |
Issue Date: | 1998 |
Publisher: | 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 |
Citation: | 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 |
Abstract: | 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 |
Language: | spa |
Type: | info:eu-repo/semantics/conferenceObject |
Rights: | Licencia Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 |
Peer Review: | si |
Publisher version: | https://aenui.org/actas/indice_e.html#anio1998 |
Appears in Collections: | 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. |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
JENUI_1998_056.pdf | 458,27 kB | Adobe PDF | Open Preview | |
This item is licensed under a Creative Commons License