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