Kyle es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Cómo son los semántica completa de SOL y HOL especificado?
el 23 de Diciembre, 2017 6 votos - 3 resp
¿Qué significa realmente el concepto de computación?
el 12 de Noviembre, 2017 5 votos - 2 resp
¿Es la lógica de primer orden (FOL) la lógica sólo fundamental?
el 18 de Marzo, 2016 37 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 3 x lógica
- 2 x higher-order-lógica
- 1 x elementary-conjunto-teórico
- 1 x filosofía
- 1 x la-computabilidad
- 1 x en-computación
- 1 x model-teoría