Publicación:
Una formalización del sistema de los números reales

Vista sencilla de ítem
dc.contributor.advisorSicard Ramírez, Andrés
dc.contributor.authorAcevedo Acosta, Jorge Ohel
dc.contributor.authorEcheverri Jurado, José Luis
dc.coverage.spatialMedellí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 degreeseng
dc.creator.emailjorgeacevedo28@hotmail.comspa
dc.creator.emailecheverrijurado@gmail.comspa
dc.date.accessioned2018-06-27T17:50:00Z
dc.date.available2018-06-27T17:50:00Z
dc.date.issued2017
dc.descriptionSe presenta una formalización de una axiomática del sistema de los números reales en un asistente de pruebas -- Además de una axiomática clásica se presenta una axiomática del sistema de los números reales para la matemática intuicionista -- Se demuestran formalmente de forma interactiva y automática algunas propiedades del sistema -- Las demostraciones automáticas fueron realizadas por demostradores automáticos de teoremas de propósito generalspa
dc.description.degreelevelMaestríaspa
dc.description.degreenameMagíster en Matemáticas Aplicadasspa
dc.format.mimetypeapplication/pdf
dc.identifier.instnameinstname:Universidad EAFIT
dc.identifier.reponamereponame:Repositorio Institucional Universidad EAFIT
dc.identifier.repourlrepourl:https://repository.eafit.edu.co
dc.identifier.urihttps://hdl.handle.net/10784/12429
dc.language.isospa
dc.publisherUniversidad EAFITspa
dc.publisher.departmentDepartamento de Ciencias Básicasspa
dc.publisher.facultyEscuela de Cienciasspa
dc.publisher.placeMedellínspa
dc.publisher.programMaestría en Matemáticas Aplicadasspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2
dc.rights.localAcceso abierto
dc.subjectDemostración automática de Teoremasspa
dc.subjectAGDA (Lenguaje de programación funcional)
dc.subject.keywordAxiomsspa
dc.subject.keywordLogic programmingspa
dc.subject.keywordLogic, symbolic and mathematicalspa
dc.subject.keywordCompleteness theoremspa
dc.subject.keywordNumbers, Theory ofspa
dc.subject.keywordNumbers, realspa
dc.subject.lembAXIOMASspa
dc.subject.lembPROGRAMACIÓN LÓGICAspa
dc.subject.lembLÓGICA SIMBÓLICA Y MATEMÁTICAspa
dc.subject.lembTEOREMA DE LA COMPLETITUDspa
dc.subject.lembTEORÍA DE LOS NÚMEROSspa
dc.subject.lembNÚMEROS REALESspa
dc.titleUna formalización del sistema de los números reales
dc.typeinfo:eu-repo/semantics/masterThesis
dc.type.coarhttp://purl.org/coar/resource_type/c_bdcc
dc.type.coarversionhttp://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.localTesis de Maestríaspa
dc.type.redcolhttp://purl.org/redcol/resource_type/TM
dc.type.versioninfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePublication

Archivos

Bloque original
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
JorgeOhel_AcevedoAcosta_JoseLuisEcheverriJurado_2017.pdf
Tamaño:
1.09 MB
Formato:
Adobe Portable Document Format
Descripción:
Trabajo de grado
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
2.5 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Maestría en Matemáticas Aplicadas (tesis)