Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag curry-howard - Ceci est la page 2 - GeneraCodice
Mise en œuvre de la théorie mathématique de l'arithmétique dans Haskell via Curry-Howard Correspondance
https://www.generacodice.com/fr/articolo/1595355/mise-en-oeuvre-de-la-theorie-mathematique-de-l-arithmetique-dans-haskell-via-curry-howard-correspondance
logic
-
haskell
-
curry-howard
-
propositional-logic
cs.stackexchange
Pourquoi les algorithmes calculant les zéros non tiriviaux ne peuvent pas être utilisés comme preuves d'hypothèse de Riemann?
https://www.generacodice.com/fr/articolo/1592842/pourquoi-les-algorithmes-calculant-les-zeros-non-tiriviaux-ne-peuvent-pas-etre-utilises-comme-preuves-d-hypothese-de-riemann
first-order-logic
-
curry-howard
-
proof-techniques
-
propositional-logic
-
mathematical-foundations
cs.stackexchange
L'implication (fonction) est-elle plus fondamentale que disons la conjonction (produit) dans la théorie des types?
https://www.generacodice.com/fr/articolo/1591445/l-implication-fonction-est-elle-plus-fondamentale-que-disons-la-conjonction-produit-dans-la-theorie-des-types
type-theory
-
curry-howard
-
dependent-types
cs.stackexchange
Comment la programmation logique (en particulier ASP) est liée au raisonnement dans la logique (de premier ordre)?
https://www.generacodice.com/fr/articolo/1590617/comment-la-programmation-logique-en-particulier-asp-est-liee-au-raisonnement-dans-la-logique-de-premier-ordre
logic
-
lambda-calculus
-
first-order-logic
-
curry-howard
-
answer-set-programming
cs.stackexchange
Lambda-calcul peut-il être utilisé pour la représentation des connaissances?
https://www.generacodice.com/fr/articolo/1586837/lambda-calcul-peut-il-etre-utilise-pour-la-representation-des-connaissances
lambda-calculus
-
curry-howard
-
knowledge-representation
-
computational-linguistics
cs.stackexchange
Un système de type peut-il servir d'assistant de preuve pour les fonctions étrangères?
https://www.generacodice.com/fr/articolo/1580593/un-systeme-de-type-peut-il-servir-d-assistant-de-preuve-pour-les-fonctions-etrangeres
type-theory
-
curry-howard
-
proof-assistants
cs.stackexchange
pour tout AB, a -> b [duplicate
https://www.generacodice.com/fr/articolo/1580079/pour-tout-ab-a-b-duplicate
type-theory
-
curry-howard
cs.stackexchange
Pourquoi les types codés par l'église ne sont pas suffisants pour exprimer des preuves inductives?
https://www.generacodice.com/fr/articolo/1579209/pourquoi-les-types-codes-par-l-eglise-ne-sont-pas-suffisants-pour-exprimer-des-preuves-inductives
functional-programming
-
curry-howard
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Existe-t-il un isomorphisme entre la théorie de la catégorie (sous-ensemble de) et l'algèbre relationnelle?
https://www.generacodice.com/fr/articolo/1578654/existe-t-il-un-isomorphisme-entre-la-theorie-de-la-categorie-sous-ensemble-de-et-l-algebre-relationnelle
relational-algebra
-
category-theory
-
curry-howard
cs.stackexchange
Utilisations de l'unité de type
https://www.generacodice.com/fr/articolo/1567380/utilisations-de-l-unite-de-type
lambda-calculus
-
curry-howard
cs.stackexchange
«
1
2
3
4
»
Résultats trouvés: 38