L'informatique

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

2
«Ordre applicable» et «Ordre normal» dans le lambda-calcul
Ordre d'application: Évaluez toujours complètement les arguments d'une fonction avant d'évaluer la fonction elle-même, comme - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.X2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 Ordre normal: …
1
Problème intéressant sur le tri
Étant donné un tube avec des boules numérotées (aléatoire). Le tube a des trous pour retirer une balle. Considérez les étapes suivantes pour une opération: Vous pouvez choisir une ou plusieurs balles dans les trous et vous souvenir de l'ordre dans lequel vous avez choisi les balles. Vous devez incliner …
3
CS théorique et mathématiques - recommandations d'autoformation
Je suis un diplômé non-CS et mon domaine d'études n'est pas lié à CS. Cependant, dans le cadre d'un projet plus vaste visant à devenir informaticien, je souhaite obtenir une solide formation en informatique théorique et en mathématiques en ce qui concerne la CS. J'ai fait de nombreuses recherches et …
14 books 
2
Fonction qui propage l'entrée
Je voudrais savoir s'il existe une fonction des nombres à n bits aux nombres à n bits qui présente les caractéristiques suivantes:fff fff doit être bijectif Les deux et devrait être assez rapide calculableffff−1f−1f^{-1} fff doit renvoyer un nombre qui n'a pas de corrélation significative avec son entrée. La justification …
1
Conditions de planarité pour Planar 1-in-3 SAT
Planar 3SAT est NP-complet. Une instance planaire 3SAT est une instance 3SAT pour laquelle le graphique construit à l'aide des règles suivantes est planaire: ajouter un sommet pour chaque et ¯ x iXjeXjex_iXje¯Xje¯\bar{x_i} ajouter un sommet pour chaque clauseCjCjC_j ajouter un bord pour chaque paire( xje, xje¯)(Xje,Xje¯)(x_i,\bar{x_i}) ajouter une arête …
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.