L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

7
Existe-t-il une preuve plus intuitive de l'indécidabilité du problème d'arrêt que la diagonalisation?
Je comprends la preuve de l'indécidabilité du problème d'arrêt (donnée par exemple dans le manuel de Papadimitriou), basée sur la diagonalisation. Bien que la preuve soit convaincante (j'en comprends chaque étape), elle n'est pas intuitive pour moi en ce sens que je ne vois pas comment quelqu'un la dériverait, à …
4
Que voulait dire Turing en disant que «les machines ne peuvent pas donner lieu à des surprises» est dû à une erreur?
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. J'ai rencontré ci-dessous la déclaration d' Alan M. Turing ici : "L'opinion …
2
Lambda Calculus est-il purement syntaxique?
Je lis depuis quelques semaines sur le Lambda Calculus, mais je n'ai encore rien vu qui soit matériellement distinct des fonctions mathématiques existantes, et je veux savoir si c'est juste une question de notation, ou s'il y a de nouvelles propriétés ou règles créées par les axiomes de calcul lambda …
2
Pourquoi les réseaux de neurones semblent-ils mieux fonctionner avec des restrictions placées sur leur topologie?
Les réseaux backprop entièrement connectés (au moins couche à couche avec plus de 2 couches masquées) sont des apprenants universels. Malheureusement, ils sont souvent lents à apprendre et ont tendance à trop s'adapter ou à avoir des généralisations maladroites. En m'amusant avec ces réseaux, j'ai observé que l'élagage de certains …
5
Explication de la recherche booléenne
Ma mère suit un cours en ligne afin d'être une sorte de bibliothécaire, dans ce cours, ils couvrent les recherches booléennes, afin qu'ils puissent rechercher des bases de données efficacement, cependant, elle a reçu une question ressemblant à ceci: La recherche «x OU y» donnera 105 000 résultats, tandis que …
29 sets  counting 
4
Generalised 3SUM (k-SUM) problem?
Le problème 3SUM essaie d'identifier 3 entiersa , b , cune,b,ca,b,cSSSnnna + b + c = 0une+b+c=0a + b + c = 0 On suppose qu'il n'y a pas de meilleure solution que quadratique, c'est-à-dire o ( n2)o(n2)\mathcal{o}(n^2)o (nlog( n ) + n2)o(nbûche⁡(n)+n2)\mathcal{o}(n \log(n) + n^2) Je me demandais donc …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.