У меня есть какое-то задание, но я не знаю, как это сделать: 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 и натолкнулся на предложение просто...