La programmation logic

14

Quel est l'algorithme optimal pour le jeu 2048?

Je suis récemment tombé sur le jeu 2048 . Vous fusionnez des tuiles similaires en les déplaçant dans l'une des quatre directions pour faire des tuiles "plus grandes". Après chaque mouvement, une nouvelle tuile apparaît à une position vide aléatoire avec une valeur de 2ou 4. Le jeu se termine …

1920 algorithm logic artificial-intelligence 2048

6

Sont || et ! opérateurs suffisants pour rendre toutes les expressions logiques possibles?

L'expression logique ( a && b ) (les deux aet bont des valeurs booléennes) peut être écrite comme !(!a || !b), par exemple. Cela ne veut-il pas dire que &&c'est "inutile"? Est-ce à dire que toutes les expressions logiques ne peuvent être faites qu'en utilisant ||et !?

294 logic logical-operators

14

Résoudre par programmation «À qui appartient le zèbre»?

Edit: ce puzzle est également connu sous le nom de "L'énigme d'Einstein" Le propriétaire du zèbre (vous pouvez essayer la version en ligne ici ) est un exemple d'énigmes classiques et je parie que la plupart des utilisateurs de Stack Overflow peuvent le résoudre avec un stylo et du papier. …

128 language-agnostic logic constraint-programming zebra-puzzle

3

Jonglerie de type et comparaisons (strictes) supérieures / inférieures à PHP

PHP est célèbre pour son jonglage de types. Je dois admettre que cela me laisse perplexe, et j'ai du mal à trouver des éléments logiques / fondamentaux de base dans les comparaisons. Par exemple: si $a > $best vrai et $b > $cest vrai, cela signifie-t-il que $a > $cc'est …

115 php if-statement comparison logic ieee-754

2

Simple 'if' ou instruction logique en Python [fermé]

Fermé . Cette question a besoin de détails ou de clarté . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Ajoutez des détails et clarifiez le problème en éditant ce message . Fermé il y a 4 mois . Améliorez cette question Comment écririez-vous ce qui suit …

109 python if-statement logic

4

Pourquoi cette instruction if, avec une affectation et un contrôle d'égalité, est-elle évaluée à false?

Comment fonctionne une instruction Java if lorsqu'elle a une affectation et une vérification d'égalité OR-d ensemble? public static void test() { boolean test1 = true; if (test1 = false || test1 == false) { System.out.println("TRUE"); } else { System.out.println("FALSE"); } } Pourquoi cette impression est-elle FAUX?

105 java if-statement logic

9

((A + (b & 255)) & 255) est-il identique à ((a + b) & 255)?

Je parcourais du code C ++ et j'ai trouvé quelque chose comme ceci: (a + (b & 255)) & 255 Le double ET m'a ennuyé, alors j'ai pensé à: (a + b) & 255 ( aet bsont des entiers non signés 32 bits) J'ai rapidement écrit un script de test …

92 c++ binary logic

2

Quel est l'équivalent en logique combinatoire de la théorie des types intuitionnistes?

J'ai récemment terminé un cours universitaire qui présentait Haskell et Agda (un langage de programmation fonctionnel typé dépendant), et je me demandais s'il était possible de remplacer le calcul lambda dans ces derniers par la logique combinatoire. Avec Haskell, cela semble possible en utilisant les combinateurs S et K, ce …

87 haskell types functional-programming logic agda

7

Pourquoi si (n & -n) == n alors n est une puissance de 2?

La ligne 294 de la source java.util.Random indique if ((n & -n) == n) // i.e., n is a power of 2 // rest of the code Pourquoi est-ce?

84 java logic bit-manipulation

5

Existe-t-il un moyen de réaliser une fonction de type ((a -> b) -> b) -> Soit ab?

Les propositions (P -> Q) -> Qet P \/ Qsont équivalentes. Existe-t-il un moyen de témoigner de cette équivalence à Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> …

18 haskell logic

4

Du langage naturel à l'expression C ++

Affectation: Traduisez les expressions de langage naturel suivantes en expressions C ++. Supposons que toutes les variables sont des nombres non négatifs ou booléens (de valeur true ou false). Langage naturel: Soit a et b sont faux ou c est vrai, mais pas les deux. Ma solution: (a==0 && b==0)xor(c==1) …

9 c++ logic

Questions marquées «logic»