correctness

0зной

1ответ

угловой js с использованием директив правильный путь

Я новичок в Angularjs, и мне нужна помощь. То, что я хочу, чтобы достичь является встроенным редактируемым текстом Это будет переключаться между текстом и полем ввода Так OnClick текст будет переключа

0зной

2ответ

Доказывая алгоритм правильно по индукции

Я должен доказать, алгоритм по индукции, и что она возвращает 3 п - 2 п для всех п> = 0. Это алгоритм, написанный на Eiffel. P(n:INTEGER):INTEGER; do if n <= 1 then Result := n el

-2зной

2ответ

Циклический инвариант без возвращаемого значения, возможно ли это? И правильность программы

Итак, я пишу эту программу, которая хранит пользовательский ввод в связанном списке и отменяет его, но я немного потерян. Можно ли создать инварианты цикла для типов циклов, где он не возвращает никак

6зной

2ответ

Корректность и логика алгоритма: минимальные шаги к одному

Постановка задачи: На целое положительное число, вы можете выполнить любое из следующих 3-х шагов. Вычесть 1 из него. (П = п - 1) Если его делится на 2, делят на 2. (если п% 2 == 0, то п = п/2) Если е

1зной

1ответ

Hoare тройной с неизвестной переменной в постусловии

Я рассуждаю об упражнении Хоар Логика. Я должен найти все логические выражения B и все программы S и P, которые удовлетворяют тройную {true} if B then S; if B then P; {a >= 0}, при условии, что оценка

0зной

1ответ

Доказательство корректности разделяй и властвуй рода

Предположим, у нас есть метод сортировки: void DD_sort(int a[], int x, int y, int size_a) { if(x == y){ return; } else if(y == x+1){ if(a[x] > a[y]){ /* swap the cont