Als «logic» getaggte Fragen

Für Herausforderungen in Bezug auf mathematische Logik und Boolesche Algebra.

30
Mathematik ist Tatsache. Programmierung geht nicht
In der Mathematik bedeutet ein Ausrufezeichen !oft Fakultät und kommt nach dem Argument. Bei der Programmierung bedeutet ein Ausrufezeichen !oft Negation und steht vor dem Argument. Für diese Herausforderung wenden wir diese Operationen nur auf Null und Eins an. Factorial 0! = 1 1! = 1 Negation !0 = 1 …
30
Zähle nachfolgende Wahrheiten
Inspiriert von und in Erinnerung an meinen lieben Freund und Kollegen, Dan Baronet , 1956 - 2016. RIP Er fand die kürzestmögliche APL-Lösung für diese Aufgabe: Aufgabe Zählen Sie anhand einer Booleschen Liste die Anzahl der nachgestellten Wahrheitswerte. Beispielfälle {} → 0 {0} → 0 {1} → 1 {0, 1, …
12
Alex hat manchmal recht
Diese Herausforderung besteht darin, die Stimmung unseres Mods Alex A. zu heben , der normalerweise Unrecht hat . Angenommen, Sie haben einen Freund namens Alex, der Hilfe bei der grundlegenden Logik und Mathematik benötigt, insbesondere bei der mathematischen Äquivalenz . Er gibt Ihnen eine Liste von Gleichungen in der Form, …
50 code-golf  math  logic 
30
Sei der Erste 1 (lass nur die erste Wahrheit)
Intro Jedes Jahr veranstaltet Dyalog Ltd. einen Studentenwettbewerb. Die Herausforderung besteht darin, guten APL-Code zu schreiben . Dies ist eine sprachunabhängige Code-Golf- Ausgabe des diesjährigen achten Problems. Ich habe die ausdrückliche Erlaubnis, diese Herausforderung hier vom ursprünglichen Autor des Wettbewerbs zu posten. Sie können dies jederzeit überprüfen, indem Sie dem …
11
Führen Sie Stackylogic aus
Stackylogic ist eine logikbasierte Programmiersprache, die ich erfunden habe 0und die Ein 1- und Ausgänge für eine einzelne 0oder 1nach Fertigstellung enthält. Ein Stackylogic-Programm besteht aus Zeilen, die nur die drei Zeichen 01?sowie genau eines <am Ende einer der Zeilen enthalten können. Zeilen dürfen nicht leer sein und die Zeile …
4
Können Schweine fliegen?
Aufgabe Ihre Aufgabe ist es, eine Funktion oder ein Programm in einer Sprache Ihrer Wahl zu schreiben, die einige Aussagen analysiert und feststellt, ob aus diesen Aussagen geschlossen werden kann, dass Schweine fliegen können. Eingang Die Eingabe ist eine Zeichenfolge, die aus STDIN gelesen, als Funktionsargument verwendet oder sogar in …
3
(A → B) → (¬B → ¬A)
Nun, ich denke, es ist an der Zeit, eine weitere Frage zum Golfspielen zu stellen. Dieses Mal werden wir die bekannte logische Wahrheit beweisen (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Dazu verwenden wir Lukasiewicz 'drittes Axiom-Schema , eine unglaublich elegante Menge von drei Axiomen, die die Aussagenlogik …
38 logic  proof-golf 
30
ASCII-Dreiecke
Ihre Aufgabe ist es, ein Programm oder eine Funktion zu schreiben, die ein ASCII-Dreieck druckt. Sie sehen so aus: |\ | \ | \ ---- Ihr Programm nimmt eine einzelne numerische Eingabe nmit den Einschränkungen an 0 <= n <= 1000. Das obige Dreieck hatte einen Wert von n=3. Das …
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
Digitale Summe Fibonacci
Wir alle kennen die Fibonacci-Sequenz : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Stattdessen nehmen f(n) = f(n-1) + f(n-2)wir jedoch die digitale Summe der vorherigen 2 Einträge. Die Sequenz sollte immer noch beginnen 0, 1, …
3
Widerlege mich!
Einführung Ihre Mission im Leben ist einfach: Beweisen Sie, dass sich Menschen im Internet irren! Dazu analysieren Sie normalerweise sorgfältig ihre Aussagen und weisen auf den Widerspruch in ihnen hin. Es ist an der Zeit, dies zu automatisieren, aber da wir faul sind, möchten wir Menschen das Gegenteil mit dem …
22 code-golf  math  logic 
2
Existential Golf
Mathe hat viele Symbole. Einige sagen vielleicht zu viele Symbole. Lassen Sie uns also ein bisschen mit Bildern rechnen. Lassen Sie uns ein Papier haben, auf das wir zurückgreifen werden. Um zu beginnen, dass das Papier leer ist, werden wir sagen, dass dies gleichbedeutend mit oder wahr ist .⊤⊤\topwahrwahr\textit{true} Wenn …
22 math  logic  proof-golf 
3
Wenn das Leben dir Zitronen gibt, mach Limonade daraus
Herausforderung Sie erhalten eine Eingabezeichenfolge, überall das Wort gegeben , "Lemon"es zu finden ist umgewandelt werden soll , "Lemonade" aber das a, dund emuss von irgendwo anders in dem Satz ausgeliehen werden. Beispiel Beispiel Eingabe: Ich habe als Kind eine Zitrone gefunden Beispielausgabe: Ich trinke eine Limonade, als ich noch …
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
Beweisen Sie DeMorgans Gesetze
Die zehn Schlussfolgerungen des Natural Deduction Systems beweisen die Gesetze von DeMorgan . Die Regeln des natürlichen Abzugs Verneinung Einführung: {(P → Q), (P → ¬Q)} ⊢ ¬P Verneinung-Beseitigung: {(¬P → Q), (¬P → ¬Q)} ⊢ P Und Einführung: {P, Q} ⊢ P ʌ Q Und Beseitigung: P ʌ Q …
30
Zeichnen Sie ein hohles Quadrat mit der angegebenen Breite
Ich habe diese Herausforderung von Codingame erhalten und bin neugierig auf bessere Lösungen als meine: Zeichnen Sie bei einer Breite über die Standardeingabe ein hohles Quadrat '#' in der angegebenen Breite und Länge. Beispiel: 5 Ergebnisse in ##### # # # # # # ##### Ich habe Python verwendet, um …
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 
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.