Дан код бинарного поиска (псевдокод). Сформулируйте его предусловия и постусловия, проведите формальное доказательство корректности и укажите возможные крайние случаи, в которых он даёт неверный результат
Дан код бинарного поиска (псевдокод). Сформулируйте его предусловия и постусловия, проведите формальное доказательство корректности и укажите возможные крайние случаи, в которых он даёт неверный результат
Нет ответов
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
