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 proof-assistants - Ceci est la page 5 - GeneraCodice
Nombre de mots en $ l $ de longueur $ n $?
https://www.generacodice.com/fr/articolo/1591094/nombre-de-mots-en-l-de-longueur-n
formal-languages
-
proof-assistants
cs.stackexchange
Comment se fait-il que l'identité code l'absurdité
https://www.generacodice.com/fr/articolo/1589177/comment-se-fait-il-que-l-identite-code-l-absurdite
logic
-
programming-languages
-
proof-assistants
cs.stackexchange
Le 1er théorème de Goedel n'est-il pas algorithmiquement dérivable?
https://www.generacodice.com/fr/articolo/1589086/le-1er-theoreme-de-goedel-n-est-il-pas-algorithmiquement-derivable
proof-assistants
-
incompleteness
-
check-my-answer
cs.stackexchange
Procédure pour résoudre automatiquement les théorèmes sur le terrain dans un solveur SMT
https://www.generacodice.com/fr/articolo/1587624/procedure-pour-resoudre-automatiquement-les-theoremes-sur-le-terrain-dans-un-solveur-smt
logic
-
proof-assistants
-
automated-theorem-proving
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
Qu'est-ce qu'une structure quotient?
https://www.generacodice.com/fr/articolo/1580505/qu-est-ce-qu-une-structure-quotient
lambda-calculus
-
formal-languages
-
proof-assistants
cs.stackexchange
Explication de la preuve de la raison pour laquelle la connectivité n'est pas conjonctivement locale d'une ordonnance $ k $
https://www.generacodice.com/fr/articolo/1580499/explication-de-la-preuve-de-la-raison-pour-laquelle-la-connectivite-n-est-pas-conjonctivement-locale-d-une-ordonnance-k
artificial-intelligence
-
logic
-
algorithms
-
proof-assistants
cs.stackexchange
Existe-t-il une raison / limitation fondamentale, telle que $ p not = np $, qui empêche les ordinateurs de pouvoir faire des mathématiques (épreuves, etc.)?
https://www.generacodice.com/fr/articolo/1580280/existe-t-il-une-raison-limitation-fondamentale-telle-que-p-not-np-qui-empeche-les-ordinateurs-de-pouvoir-faire-des-mathematiques-epreuves-etc
complexity-theory
-
time-complexity
-
proof-assistants
-
p-vs-np
-
mathematical-programming
cs.stackexchange
Induction structurelle sur la liste générique
https://www.generacodice.com/fr/articolo/1563566/induction-structurelle-sur-la-liste-generique
induction
-
proof-assistants
-
correctness-proof
cs.stackexchange
Compte tenu des «programmes comme des preuves» de l'isomorphisme, comment savons-nous que le programme ne ment pas?
https://www.generacodice.com/fr/articolo/1542447/compte-tenu-des-programmes-comme-des-preuves-de-l-isomorphisme-comment-savons-nous-que-le-programme-ne-ment-pas
type-theory
-
curry-howard
-
proof-assistants
-
correctness-proof
-
intuition
cs.stackexchange
«
2
3
4
5
6
7
»
Résultats trouvés: 75