1
ответ
Гипотеза индукции Coq неверна
Я пытаюсь доказать простую индукцию в двух списках, и по какой-то причине Coq пишет неверную гипотезу индукции. Вот мое доказательство: Лемма eqb_list_true_iff_left_to_right: forall A (eqb: A - > ...
вопрос задан: 27 March 2019 09:49
0
ответов
Какова связь между рекурсией и доказательством по индукции?
Какова связь между рекурсией и доказательством по индукции? Скажем, fn(n), рекурсия - это fn(n), вызывающая сама себя до тех пор, пока не будет выполнено базовое условие; индукция - это когда базовое условие выполнено, попробуй...
вопрос задан: 30 October 2017 02:30
0
ответов
Понимание рекурсии в Python
Я действительно пытаюсь понять, как работает рекурсия, и понять рекурсивные алгоритмы. Например, приведенный ниже код возвращает 120, когда я ввожу 5, извините за невежество, я просто не вижу...
вопрос задан: 27 July 2012 18:49
0
ответов
Как вы используете Induction для подключения к локальной базе данных SQLite?
Я пытаюсь использовать Induction для подключения к моей локальной базе данных SQLite, однако я понятия не имею, как это сделать. В предыдущих клиентах SQLite я просто открывал файл базы данных. Что...
вопрос задан: 7 June 2012 15:24
0
ответов
Прекращение структурной индукции
Я не могу заставить программу проверки завершения Agda принимать функции, определенные с помощью структурной индукции. Я создал следующий, как мне кажется, самый простой пример, демонстрирующий эту проблему.
Следующее ...
вопрос задан: 5 February 2012 04:30
0
ответов
Две разные функции Фибоначчи эквивалентны
Я пытаюсь понять, что именно означает доказывать правильность программы. Начинаю с нуля и зацикливаюсь на первых шагах / введении в тему. В этой статье об общем функционале ...
вопрос задан: 9 December 2011 16:53
0
ответов
Доказательство индукцией псевдокода
Я действительно не понимаю, как можно использовать доказательство индукцией на псевдокоде. Кажется, это не работает так же, как его использование в математических уравнениях. Я пытаюсь подсчитать количество целых чисел, которые ...
вопрос задан: 8 October 2011 21:49