Zobrazeno 1 - 10
of 365
pro vyhledávání: '"LÓGICA DE PRIMER ORDEN"'
Autor:
Lavagnoli González, Alba
El teorema de Church demuestra que la cuestión de la validez o no de fórmulas de primer orden no es resoluble por máquinas de Turing ni procedimientos equivalentes, lo que a partir de la tesis de Church-Turing significa la inexistencia de métodos
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1514::89a54f5a3ea5a1dc8d251bb4a44a98a6
Autor:
Dios Tarancón, Silvia de
Publikováno v:
Archivo Digital UPM
Universidad Politécnica de Madrid
Universidad Politécnica de Madrid
Para empezar a desarrollar este trabajo, lo primero que tuve que hacer fue instalar las diferentes herramientas que iba a necesitar, las cuales son Visual Studio Code, Ghc, Cabal y Git. Tras haber completado este primer paso, ya pude empezar a adquir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c4ef8aa7ab2582f313492ca2b429a041
https://oa.upm.es/69823/
https://oa.upm.es/69823/
Autor:
Merma Mora, Miguel Angel
Publikováno v:
Universidad Nacional Mayor de San MarcosRepositorio de Tesis - UNMSM.
En la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente intuitivo, ya que en es
Externí odkaz:
http://cybertesis.unmsm.edu.pe/handle/cybertesis/7436
Autor:
Aliseda, Atocha
Publikováno v:
Crítica: Revista Hispanoamericana de Filosofía, 1999 Dec 01. 31(93), 117-124.
Externí odkaz:
https://www.jstor.org/stable/40104506
Autor:
Paluzo Hidalgo, Eduardo
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
This final degree project consists in the implementation of First Order Logic theory and algorithms in Haskell, a functional programming language. Furthermore, a relation between maths and programming based on Curry-Howard correspondence is establish
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a291b7ae754e1cd5f970f6587d73b1e3
https://idus.us.es/handle/11441/63139
https://idus.us.es/handle/11441/63139
Autor:
Atocha Aliseda
Publikováno v:
Crítica (México D. F. En línea). 31:117-124
José Alfredo Amor Montaño, Compacidad en la lógica de primer orden y su relación con el teorema de completud
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6a81d0953d6b9a08fc310ab743219143
https://doi.org/10.22201/iifs.18704905e.1999.833
https://doi.org/10.22201/iifs.18704905e.1999.833
Autor:
Pais Falero, Jorge Andrés
Publikováno v:
RAD | ORT
Universidad ORT Uruguay
instacron:Universidad ORT
Universidad ORT Uruguay
instacron:Universidad ORT
Incluye bibliografía. En la tesis se presenta el diseño e implementación, como EDSL embebido en Haskell, de un asistente de pruebas para el sistema de deducción natural de la lógica de primer orden. El asistente fue diseñado con el objetivo de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::b8ffa3524e0f66ff1cda024c4a009ecd
Autor:
Cisneros, Arturo
Publikováno v:
Crítica: Revista Hispanoamericana de Filosofía, 1976 Dec 01. 8(24), 125-128.
Externí odkaz:
https://www.jstor.org/stable/40104050
Autor:
Jose Luis Barragan Ochoa
Publikováno v:
Universidad Nacional Autónoma de México
UNAM
Repositorio de Tesis DGBSDI, Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM
Athenea Digital de la Facultad de Filosofía y Letras de la UNAM
UNAM
Repositorio de Tesis DGBSDI, Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM
Athenea Digital de la Facultad de Filosofía y Letras de la UNAM
Fuente TESIUNAM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4998198a96622f77ea367577bf2fb96b
https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000687743
https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000687743
Publikováno v:
RUA. Repositorio Institucional de la Universidad de Alicante
Universidad de Alicante (UA)
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
http://hdl.handle.net/10045/57966