Вопросы с тегом «logic»

В математике восклицательный знак !часто означает факториал, и он идет после аргумента. В программировании восклицательный знак !часто означает отрицание, и он стоит перед аргументом. Для этой задачи мы применим только эти операции к нулю и единице. Factorial 0! = 1 1! = 1 Negation !0 = 1 !1 = 0 …

175 code-golf  string  math  logic  factorial 

Вдохновленный и в память о моем дорогом друге и коллеге, Дэн Баронет , 1956 - 2016 гг. RIP Он нашел кратчайшее возможное решение APL для этой задачи: задача Если задан логический список, подсчитайте количество конечных значений истинности. Примеры случаев {} → 0 {0} → 0 {1} → 1 {0, 1, …

59 code-golf  number  array-manipulation  counting  logic 

Эта задача - поднять настроение нашему моду Алексу А. , который обычно ошибается . Предположим, у вас есть друг по имени Алекс, которому нужна помощь по базовой логике и математике, в частности, по математической эквивалентности . Он дает вам список уравнений вида, [variable] = [variable]где a [variable]- это всегда одна …

50 code-golf  math  logic 

вступление Ежегодно ООО «Дьялог» проводит студенческий конкурс. Задача состоит в том, чтобы написать хороший код APL. Это не зависящий от языка код-гольф издание восьмой проблемы этого года. У меня есть явное разрешение опубликовать этот вызов здесь от первоначального автора конкурса. Не стесняйтесь проверить, перейдя по предоставленной ссылке и связавшись с …

47 code-golf  array-manipulation  logic 

Stackylogic - это язык программирования, основанный на логике, который я создал, который принимает 0и вводит 1и выводит один 0или 1после завершения. Программа Stackylogic состоит из строк, которые могут содержать только три символа, 01?а также ровно один <в конце одной из строк. Линии не могут быть пустыми и линия с <должна …

45 code-golf  interpreter  binary  logic-gates  logic 

задача Ваша задача - написать функцию или программу на языке по вашему выбору, который анализирует пару утверждений и определяет, можно ли сделать вывод из этих утверждений, что свиньи способны летать. вход Входные данные представляют собой строку, которую можно прочитать из STDIN, принять в качестве аргумента функции или даже сохранить в …

45 code-golf  natural-language  logic 

Ну, я думаю, что пора у нас есть еще один проверочный вопрос. На этот раз мы собираемся доказать общеизвестную логическую истину ( A → B ) → ( ¬ B → ¬ A )(A→В)→(¬В→¬A)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Для этого мы будем использовать третью схему аксиом …

38 logic  proof-golf 

CodeGolf Challenge PWSSHHHH! Вы просыпаетесь в криогенной лаборатории в 3000 году. После того, как вас сопровождают в офис назначения, чтобы получить ваш карьерный чип, предположительно таковой у курьера, зонд обнаруживает, что вы из 2000 года. Из-за этого и нескольких стереотипы, вы, как предполагается, глупы по сравнению с сегодняшним современным человеком …

36 code-golf  string  math  natural-language  logic 

Мы все знакомы с последовательностью Фибоначчи : 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610, 987, 1597, 2584, 4181, 6765 Однако вместо этого f(n) = f(n-1) + f(n-2)мы возьмем цифровую сумму предыдущих 2 записей. Последовательность должна все еще начинаться 0, 1, после …

30 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 

Ваша задача - написать программу или функцию, которая печатает треугольник ASCII. Они выглядят так: |\ | \ | \ ---- Ваша программа будет принимать один числовой ввод nс ограничениями 0 <= n <= 1000. Вышеупомянутый треугольник имел значение n=3. Треугольник ASCII будет иметь nобратную косую черту ( \) и вертикальные …

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 

Введение Ваша жизненная миссия проста: докажите, что люди не правы в Интернете! Для этого вы обычно тщательно анализируете их высказывания и указываете на противоречие в них. Пришло время автоматизировать это, но, поскольку мы ленивы, мы хотим доказать, что люди ошибаются с минимальными усилиями (читай: самый короткий код). Спецификация вход Ваш …

22 code-golf  math  logic 

Математика имеет много символов. Некоторые могут сказать слишком много символов. Итак, давайте сделаем немного математики с картинками. Давайте иметь бумагу, на которой мы будем рисовать. Для начала бумага пуста, мы скажем, что эквивалентно или true .⊤⊤\topправдаtrue\textit{true} Если мы напишем на бумаге другие вещи, они тоже будут правдой. Например Указывает, что …

22 math  logic  proof-golf 

Вызов Вам будет предоставлена входной строки, везде слово "Lemon"встречается оно должно быть преобразовано в "Lemonade" ноa , dи eдолжны быть заимствованы из другого места в предложении. пример Пример ввода: Я нашел лимон, когда я был ребенком Пример вывода: Я основал лимонад, когда я был ребенком Лимонад был создан украв следующие …

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 

Использование десяти выводов Системы естественного удержания доказывает законы Деморгана . Правила естественного удержания Отрицание Введение: {(P → Q), (P → ¬Q)} ⊢ ¬P Устранение отрицания: {(¬P → Q), (¬P → ¬Q)} ⊢ P И введение: {P, Q} ⊢ P ʌ Q И устранение: P ʌ Q ⊢ {P, Q} Или …

21 atomic-code-golf  logic  proof-golf 

Я получил этот вызов от Codingame, и мне интересно узнать о лучших решениях, чем у меня: При заданной ширине с помощью стандартного ввода нарисуйте пустой квадрат '#' с заданной шириной и длиной. Пример: 5 результатов в ##### # # # # # # ##### Я использовал Python для решения этой …

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