Запитання з тегом «proof-golf»

Ми всі знаємо, що (сподіваємось), але чи можете ви це довести?( - a ) × ( - a ) = a × a(−a)×(−a)=a×a(-a) \times (-a) = a \times a Ваше завдання - довести цей факт за допомогою кільцевих аксіом. Що таке кільцеві аксіоми? Кільцеві аксіоми - це перелік правил, яким …

121 math  atomic-code-golf  abstract-algebra  proof-golf 

Добре, я думаю, що саме час у нас є ще одне питання про гольф . Цього разу ми збираємось довести загальновідому логічну правду ( A → B ) → ( ¬ B → ¬ A )(A→Б)→(¬Б→¬А)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Для цього ми скористаємось третьою схемою …

38 logic  proof-golf 

У математиці багато символів. Деякі можуть сказати занадто багато символів. Тож давайте попрацюємо з математикою. Давайте матимемо папір, який ми будемо малювати. Щоб почати папір порожній, ми скажемо, що це еквівалентно або .правда⊤⊤\topправдаправда\textit{true} Якщо ми напишемо інші речі на папері, вони також будуть правдивими. Наприклад Вказує на те, що твердження …

22 math  logic  proof-golf 

Дано позитивний цілочисельний рівень введення nта рядок sдрукованих символів ascii ( до ~, виводить програму, яка при запуску однією і тією ж мовою виводить програму, яка виводить програму ... яка виводить рядок s. Потрібно створити загальну кількість nпрограм, всі вони повинні працювати тією ж мовою, що і ваша відповідь. Примітка. …

21 code-golf  recursion  code-golf  kolmogorov-complexity  board-game  code-golf  number-theory  polynomials  code-golf  code-golf  array-manipulation  polyglot  alphabet  answer-chaining  code-golf  sequence  math  atomic-code-golf  abstract-algebra  proof-golf  code-golf  internet  code-golf  internet  code-golf  ascii-art  kolmogorov-complexity  code-golf  math  ascii-art  number  integer  code-golf  decision-problem  binary-matrix  code-golf  number  sequence  number-theory  code-golf  math  decision-problem  matrix  abstract-algebra  code-golf  string  keyboard  code-golf  fractal  code-golf  math  sequence  combinatorics  hello-world  vim  code-golf  sequence  code-golf  graphical-output  image-processing  code-golf  decision-problem  matrix  linear-algebra  code-golf  ascii-art  code-golf  math  code-golf  ascii-art  graphical-output  code-golf  string  code-golf  string  substitution  code-golf  string  ascii-art  code-golf  arithmetic  code-golf  number  array-manipulation  decision-problem  code-golf  kolmogorov-complexity  code-generation  fractal  code-golf  ascii-art  kolmogorov-complexity  code-golf  ascii-art  code-golf  string  array-manipulation  code-golf  music  code-golf  array-manipulation  code-golf  internet  stack-exchange-api  math  fastest-algorithm  code-golf  binary  bitwise  code-golf  date  code-golf  string  code-golf  sequence  integer  code-golf  arithmetic  number-theory  code-golf  string  random 

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

Дано додатні цілі числа і виведення стовпців і рядків тексту, як описано нижче.шшwгодгодhшшwгодгодh Перший рядок починається з 11 0с, у другому ряду з 10 1с, третіми з дев'ятьма 2з і так далі вниз по десятому ряду з двома 9с. На кожному з цих перших десяти рядків, після початкового запуску послідовних …

17 code-golf  ascii-art  integer  code-golf  math  graphical-output  geometry  math  logic  proof-golf