Не все приведенные в предыдущих разделах элементы языка ГЕНОЛОГ используются одинаково часто. Некоторые из них возникали для весьма специфических случаев, и более подробно о таких элементах будет сказано во второй книге данной монографии, посвященной опыту обучения решателей задач Фактически, эта книга и будет представлять собой настоящее введение в программирование на ГЕНОЛОГе. Здесь же, чтобы возникло хотя бы предварительное представление о стандартах такого программирования, разберем несколько десятков приемов, записанных на ГЕНОЛОГе, и проиллюстрируем на них ряд наиболее часто встречающихся элементов языка.
12.1. Примеры записи приемов
Приводимые в данном разделе примеры имеются в реальной базе приемов решателя Рекомендуется при ознакомлении с очередным приводимым примером приема войти в просмотр его оригинала в базе приемов и найти в этом оригинале те элементы, о которых далее пойдет речь.
12.1.1. Приемы тождественной замены.
Начнем с приема, осуществляющего переход от логарифма произведения к сумме логарифмов (путь к нему в оглавлении базы приемов "Элементарная алгебра" - "Логарифмы" - "Общая стандартизация выражений" - "Логарифм произведения") Сразу ясно, что здесь возможны различные варианты приема — в зависимости от того, усматриваются ли из контекста знаки сомножителей, случай, когда усматривается неотрицательность одного сомножителя и произведения остальных; случай, когда усматривается неположительность одного сомножителя и произведения остальных, случай, когда при преобразовании вводятся модули и т п Остановимся лишь на первом из них. Теорема приема здесь может быть представлена в следующем виде.
Опубликовал Kest
December 03 2012 15:06:33 ·
0 Комментариев ·
3993 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
