Una formalización del sistema de los números reales
| Autor: | Acevedo Acosta, Jorge Ohel, Echeverri Jurado, José Luis |
|---|---|
| Přispěvatelé: | Sicard Ramírez, Andrés |
| Jazyk: | Spanish; Castilian |
| Rok vydání: | 2017 |
| Předmět: |
Demostración automática de Teoremas
AXIOMAS Axioms TEOREMA DE LA COMPLETITUD Numbers Theory of Completeness theorem Logic symbolic and mathematical AGDA (Lenguaje de programación funcional) TEORÍA DE LOS NÚMEROS Numbers real Logic programming NÚMEROS REALES LÓGICA SIMBÓLICA Y MATEMÁTICA PROGRAMACIÓN LÓGICA |
| Zdroj: | Repositorio EAFIT Universidad EAFIT instacron:Universidad EAFIT |
| Popis: | Se 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 general |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|