Programmazione logic

14

Qual è l'algoritmo ottimale per il gioco 2048?

Di recente mi sono imbattuto nel gioco del 2048 . Unisci tessere simili spostandole in una delle quattro direzioni per creare tessere "più grandi". Dopo ogni mossa, una nuova tessera appare in una posizione vuota casuale con un valore di 2o 4. Il gioco termina quando tutte le caselle sono …

1920 algorithm logic artificial-intelligence 2048

6

Sono || e ! operatori sufficienti a rendere ogni possibile espressione logica?

L'espressione logica ( a && b ) (entrambe ae bhanno valori booleani) può essere scritta come !(!a || !b), ad esempio. Questo non significa che &&è "inutile"? Questo significa che tutte le espressioni logiche possono essere fatte solo usando ||e !?

294 logic logical-operators

14

Risolvere "Chi possiede la Zebra" a livello di codice?

Modifica: questo puzzle è anche conosciuto come "Einstein's Riddle" The Who possiede la Zebra (puoi provare la versione online qui ) è un esempio di un classico set di puzzle e scommetto che la maggior parte delle persone su Stack Overflow può risolverlo con carta e penna. Ma come sarebbe …

128 language-agnostic logic constraint-programming zebra-puzzle

3

Type-juggling e confronti (rigorosi) maggiore / minore di in PHP

PHP è famoso per il suo tipo di giocoleria. Devo ammettere che mi lascia perplesso e ho difficoltà a scoprire le cose logiche / fondamentali di base nei confronti. Ad esempio: se $a > $bè vero ed $b > $cè vero, deve significare anche che $a > $cè sempre vero? …

115 php if-statement comparison logic ieee-754

2

Semplice 'if' o istruzione logica in Python [chiuso]

Chiuso . Questa domanda richiede dettagli o chiarezza . Attualmente non accetta risposte. Vuoi migliorare questa domanda? Aggiungi dettagli e chiarisci il problema modificando questo post . Chiuso 4 mesi fa . Migliora questa domanda Come scriveresti quanto segue in Python? if key < 1 or key > 34: Ho …

109 python if-statement logic

4

Perché questa istruzione if, con un controllo di assegnazione e uguaglianza, viene valutata come falsa?

Come funziona un'istruzione if Java quando ha un compito e un controllo di uguaglianza OR-d insieme ?? public static void test() { boolean test1 = true; if (test1 = false || test1 == false) { System.out.println("TRUE"); } else { System.out.println("FALSE"); } } Perché questa stampa è FALSA?

105 java if-statement logic

9

((A + (b & 255)) & 255) è uguale a ((a + b) & 255)?

Stavo esplorando un po 'di codice C ++ e ho trovato qualcosa del genere: (a + (b & 255)) & 255 Il doppio AND mi ha infastidito, quindi ho pensato a: (a + b) & 255 ( ae bsono interi senza segno a 32 bit) Ho scritto rapidamente uno script …

92 c++ binary logic

2

Qual è l'equivalente logico combinatorio della teoria dei tipi intuizionista?

Recentemente ho completato un corso universitario che prevedeva Haskell e Agda (un linguaggio di programmazione funzionale tipizzato dipendente) e mi chiedevo se fosse possibile sostituire il lambda calcolo in questi con la logica combinatoria. Con Haskell questo sembra possibile utilizzando i combinatori S e K, rendendolo così privo di punti. …

87 haskell types functional-programming logic agda

7

Perché se (n & -n) == n allora n è una potenza di 2?

La riga 294 della fonte java.util.Random dice if ((n & -n) == n) // i.e., n is a power of 2 // rest of the code Perchè è questo?

84 java logic bit-manipulation

5

C'è un modo per realizzare una funzione di tipo ((a -> b) -> b) -> O ab?

Le proposte (P -> Q) -> Qe P \/ Qsono equivalenti. C'è un modo per testimoniare questa equivalenza in Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b …

18 haskell logic

4

Dal linguaggio naturale all'espressione C ++

Incarico: Traduci le seguenti espressioni in linguaggio naturale in espressioni C ++. Supponiamo che tutte le variabili siano numeri non negativi o booleani (di valore vero o falso). Linguaggio naturale: O aeb sono entrambi falsi oppure c è vero, ma non entrambi. La mia soluzione: (a==0 && b==0)xor(c==1) Soluzione per …

9 c++ logic

Domande taggate «logic»