L'informatique

22
Pourquoi ?

Je voudrais savoir s'il existe une règle pour le prouver. Par exemple, si j'utilise la loi distributive, je n'obtiendrai que .( A ∨ A ) ∧ ( A ∨ ¬ B )(A∨A)∧(A∨¬B)(A \lor A) \land (A \lor \neg

21
Fréquence CPU par an

Je sais que depuis ~ 2004, la loi de Moore a cessé de fonctionner pour la vitesse d'horloge du processeur. Je cherche un graphique montrant cela, mais je ne le trouve pas: la plupart des graphiques montrent le nombre de transistors ou la capacité par an. Où puis-je trouver des données montrant la...

21
Qu'est-ce que l'équivalence bêta?

Dans le script que je lis actuellement sur le calcul lambda, l'équivalence bêta est définie comme suit: L' équivalence est la plus petite équivalence qui contient .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Je n'ai aucune idée de ce que ça veut dire. Quelqu'un peut-il l'expliquer en termes plus...

21
Livre pour des algorithmes au-delà de Cormen

J'ai terminé la plupart des éléments du livre Intro to Algorithms de Cormen et je suis à la recherche d'un livre d'algorithmes qui couvre le matériel au-delà du livre de Corman. Y a-t-il des recommandations? REMARQUE: J'ai posé cette question sur stackoverflow mais je n'étais pas trop satisfait de...

21
L'échantillonnage par rejet est-il le seul moyen d'obtenir une distribution vraiment uniforme des nombres aléatoires?

Supposons que nous avons un générateur aléatoire qui délivre les numéros dans la gamme avec une distribution uniforme et nous devons générer des nombres aléatoires dans la gamme avec une distribution uniforme.[ 0 .. N - 1 ][0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] Supposons que et ne divise...