Как доказать этот инвариант?
#ada #proof #invariants #proof-of-correctness #spark-ada Вопрос: Я стремлюсь доказать, что правило Хорнера верно. Для этого я сравниваю значение, вычисляемое в настоящее время Хорнером, со значением "реального" полинома. Поэтому я создал…