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

Указатели идентификации

2012-12-21 00:05:09 (читать в оригинале)

Указатели идентификации «единица(1 a b г)» и «заменазнака(минус a b с)» разре¬шают коэффициентам а, с принимать вырожденное единичное значение, а также передают этим коэффициентам знак минус перед соответствующим слагаемым, если он имеется. Для обработки подтермов нового уравнения используются нормализаторы общей стандартизации. Кроме того, для обработки левой части нового уравнения применя¬ется нормализатор «стандплюс», обеспечивающий раскрывание скобок [...]

---

Уравнение плоскости идентифицируется непосредственно с некоторым равенством в посылках

2012-12-21 00:02:37 (читать в оригинале)

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

---

Приемы вывода в условиях задачи на описание

2012-12-20 23:59:54 (читать в оригинале)

Приемы вывода в условиях задачи на описание. Приемы вывода следствий в условиях задачи на описание применяются очень редко, так как они лишь увеличивают объем записей в списке условий, а этот список должен быть постепенно преобразован к виду ответа. При получении в списке условий явных выражений для неизвестных будет выполнена подстановка этих выражений в оставшиеся условия, [...]

---

ТИЦ

2012-12-20 15:43:54 (читать в оригинале)

ТИЦ аббревиатура расшифровывается как – тематический индекс цитирования. Иными словами, ТИЦ – это коэффициент, который используется Яндексом и только лишь одним Яндексом при непосредственном ранжировании предварительно выбранных из базы страниц, которые полностью соответствуют поисковому запросу. Если любые две страницы по внутристраничным параметрам удовлетворяют запросу одинаково, то выше показывается та, у которой ТИЦ выше. ТИЦ, как [...]

---

вспомогательный числовой параметр

2012-12-19 00:42:53 (читать в оригинале)

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