Запитання з тегом «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]де а [variable]- це завжди одна …

50 code-golf  math  logic 

Вступ Щорічно ТОВ «Діялог» проводить конкурс студентів. Завдання полягає в тому, щоб написати хороший код APL. Це мовний агностичний код-гольф- видання восьмої проблеми цього року. Я маю чіткий дозвіл на публікацію цього виклику тут від оригінального автора конкурсу. Не соромтеся перевіряти, перейшовши за наданим посиланням та зв’язавшись з автором. Проблема …

47 code-golf  array-manipulation  logic 

Stackylogic - це мова програмування, заснована на логіці, яку я склав, що приймає 0's і 1' s для введення та виведення одного 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 \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 

Ваше завдання - написати програму або функцію, яка друкує трикутник 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 

Всі ми знайомі з послідовністю Фібоначчі : 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 

Вступ Ваша місія в житті проста: доведіть людей неправильно в Інтернеті! Для цього ви зазвичай ретельно аналізуєте їхні твердження та вказуєте на суперечність у них. Настав час автоматизувати це, але, як ми лінуємось, ми хочемо довести людей неправильно з найменшими зусиллями (читайте: найкоротший код). Специфікація Вхідні дані Вашим вкладом буде …

22 code-golf  math  logic 

У математиці багато символів. Деякі можуть сказати занадто багато символів. Тож давайте попрацюємо з математикою. Давайте матимемо папір, який ми будемо малювати. Щоб почати папір порожній, ми скажемо, що це еквівалентно або .правда⊤⊤\topправдаправда\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 

Використовуючи десять висновків системи природного відрахування, доведіть закони DeMorgan . Правила природного відрахування Вступ заперечення: {(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