У меня есть какое-то задание, но я не знаю, как это сделать: reverse, rev :: [a] [a] reverse [] =...

это домашнее задание, но я просто не могу разобраться в этом бизнесе с написанием формальных...

Итак, я создал собственную монаду об ошибках, и мне было интересно, как мне доказать несколько...

У меня проблемы с решением доказательства. Где t (n) = n0. Но я не уверен, как применить это к...

Могу сказать, что я довольно хорошо знаком с Контрактами Кодекса: я прочитал и понял большую часть...

В настоящее время я работаю над автоматическим средством проверки теорем в Java. Я бы хотел...

У меня следующая неприятная проблема. Я реализовал следующую функцию: function bool less(nat x, nat...

Как я могу доказать это n! не в O (n ^ p) для любого постоянного натурального числа p? И есть (n k)...

псевдокод: void recursive('k'){ // 'k' and 'i' vertices sumA = 0;...

Я пытаюсь доказать следующее по индукции: sum(k*2^(H-k), k = 0 .. H) = N-H-1 это проблема для...

Можно ли по индукции доказать, что дополнение двух любой строки 0 всегда будет приводить к 0 для...

Для моего курса анализа алгоритма я вывел из алгоритма функцию f (n) = n ^ 2 - n + 2. Теперь мне...

Я бы доказать следующий пример: n^k = O (c^n) for every k and c>1 Заметно, что полиномиальная...

Я сейчас читаю книгу Алгоритма и столкнулся с проблемой Устойчивого Сопоставления.И мне пришло в...

Я знаю, что отношение n = Big-O (1) ложно.Но если мы используем индукцию с участием Big-O, это...

Из того, что я читал о cpython, кажется, что он подсчитывает ссылки + что-то дополнительное для...

Я не смог прочитать RWH; и не один, чтобы бросить, я заказал Haskell: ремесло функционального...

У нас есть 2 языка, которые (неофициально) семантически эквивалентны, но синтаксически различны....

Я пытаюсь решить проблему 50 на Project Euler . Не дайте мне ответ или не решите его для меня,...

Я просматриваю свои старые заметки по алгоритмам и наткнулся на это доказательство. Это было из...

Я знаю, что это не имеет прямого отношения к программированию, но мне было интересно, кто-нибудь...

Я хочу знать логику этого утверждения, доказательства. Выражения C -x, ~ x + 1 и ~ (x-1) дают...

Прежде всего, это возможно только для алгоритмов, которые не имеют побочных эффектов? Во-вторых,...

Привет, ребята, я пытаюсь сравнить 2 алгоритма и подумал, что могу попытаться написать...

Я искал способ сделать BITOR () с базой данных Oracle и натолкнулся на предложение просто...