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 computability - Ceci est la page 4 - GeneraCodice
Preuve que les langues sont diurnurcissables IFF de manière informatique-énumérable
https://www.generacodice.com/fr/articolo/2478947/preuve-que-les-langues-sont-diurnurcissables-iff-de-maniere-informatique-enumerable
enumeration
-
turing-machines
-
computability
-
formal-languages
cs.stackexchange
Algorithme de vérification de la satisfaction
https://www.generacodice.com/fr/articolo/2476884/algorithme-de-verification-de-la-satisfaction
complexity-theory
-
computability
-
satisfiability
-
np
-
3-sat
cs.stackexchange
Le terme “continuité” ont une signification différente en mathématiques et en CS?
https://www.generacodice.com/fr/articolo/2476469/le-terme-continuite-ont-une-signification-differente-en-mathematiques-et-en-cs
terminology
-
computability
cs.stackexchange
Quelle est la "continuité" comme terme dans l'analyse calculable?
https://www.generacodice.com/fr/articolo/2476279/quelle-est-la-continuite-comme-terme-dans-l-analyse-calculable
computability
-
topology
-
mathematical-analysis
-
computable-analysis
cs.stackexchange
Quelle est la pertinence du calculable lors de l'application de la diagonallisation?
https://www.generacodice.com/fr/articolo/2475793/quelle-est-la-pertinence-du-calculable-lors-de-l-application-de-la-diagonallisation
computability
-
proof-techniques
cs.stackexchange
For an NFA, can we always find a RAM?
https://www.generacodice.com/fr/articolo/2475099/for-an-nfa-can-we-always-find-a-ram
complexity-theory
-
computability
-
finite-automata
-
discrete-mathematics
-
formal-languages
cs.stackexchange
Qu'est-ce que la minimisation (fonction μ) en termes simples ?
https://www.generacodice.com/fr/articolo/2472699/qu-est-ce-que-la-minimisation-fonction-μ-en-termes-simples
computability
cs.stackexchange
Quel est le problème avec cette "preuve" que $ \ mathbb {r} $ est énumérable?
https://www.generacodice.com/fr/articolo/2472636/quel-est-le-probleme-avec-cette-preuve-que-mathbb-r-est-enumerable
enumeration
-
computability
-
real-numbers
-
uncountability
cs.stackexchange
Pourquoi ce langage est-il reconnaissable et ne pas-il ne pas être reconnaissable
https://www.generacodice.com/fr/articolo/2472511/pourquoi-ce-langage-est-il-reconnaissable-et-ne-pas-il-ne-pas-etre-reconnaissable
complexity-theory
-
turing-machines
-
computability
-
undecidability
cs.stackexchange
Is it true that if L* is recursive, L is also recursive?
https://www.generacodice.com/fr/articolo/2472067/is-it-true-that-if-l-is-recursive-l-is-also-recursive
computability
-
formal-languages
-
kleene-star
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 1630