В качестве первого примера синтезатора рассмотрим оператор "верхняяоценка", используемый для нахождения константных верхних оценок численных выражений Реализуемое синтезатором утверждение имеет вид а причем переменная а рассматривается как входная, а переменная b — как выходная. Указатель "перечисление" в описании формата оператора определяет использование его в режиме перечисления верхних оценок. В действительности, такое перечисление обычно не очень велико и зависит от того, сколько различных способов оценивания выражения а оказалось предусмотрено в приемах синтезатора. Какая именно из версий найденных верхних оценок окажется достаточной — определяется внешним приемом, обратившимся к синтезатору. Если вы любите поиграть в кс, тогда не забудьте купить http://www.igromagaz.ru/catalog/key/games/kupit-counter-strike/.
Оператор "верхняяоценка" имеет четыре уровня срабатывания; он не очень велик — насчитывает около 50 приемов. Рассмотрим прием этого оператора, получающий верхнюю оценку для линейной комбинации синуса и косинуса. Он расположен в разделе ("Элементарная алгебра", "Неравенства", "Меньшеилиравно", "Синтезатор ВЕРХНЯЯОЦЕНКА", "Линейная комбинация синуса и косинуса"). Теорема приема
имеет вид.
Главная
Каталог файлов
