Вопросы с тегом «proof-golf»

Мы все знаем, что (надеюсь), но можете ли вы доказать это?( - а ) × ( - а ) = а × а(−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)(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A) Для этого мы будем использовать третью схему аксиом …

38 logic  proof-golf 

Математика имеет много символов. Некоторые могут сказать слишком много символов. Итак, давайте сделаем немного математики с картинками. Давайте иметь бумагу, на которой мы будем рисовать. Для начала бумага пуста, мы скажем, что эквивалентно или true .⊤⊤\topправдаtrue\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 

Использование десяти выводов Системы естественного удержания доказывает законы Деморгана . Правила естественного удержания Отрицание Введение: {(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 

При заданных натуральных числах и h выведите w столбцов и h строк текста, как описано ниже.весвесwчасчасhвесвесwчасчасh Первый ряд начинается с 11 0с, второй ряд - с 10 1с, третий - с 9 2с и т. Д. До десятого ряда с двумя 9с. В каждой из этих первых десяти строк после …

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