Указатель "уровень(1)" определяет первый уровень срабатывания анализатора
Указатель "значения(З)" определяет использование синтезатора "пропорциональны" для определения коэффициентов г/, Ь в третьем антецеденте. Перед обращением к нему выражения I(AD), l(CD) обрабатываются нормализатором "нормрасстояние" Указатель "блокпроверок(4)" определяет использование проверочного оператора для проверки отличия а + которое далее выступает как знаменатель, от нуля Указа¬тель "усм(2)" определяет обработку второго антецедента идентифицирующим опера¬тором. После тяжёлого рабочего дня вы можете расслабиться за прослушиванием любимых мелодий тут - http://slushka.com.
Указатель "список(фикс(1 1 1 1))" нужен для того, чтобы треугольник АВС идентифицировался с произвольным порядком перечисления его вершин в первом антецеденте Заметим, что в скобочном представлении этот антецедент имеет вид "актив(площадь(фигура(набор(Л В С))))", так что указатель вхождения "фикс(1 1 1 1)" относится к подвыражению "набор(...)"
Указатели "копия(фикс(0 1 1))", "копия(фикс(0 2 1))" отменяют обработку норма-лизатором "нормплощадь" выражений S(fyurypa(ABD)), S (фигу рг(ВС1 D) в утвер-ждениях "актив(...)" правой части теоремы Если бы эти площади были выражены через какие-либо параметры задачи, то утверждения "актив(...)", как отметки о рас¬смотрении площадей конкретных треугольников, оказались бы испорчены
Указатель "титр(...)", обеспечивающий текст-формульное сопровождение сраба-тывания приема, и нормализаторы приема — стандартные
12.1.9.
Опубликовал vovan666
February 20 2013 16:15:11 ·
0 Комментариев ·
4002 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
