Pytania otagowane jako logic

Do wyzwań związanych z logiką matematyczną i algebrą boolowską.

30
Matematyka jest faktem. Programowanie nie jest
W matematyce wykrzyknik !często oznacza silnię i pojawia się po kłótni. W programowaniu wykrzyknik !często oznacza negację i pojawia się przed argumentem. W przypadku tego wyzwania zastosujemy te operacje tylko do zera i jednego. Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 Weź ciąg …
30
Policz końcowe prawdy
Zainspirowany i na pamiątkę mojego drogiego przyjaciela i kolegi, Dan Baronet , 1956-2016. ODP Znalazł najkrótsze możliwe rozwiązanie APL do tego zadania: Zadanie Biorąc pod uwagę listę boolowską, policz liczbę końcowych wartości prawdy. Przykładowe przypadki {} → 0 {0} → 0 {1} → 1 {0, 1, 1, 0, 0} → …
12
Alex ma czasem rację
Wyzwaniem jest podnieść na duchu naszego moda Alexa A. , który zwykle się myli . Załóżmy, że masz przyjaciela o imieniu Alex, który potrzebuje pomocy w zakresie podstawowej logiki i matematyki, w szczególności równoważności matematycznej . Daje ci listę równań formy, w [variable] = [variable]których a [variable]jest zawsze pojedynczą wielką …
50 code-golf  math  logic 
30
Bądź pierwszym 1 (zostaw tylko pierwszą prawdę)
Wprowadzenie Każdego roku Dyalog Ltd. organizuje konkurs studencki. Wyzwanie polega na napisaniu dobrego kodu APL. To jest agnostyczna edycja kodu golfa ósmego tegorocznego problemu. Mam wyraźną zgodę na opublikowanie tutaj tego wyzwania od pierwotnego autora konkursu. Możesz to zweryfikować, klikając podany link i kontaktując się z autorem. Problem Biorąc pod …
11
Uruchom Stackylogic
Stackylogic to język programowania oparte na logice wymyśliłem, że biorą w 0„s i 1” s dla wejścia i wyjścia jednego 0lub 1po zakończeniu. Program Stackylogic składa się z wierszy, które mogą zawierać tylko trzy znaki, 01?a także dokładnie jeden <na końcu jednego z wierszy. Linie nie mogą być puste, a …
4
Czy świnie potrafią latać?
Zadanie Twoim zadaniem jest napisanie funkcji lub programu w wybranym języku, który analizuje kilka instrukcji i określa, czy można wywnioskować z tych instrukcji, że świnie są w stanie latać. Wejście Dane wejściowe to ciąg znaków, który można odczytać ze STDIN, wziąć jako argument funkcji lub nawet zapisać w pliku. Dane …
3
(A → B) → (¬B → ¬A)
Cóż, myślę, że najwyższy czas, abyśmy mieli kolejne pytanie dotyczące gry w golfa . Tym razem udowodnimy dobrze znaną logiczną prawdę (A→B)→(¬B→¬A)(A→B)→(¬B→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) W tym celu użyjemy trzeciego schematu aksjomatycznego Łukasiewicza , niezwykle eleganckiego zestawu trzech aksjomatów, które są kompletne w stosunku do …
38 logic  proof-golf 
18
Zautomatyzuj swoje pierwsze ćwiczenie liczenia
Wyzwanie CodeGolf PWSSHHHH! Budzisz się w laboratorium kriogenicznym w 3000 roku. Po eskortowaniu do biura zadań, aby otrzymać chip kariery, prawdopodobnie od chłopca z dostawy, sonda wykrywa, że ​​jesteś od 2000 roku. Z tego powodu i kilku stereotypy, jesteś głupi w porównaniu z dzisiejszym współczesnym człowiekiem i zmuszony jesteś powtarzać …
26
Digital Sum Fibonacci
Wszyscy znamy sekwencję Fibonacciego : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Zamiast tego f(n) = f(n-1) + f(n-2)weźmiemy cyfrową sumę poprzednich 2 wpisów. Sekwencja powinna zacząć się od tego 0, 1, po czym różnice są …
30
Trójkąty ASCII
Twoim zadaniem jest napisanie programu lub funkcji, która wypisze trójkąt ASCII. Wyglądają tak: |\ | \ | \ ---- Twój program pobierze pojedyncze dane liczbowe nz ograniczeniami 0 <= n <= 1000. Powyższy trójkąt miał wartość n=3. Trójkąt ASCII będzie miał nukośniki odwrotne ( \) i pionowe paski ( |), …
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 
3
Udowodnij, że się mylę!
Wprowadzenie Twoja misja w życiu jest prosta: Udowodnij ludziom, że się mylą w Internecie! W tym celu zazwyczaj dokładnie analizuje się ich wypowiedzi i wskazuje na zawarte w nich sprzeczności. Czas to zautomatyzować, ale ponieważ jesteśmy leniwi, chcemy udowodnić, że ludzie się mylą przy jak najmniejszym wysiłku (czytaj: najkrótszy kod). …
22 code-golf  math  logic 
2
Golf egzystencjalny
Matematyka ma wiele symboli. Niektórzy mogą powiedzieć zbyt wiele symboli. Zróbmy więc matematykę ze zdjęciami. Zróbmy papier, z którego będziemy czerpać. Aby rozpocząć papier jest pusty, powiemy, że jest to odpowiednik lub .prawda⊤⊤\toptruetrue\textit{true} Jeśli napiszemy na papierze inne rzeczy, one również będą prawdziwe. Na przykład Wskazuje, że twierdzenia i są …
22 math  logic  proof-golf 
3
Kiedy życie daje ci cytryny, zrób lemoniadę
Wyzwanie Będziesz mieć ciąg wejściowy i wszędzie słowo "Lemon"występuje powinien być przekształcony "Lemonade" alea , di emuszą być zapożyczone z innego miejsca w zdaniu. Przykład Przykładowe dane wejściowe: Gdy byłem dzieckiem, znalazłem cytrynę Przykładowe dane wyjściowe: I Founda na lemoniadę whn byłem dzieckiem Lemonade został stworzony przez kradzież następujące literami …
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
Udowodnij prawa DeMorgan
Korzystanie z dziesięciu wniosków Systemu Naturalnego Odliczenia dowodzi praw DeMorgan . Zasady odliczenia naturalnego Wprowadzenie do negacji: {(P → Q), (P → ¬Q)} ⊢ ¬P Eliminacja negacji: {(¬P → Q), (¬P → ¬Q)} ⊢ P I wprowadzenie: {P, Q} ⊢ P ʌ Q I eliminacja: P ʌ Q ⊢ {P, …
30
Narysuj pusty kwadrat # o podanej szerokości
Dostałem to wyzwanie od Codingame i jestem ciekaw lepszych rozwiązań niż moje: Biorąc pod uwagę szerokość za pomocą standardowego wejścia, narysuj pusty kwadrat „#” dla danej szerokości i długości. Przykład: 5 wyników w ##### # # # # # # ##### Użyłem Pythona, aby rozwiązać ten problem, więc jestem szczególnie …
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 
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.