Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Нормализаторы приведения к заданным заголовкам

2013-01-03 15:15:00 (читать в оригинале)

В некоторых случаях нормализатор бывает нужен для преобразования терма к виду, у которого заголовок или примыкающая к нему корневая часть терма удовлетворяют специальному условию. Типичный пример — разложение выражения на множители, когда требуется получить один из заголовков «умножение», «степень», «дробь», быть может, после отбрасывания корневого минуса. Формально, такое преобразование всегда можно ввести фиктивными средствами (например, [...]

---

Приведем несколько примеров приемов нормализатора

2013-01-03 15:12:50 (читать в оригинале)

Приведем несколько примеров приемов нормализатора разложения на множители. Этот нормализатор получил название «видумножение», оставшееся за ним после серий экспериментов по автоматическому комплектованию нормализаторов преобразования к заданным заголовкам Список заголовков в них определялся по имеющимся теоремам для декомпозиции уравнений с заданным заголовкам одной из своих частей (для равенств нулю произведения, дроби либо степени такие теоремы как [...]

---

В ее первом и третьем антецедентах

2012-12-31 16:04:38 (читать в оригинале)

В ее первом и третьем антецедентах вычисляются производные основания и показателя; второй и четвертый антецеденты проверяют, что производные удалось вычислить — лишь после этого можно усмотреть, что полученные выражения имеют числовые значения. Заголовок приема — «замена(второйтерм нормпроизводная)». Фильтров прием не имеет, если не считать формально отнесенного к указателям условия «уровень(4)» на уровень его срабатывания. Кроме [...]

---

Другое ограничение

2012-12-31 16:02:30 (читать в оригинале)

Другое ограничение заключается в том, что при решении уравнений специально могло быть предпринято выделение в отдельный множитель степени с суммой всех неизвестных слагаемых исходного показателя (при известном основании степени). Например, это могло бы быть полезно для усмотрения квадратного уравнения относительно такого множителя В этой ситуации необходимо заблокировать обратное преобразование, что и достигается с помощью фильтра [...]

---

Нормализаторы общей стандартизации

2012-12-31 15:59:35 (читать в оригинале)

Нормализаторы общей стандартизации вводятся практически для всех функциональных логических символов; иногда — также для предикатных символов. Они обеспечивают простейшую стандартизацию выражений, заголовком которых служат соответствующие символы. Все такие нормализаторы — корневые, то есть их приемы могут заменить только весь преобразуемый терм целиком. За редкими исключениями, нормализаторы общей стандартизации не должны вводить новых выражений, требующих специального [...]