Следующий указатель "примечание(условие(и(контекст(неизвестная(х9) список( хЮ фикс(1 1) фикс(2 1)) не(линейно(х10 х9))) не(контекст(неизвестная(х9) не(линейно(/ х9))))) внешвывод))" — аналогичен. Он помечает новое уравнение комментарием "внешвывод", если оно линейно по всем своим неизвестным, а хотя бы одно из исходных уравнений — не линейно по какой-либо неизвестной.
Заметим, что соотношения пропорциональности в теоремах геометрических прие-мов обычно записываются так, как это сделано в третьем антецеденте данной теоре¬мы, т.е. al(AD) = bl(CD) вместо l(AD)/l(CD) — b/a. Это объясняется, во-первых, тем, что общая стандартизация посылок приводит к исключению дробей в ра¬венствах, определяющих пропорциональность величин. Во-вторых, для усмотрения пропорциональности используется синтезатор "пропорциональны", определяющий ко¬эффициенты пропорциональности а,Ь по заданным величинам Д, В, и его входной шаблон имеет вид с исключенными дробями — аВ = ЬА. В качестве допустимого результата этот синтезатор может выдавать только выражения а, Ь, не имеющие нечисловых переменных, причем каждая переменная этих выражений должна быть либо известным параметром задачи на исследование, либо неизвестной внешней задачи на описание
Опубликовал vovan666
February 20 2013 16:18:06 ·
0 Комментариев ·
3739 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
