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

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

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

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

---

Оба интеграла из антецедентов

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

Оба интеграла из антецедентов снабжены нормализатором «нормИнтеграл». Это — чрезвычайно большой пакетный нормализатор, осуществляющий в решателе фор¬мальное интегрирование Перед обращением к нему подынтегральные выражения обрабатываются нормализатором «упрощинтеграл», выполняющим некоторые неслож¬ные предварительные преобразования. Этому нормализатору передается комментарий (переменная X), указывающий переменную интегрирования X. Если вас не устраивает тонирование автомобиля пленкой, тогда посмотрите электро тонировку. Для предварительного [...]

---

Рибейт — возврат части спреда трейдеру.

2012-12-11 00:55:52 (читать в оригинале)

Кто имеет хоть не большой опыт в торговле на Форекс, уже знает о таком понятии как спред. Спред на Форекс — это комиссия, плата, которая взымается брокером или ДЦ с клиента за предоставление ему доступа к рынку и к совершению торговых операций. Именно спред и формирует доход компании. Сегодня же основная часть этого дохода направляется [...]

---

Указатель «идентификатор 2″

2012-12-11 00:46:20 (читать в оригинале)

Указатель «идентификатор 2″ определяет рассмотрение первого и второго антецедентов как равенств, определяющих значения вспомогательных выражений. В каждом из них изначально идентифицированы все переменные левой части; эта часть будет сформирована и обработана сопровождающими ее нормализаторами (они и вычислят интегралы). Затем полученное выражение будет идентифицироваться с правой частью равенства, что и позволит получить h(z), v(x) для дальнейшего [...]

---

контекстная семантика

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

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