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

Vista sencilla de ítem
dc.contributor.advisorSicard Ramírez, Andrésspa
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.degreeMagíster en Matemáticas Aplicadasspa
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.identifier.urihttp://hdl.handle.net/10784/12429
dc.language.isospaspa
dc.publisherUniversidad EAFITspa
dc.publisher.departmentEscuela de Ciencias. Departamento de Ciencias Básicasspa
dc.publisher.programMaestría en Matemáticas Aplicadasspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.localAcceso abiertospa
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 realesspa
dc.typemasterThesiseng
dc.typeinfo:eu-repo/semantics/masterThesiseng
dc.type.hasVersionacceptedVersioneng
dc.type.localTesis de Maestríaspa

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)