Questions marquées «logic»

Pour les défis liés à la logique mathématique et à l'algèbre booléenne.

12
Alex a parfois raison
Ce défi consiste à élever les esprits de notre mod Alex A. , qui a généralement tort . Supposons que vous avez un ami nommé Alex qui a besoin d'aide pour la logique de base et les mathématiques, en particulier l'équivalent mathématique . Il vous donne une liste d'équations de …
50 code-golf  math  logic 
11
Exécuter Stackylogic
Stackylogic est un langage de programmation basé sur la logique que j'ai composé et qui prend en charge 0les 1entrées et les sorties et en sort un seul 0ou 1à la fin. Un programme Stackylogic est composé de lignes qui ne peuvent contenir que les trois caractères 01?, ainsi qu’un …
4
Les porcs sont-ils capables de voler?
Tâche Votre tâche consiste à écrire une fonction ou un programme dans une langue de votre choix qui analyse deux déclarations et détermine s’il est possible de conclure que, de ces déclarations, les porcs sont capables de voler. Contribution L'entrée est une chaîne pouvant être lue à partir de STDIN, …
3
(A → B) → (¬B → ¬A)
Eh bien, je pense qu’il est temps que nous posions une autre question de golf d’épreuve . Cette fois, nous allons prouver la vérité logique bien connue (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Pour ce faire, nous utiliserons le troisième schéma d'iiukasiewicz , un ensemble incroyablement élégant …
38 logic  proof-golf 
18
Automatisez votre premier exercice de comptage
Défi CodeGolf PWSSHHHH! Vous vous réveillez dans un laboratoire de cryogénie en l'an 3000. Après avoir été escorté au bureau des affectations pour recevoir votre puce de carrière, vraisemblablement celle d'un livreur, une sonde détecte que vous êtes à partir de l'an 2000. Pour cette raison, quelques les stéréotypes, vous …
30
Triangles ASCII
Votre tâche consiste à écrire un programme ou une fonction qui imprime un triangle ASCII. Ils ressemblent à ceci: |\ | \ | \ ---- Votre programme prendra une seule entrée numérique n, avec les contraintes 0 <= n <= 1000. Le triangle ci-dessus avait une valeur de n=3. Le …
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
Digital Sum Fibonacci
Nous connaissons tous la séquence de Fibonacci : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Cependant, au lieu de, f(n) = f(n-1) + f(n-2)nous prendrons la somme numérique des 2 entrées précédentes. La séquence doit toujours …
3
Prouve moi le contraire!
introduction Votre mission dans la vie est simple: prouver que les gens ont tort sur Internet! Pour ce faire, vous analysez généralement attentivement leurs déclarations et signalez leur contradiction. Il est temps d'automatiser cela, mais comme nous sommes paresseux, nous voulons prouver que les gens ont tort avec le moins …
22 code-golf  math  logic 
2
Golf existentiel
Les mathématiques ont beaucoup de symboles. Certains pourraient dire trop de symboles. Permet donc de faire quelques calculs avec des images. Permet d'avoir un papier, sur lequel nous allons puiser. Pour commencer le papier est vide, on dira que c'est équivalent à ou vrai .⊤⊤\topvraivrai\textit{true} Si nous écrivons d'autres choses …
22 math  logic  proof-golf 
3
Lorsque la vie vous donne des citrons, faites de la limonade
Défi Vous recevrez une chaîne d'entrée, où le mot "Lemon"est trouvé , il doit être converti en , "Lemonade" mais la a, det edoit être emprunté à un autre endroit dans la phrase. Exemple Exemple d'entrée: J'ai trouvé un citron quand j'étais enfant Exemple de sortie: Je trouve une limonade …
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
Prouvez les lois de DeMorgan
L'utilisation des dix inférences du système de déduction naturelle prouve les lois de DeMorgan . Les règles de déduction naturelle Introduction à la négation: {(P → Q), (P → ¬Q)} ⊢ ¬P Élimination de la négation: {(¬P → Q), (¬P → ¬Q)} ⊢ P Et introduction: {P, Q} ⊢ P …
30
Dessinez un carré creux de # avec une largeur donnée
J'ai obtenu ce défi de Codingame et je suis curieux de trouver de meilleures solutions que la mienne: Étant donné une largeur via l'entrée standard, dessinez un carré creux de «#» de largeur et de longueur données. Exemple: 5 résultats dans ##### # # # # # # ##### J'ai …
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 
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.