Создан заказ №4965047
22 апреля 2020
Написать Coq рекурсивную функцию и ее спецификацию, а затем доказать.
Как заказчик описал требования к работе:
Нужно написать в Coq рекурсивную функцию и ее спецификацию, а затем доказать, что написанная функция удовлетворяет спецификации.
Вспомогательные факты следует оформить как леммы. Например, так можно поступить с шагом индукции, чтобы основное доказательство было компактным.
Проект:
Целочисленным лога
рифмом числа n по основанию b называется максимальное число p, такое что b^p
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
23 апреля 2020
Заказ завершен, заказчик получил финальный файл с работой

5

Написать Coq рекурсивную функцию и ее спецификацию, а затем доказать..jpg
2021-03-23 23:13
Последний отзыв студента о бирже Автор24
Общая оценка
4.2

Положительно
Гораздо раньше сроков. Все что нужно было сделано + быстрая доработка. Всё классно.