Deducción natural versus computación
Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10045/128461
Título: | Deducción natural versus computación |
---|---|
Autor/es: | Llorens Largo, Faraón | Satorre Cuerda, Rosana | Escolano, Francisco | Arques Corrales, Pilar |
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 |
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: | 1999 |
Editor: | Asociación de Enseñantes Universitarios de la Informática (AENUI) | Escuela Universitaria Politécnica La Almunia |
Cita bibliográfica: | Llorens, Faraón, et al. “Deducción natural versus computación”. En: V Jornadas sobre la Enseñanza Universitaria en Informática, Escuela Universitaria Politécnica La Almunia, La Almunia de Dª Godina (Zaragoza), 25 y 26 de octubre de 1999: libro de ponencias. La Almunia de Doña Godina, Zaragoza: Escuela Universitaria Politécnica La Almunia, 1999. ISBN 84-605-9617-6, pp. 259-265 |
Resumen: | La lógica nos proporciona métodos de cálculo que nos permiten inferir nuevas fórmulas a partir de las conocidas, por simple manipulación sintáctica. Uno de estos métodos es la Deducción Natural, cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. De forma sencilla, a partir de las fórmulas dadas, y mediante la aplicación de reglas, obtenemos nuevas fórmulas. Podemos considerar la deducción como una forma de computación, ya que ¿un programa no es una deducción en la que a partir de unas entradas (premisas) debemos obtener unas salidas determinadas (conclusiones)? |
URI: | http://hdl.handle.net/10045/128461 |
ISBN: | 84-605-9617-6 |
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#anio1999 |
Aparece en las colecciones: | JENUI 1999 INV - i3a - Comunicaciones a Congresos, Conferencias, etc. INV - Smart Learning - Comunicaciones a Congresos, Conferencias, etc. INV - MVRLab - Comunicaciones a Congresos, Conferencias, etc. |
Archivos en este ítem:
Archivo | Descripción | Tamaño | Formato | |
---|---|---|---|---|
JENUI_1999_037.pdf | 563,93 kB | Adobe PDF | Abrir Vista previa | |
Este ítem está licenciado bajo Licencia Creative Commons