Domande taggate «logic»

Per sfide relative alla logica matematica e all'algebra booleana.

30
La matematica è un fatto. La programmazione no
In matematica un punto esclamativo !spesso significa fattoriale e segue l'argomento. Nella programmazione di un punto esclamativo !spesso significa negazione e viene prima dell'argomento. Per questa sfida applicheremo queste operazioni solo a zero e una. Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 Prendi …
30
Conta le verità finali
Ispirato e in ricordo del mio caro amico e collega, Dan Baronet , 1956-2016. RIP Ha trovato la soluzione APL più breve possibile per questo compito: Compito Dato un elenco booleano, conta il numero di valori di verità finali. Casi di esempio {} → 0 {0} → 0 {1} → …
12
A volte Alex ha ragione
Questa sfida è sollevare gli spiriti del nostro mod Alex A. , che di solito ha torto . Supponiamo di avere un amico di nome Alex che ha bisogno di aiuto con la logica e la matematica di base, in particolare l'equivalenza matematica . Ti dà un elenco di equazioni …
50 code-golf  math  logic 
30
Sii il primo 1 (lascia solo la prima verità)
Intro Ogni anno, Dyalog Ltd. organizza una competizione studentesca. La sfida è scrivere un buon codice APL. Questa è un'edizione linguistica indipendente dal codice golf dell'ottavo problema di quest'anno. Ho il permesso esplicito di pubblicare questa sfida qui dall'autore originale del concorso. Sentiti libero di verificare seguendo il link fornito …
11
Esegui Stackylogic
Stackylogic è un linguaggio di programmazione basato sulla logica che ho inventato che accetta 0"s 1" e "s" per input e output un singolo 0o 1al completamento. Un programma Stackylogic è composto da righe che possono contenere solo i tre caratteri 01?e esattamente uno <alla fine di una delle righe. …
4
I maiali sono in grado di volare?
Compito Il tuo compito è scrivere una funzione o un programma in una lingua a tua scelta che analizzi un paio di affermazioni e determini se da quelle affermazioni si può concludere che i maiali sono in grado di volare. Ingresso L'input è una stringa che può essere letta da …
3
(A → B) → (¬B → ¬A)
Beh, penso che sia giunto il momento di fare un'altra domanda sul campo da golf . Questa volta proveremo la ben nota verità logica ( A→ B ) → ( ¬ B → ¬ A )(UN→B)→(¬B→¬UN)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Per fare questo useremo il terzo …
38 logic  proof-golf 
30
Triangoli ASCII
Il tuo compito è scrivere un programma o una funzione che stampa un triangolo ASCII. Sembrano così: |\ | \ | \ ---- Il tuo programma prenderà un singolo input numerico n, con i vincoli 0 <= n <= 1000. Il triangolo sopra aveva un valore di n=3. Il triangolo …
30 code-golf  ascii-art  code-golf  rubiks-cube  code-golf  path-finding  maze  regular-expression  code-golf  math  rational-numbers  code-golf  kolmogorov-complexity  graphical-output  code-golf  tips  code-golf  string  permutations  code-golf  sorting  base-conversion  binary  code-golf  tips  basic  code-golf  number  number-theory  fibonacci  code-golf  date  code-golf  restricted-source  quine  file-system  code-golf  code-golf  math  code-golf  ascii-art  code-golf  math  primes  code-golf  code-golf  math  matrix  code-golf  string  math  logic  factorial  code-golf  palindrome  code-golf  quine  stateful  code-golf  interactive  code-golf  board-game  code-golf  math  arithmetic  code-golf  string  code-golf  math  matrix  code-golf  math  abstract-algebra  polynomials  code-golf  date  code-golf  string  array-manipulation  sorting  code-golf  game  code-golf  string  code-golf  ascii-art  decision-problem  code-golf  number  sequence  code-golf  code-golf  code-golf  sequence  fibonacci  code-golf  math  geometry  random  code-golf  code-golf  math  decision-problem  fractal  rational-numbers  code-golf  number  number-theory  code-golf  combinatorics  permutations  card-games  code-golf  math  sequence  array-manipulation  fibonacci  code-golf  sequence  decision-problem  graph-theory  code-golf  ascii-art  parsing  lisp  code-golf  string  math  natural-language  logic  code-golf  math  logic  code-golf  string  alphabet  code-golf  string  code-golf  string 
26
Somma digitale Fibonacci
Conosciamo tutti la sequenza di Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Tuttavia, invece di, f(n) = f(n-1) + f(n-2)prenderemo la somma digitale delle precedenti 2 voci. La sequenza dovrebbe comunque iniziare con 0, …
3
Dimostra che ho torto!
introduzione La tua missione nella vita è semplice: dimostrare alle persone di sbagliarsi su Internet! Per fare questo di solito analizzi attentamente le loro affermazioni e fai notare la contraddizione in esse. È tempo di automatizzare tutto ciò, ma poiché siamo pigri, vogliamo dimostrare alle persone che sbagliano con il …
22 code-golf  math  logic 
2
Golf esistenziale
La matematica ha molti simboli. Alcuni potrebbero dire troppi simboli. Quindi facciamo un po 'di matematica con le immagini. Diamo un foglio su cui attingeremo. Per iniziare il foglio è vuoto, diremo che equivale a o .⊤⊤\toptruetrue\textit{true} Se scriviamo altre cose sul foglio, saranno vere. Per esempio Indica che le …
22 math  logic  proof-golf 
3
Quando la vita ti dà i limoni, prepara la limonata
Sfida Vi sarà data una stringa di input, ovunque la parola "Lemon"è trovato che dovrebbe essere convertito "Lemonade" ma la a, de edeve essere preso in prestito da qualche altra parte nella frase. Esempio Esempio di input: Ho trovato un limone da bambino Esempio di output: Ho fatto una limonata …
21 code-golf  string  code-golf  parsing  internet  stack-exchange-api  code-challenge  kolmogorov-complexity  restricted-source  brain-flak  python  logic  pyth  code-golf  string  search  optimized-output  code-golf  tips  language-design  golfing-language  code-golf  tips  language-design  code-golf  number  sorting  pi  code-golf  math  number  code-golf  string  balanced-string  classification  brain-flak  code-golf  math  number-theory  decision-problem  code-golf  tips  code-golf  number  sequence  code-golf  balanced-string  brain-flak  code-golf  math  sequence  arithmetic  fibonacci  code-golf  math  parsing  code-golf  string  keyboard  code-golf  code-golf  string  source-layout  whitespace  code-golf  math  rational-numbers  code-golf  string  code-golf  string  code-golf  math  sequence  code-golf  number  floating-point  code-golf  string  decision-problem  subsequence  code-golf  string  kolmogorov-complexity  code-golf  string  permutations  balanced-string  brain-flak  code-golf  string  math  number  code-golf  string  primes  cipher  code-golf  string  ascii-art  chemistry  code-golf  ascii-art  grid  counting  code-golf  math  arithmetic  integer  code-golf  number  kolmogorov-complexity  code-golf  ascii-art  kolmogorov-complexity  sequence  metagolf  brain-flak  code-golf  ascii-art  kolmogorov-complexity  code-golf  string  whitespace 
3
Dimostrare le leggi di DeMorgan
L'uso delle dieci inferenze del sistema di detrazione naturale dimostra le leggi di DeMorgan . Le regole della deduzione naturale Introduzione alla negazione: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminazione della negazione: {(¬P → Q), (¬P → ¬Q)} ⊢ P E introduzione: {P, Q} ⊢ P ʌ Q …
30
Disegna un quadrato vuoto di # con la larghezza data
Ho ricevuto questa sfida da Codingame e sono curioso di trovare soluzioni migliori delle mie: Data una larghezza tramite input standard, disegna un quadrato vuoto di '#' in una data larghezza e lunghezza. Esempio: 5 risultati in ##### # # # # # # ##### Ho usato Python per risolvere …
21 code-golf  string  ascii-art  number  code-golf  grid  code-golf  string  ascii-art  code-golf  alphabet  cipher  code-golf  math  number  code-golf  quine  code-golf  palindrome  polyglot  code-golf  number  array-manipulation  counting  logic  code-golf  string  primes  binary  decision-problem  code-golf  ascii-art  kolmogorov-complexity  popularity-contest  code-golf  probability-theory  code-golf  string  code-golf  python  polyglot  programming-puzzle  c++  code-golf  math  code-golf  binary  integer  bitwise  code-golf  rational-numbers  code-golf  string  palindrome  code-golf  ascii-art  code-golf  code-golf  string  fibonacci  code-golf  math  sequence  code-golf  code-golf  string  palindrome  code-golf  string  code-golf  math  primes  source-layout  code-golf  sequence  binary  integer  code-golf  math  arithmetic  game  code-golf  restricted-source  palindrome  code-golf  restricted-source  palindrome  code-golf  combinatorics  binary  code-golf  string  math  code-golf  ascii-art  number  code-golf  cipher  code-golf  base-conversion  counting  code-golf  sequence  random  classification  code-golf  string  subsequence  code-golf  permutations  code-golf  string  code-golf  string  cipher  code-golf  kolmogorov-complexity  arithmetic  integer  code-golf  quine  markov-chain  code-golf  string  code-golf  code-golf  ascii-art  maze 
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.