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