Maquinas de Turing
| dc.citation.epage | 45 | |
| dc.citation.issue | 103 | |
| dc.citation.journalTitle | Revista Universidad EAFIT | eng |
| dc.citation.spage | 29 | |
| dc.citation.volume | 32 | |
| dc.contributor.affiliation | Universidad EAFIT | spa |
| dc.contributor.author | Sicard Ramírez, Andrés | sp |
| dc.coverage.spatial | Medellín de: Lat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degrees Long: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees | |
| dc.date | 1996 | |
| dc.date.accessioned | 2020-06-11T16:37:15Z | |
| dc.date.available | 2020-06-11T16:37:15Z | |
| dc.date.issued | 1996 | |
| dc.description | Los conceptos de algoritmo y computador universal son definidos desde la lente de la informática teórica y en particular, a partir de las definiciones realizadas por Alan Mathison Turing, en su celebre articulo “On computable numbers, with an application to the Entscheidungsproblem” (Sobre números computables, con una aplicación al problema de la decisión). Para ello, nos situamos en el contexto histórico adecuado, ilustramos los conceptos tanto desde sus definiciones formales como informales y finalmente, describimos la solución obtenida por Turing al problema de la decisión. | spa |
| dc.format | application/pdf | |
| dc.identifier.issn | 0120-341X | |
| dc.identifier.uri | http://hdl.handle.net/10784/16428 | |
| dc.language.iso | spa | |
| dc.publisher | Universidad EAFIT | spa |
| dc.relation.isversionof | http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1192 | |
| dc.relation.uri | http://publicaciones.eafit.edu.co/index.php/revista-universidad-eafit/article/view/1192 | |
| dc.rights | Copyright © 1996 Andrés Sicard Ramírez | eng |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | eng |
| dc.rights.local | Acceso abierto | spa |
| dc.source | Revista Universidad EAFIT, Vol. 32, No. 103 (1996) | spa |
| dc.subject.keyword | Ingeniería de computación | spa |
| dc.subject.keyword | Maquinas de turing | spa |
| dc.title | Maquinas de Turing | spa |
| dc.type | article | eng |
| dc.type | info:eu-repo/semantics/article | eng |
| dc.type | publishedVersion | eng |
| dc.type | info:eu-repo/semantics/publishedVersion | eng |
| dc.type.local | Artículo | spa |