preguntar acerca de coq

1
réponses

Construire une hiérarchie de classe en Coq?

je peux naïvement construire une hiérarchie des structures algébriques dans le Coq en utilisant des classes de type. J'ai du mal à trouver des ressources sur la syntaxe de Coq et la sémantique pour les classes de type. Cependant, je crois que ce qui …
demandé sur 1970-01-01 00:33:31
4
réponses

Quelles sont les limites pratiques d’un langage complet non-turing comme Le Coq?

comme il y a des langues complètes non-Turing là-bas, et étant donné que je n'ai pas étudié L'informatique à l'Université, quelqu'un pourrait-il expliquer quelque chose qu'un langage Turing-incomplet (comme Coq ) ne peut pas faire? ou l …
demandé sur 1970-01-01 00:33:30