Zobrazeno 1 - 7 of 7 pro vyhledávání: '"Demostración automática"'
1
Una formalización del sistema de los números reales
Autor: Acevedo Acosta, Jorge Ohel, Echeverri Jurado, José Luis
Publikováno v: Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
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 --
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d511220f5f5d8b67be1eaeb407f3de30
Zobrazit plný text záznamu
2
Reconstructing propositional proofs in type theory
Autor: Prieto Cubides, Jonathan Steven
Publikováno v: Repositorio EAFIT
Universidad EAFIT
instacron:Universidad EAFIT
We describe a syntactical proof-reconstruction approach to verify derivations generated by Metis prover to theorems in classical propositional logic -- To verify such derivations, we formalize in type theory each inference rule of the Metis reasoning
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::17b8bba8391e4176a5e860920efcc224
http://hdl.handle.net/10784/12484
Zobrazit plný text záznamu
3
Reasoning about functional programs by combining interactive and automatic proofs
Autor: Sicard-Ramírez, Andrés
Publikováno v: COLIBRI
Universidad de la República
instacron:Universidad de la República
We propose a new approach to computer-assisted verification of lazy functional programs where functions can be defined by general recursion. We work in first-order theories of functional programs which are obtained by translating Dybjer's programming
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::8746df4504d24f1188ac7682263e4f01
Zobrazit plný text záznamu
4
Emergencia de los procesos de la actividad demostrativa en una clase con estudiantes en edad extraescolar
Autor: Luque Zabala, Carolina María, Robayo León, Luis Alejandro
Publikováno v: Repositorio Institucional UPN
Universidad Pedagógica Nacional
instacron:Universidad Pedagógica Nacional
El presente trabajo nos presenta un estudio realizado con estudiantes en edad extraescolar quienes estaban nivelando los grados octavo y noveno de educación media, en el colegio Gabriel Echavarría de Madrid (Cundinamarca) durante el segundo semestr
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::c32b824773c321986e0cc983c0bc82b6
Zobrazit plný text záznamu
5
Teoría computacional (en ACL2) sobre cálculos proposicionales
Autor: Martín Mateos, Francisco Jesús
Publikováno v: idUS. Depósito de Investigación de la Universidad de Sevilla
instname
En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2. Premio Extraordinario de Doctorado US
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::628faeeed2469638cb3864fa266d5279
https://idus.us.es/handle/11441/14970
Zobrazit plný text záznamu
6
Lógica de Primer Orden
Autor: Castel de Haro, María Jesús, Llorens Largo, Faraón
Publikováno v: RUA. Repositorio Institucional de la Universidad de Alicante
Universidad de Alicante (UA)
Estos papeles que ahora tenéis en vuestras manos, nacieron con la idea de servir de material de apoyo a las clases de la asignatura “Lógica de Primer Orden”, que forma parte del programa de los estudios de Ingeniería Informática impartidos en
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7fa0352fce30ac256eaef1e05bd45fee
http://hdl.handle.net/10045/57966
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje