Deducción natural versus computación
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10045/128461
| Title: | Deducción natural versus computación |
|---|---|
| Authors: | Llorens Largo, Faraón | Satorre Cuerda, Rosana | Escolano, Francisco | Arques Corrales, Pilar |
| 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 |
| 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: | 1999 |
| Publisher: | Asociación de Enseñantes Universitarios de la Informática (AENUI) | Escuela Universitaria Politécnica La Almunia |
| Citation: | 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 |
| Abstract: | 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 |
| 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#anio1999 |
| Appears in Collections: | JENUI 1999 INV - i3a - Comunicaciones a Congresos, Conferencias, etc. INV - Smart Learning - Comunicaciones a Congresos, Conferencias, etc. INV - MVRLab - Comunicaciones a Congresos, Conferencias, etc. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
 JENUI_1999_037.pdf | 563,93 kB | Adobe PDF | Open Preview | |
See citations in Google Scholar
This item is licensed under a Creative Commons License
