Formalización del Razonamiento
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10045/128478
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor | Grupo de Investigación en Tecnologías Inteligentes para el Aprendizaje (Smart Learning) | es_ES |
| dc.contributor | Laboratorio de Investigación en Visión Móvil (MVRLab) | es_ES |
| dc.contributor | Informática Industrial e Inteligencia Artificial | es_ES |
| dc.contributor | Robótica y Visión Tridimensional (RoViT) | es_ES |
| dc.contributor.author | Llorens Largo, Faraón | - |
| dc.contributor.author | Escolano, Francisco | - |
| dc.contributor.author | Pujol, Mar | - |
| dc.contributor.author | Colomina Pardo, Otto | - |
| dc.contributor.other | Universidad de Alicante. Departamento de Ciencia de la Computación e Inteligencia Artificial | es_ES |
| dc.date.accessioned | 2022-10-14T16:09:23Z | - |
| dc.date.available | 2022-10-14T16:09:23Z | - |
| dc.date.issued | 1998 | - |
| dc.identifier.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 | es_ES |
| dc.identifier.isbn | 84-922538-3-5 | - |
| dc.identifier.uri | http://hdl.handle.net/10045/128478 | - |
| dc.description.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. | es_ES |
| dc.language | spa | es_ES |
| dc.publisher | Asociación de Enseñantes Universitarios de la Informática (AENUI) | es_ES |
| dc.publisher | Universitat Ramon Llull. Escola d'Enginyeria La Salle | es_ES |
| dc.publisher | Universitat d'Andorra. Escola d'Informàtica d'Andorra | es_ES |
| dc.rights | Licencia Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 | es_ES |
| dc.subject | Informática | es_ES |
| dc.subject | Enseñanza universitaria | es_ES |
| dc.title | Formalización del Razonamiento | es_ES |
| dc.type | info:eu-repo/semantics/conferenceObject | es_ES |
| dc.peerreviewed | si | es_ES |
| dc.relation.publisherversion | https://aenui.org/actas/indice_e.html#anio1998 | es_ES |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | es_ES |
| 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 | |
See citations in Google Scholar
This item is licensed under a Creative Commons License
