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

«Меньше-илиравно»

2013-02-27 12:07:07 (читать в оригинале)

«Меньше-илиравно» — «Проверочный оператор ПРОВМЕНЬШЕИЛИРАВНО» - «Поглощение одного слагаемого двумя с применением квадратичной оценки». Берется второй из двух приемов раздела Теорема приема имеет вид: «VabrdcjqhiA0 О- & О О & = al) к d = 2с — |/| к д = 2 h — |/| kO^dkO^gk к 2j ^ da + gb + 2г j [...]

---

Заголовок приема — «спуск». OKI C9655N

2013-02-27 12:05:22 (читать в оригинале)

Заголовок приема — «спуск(провменьшеилиравно)» Фильтры «десчисло(е)», «десчисло(//)», «десчисло(/)» указывают компилятору, что с, h, f должны иденти-фицироваться с десятичными числами Фильтр «не(легковидеть(меныиеилиравно(0 умножение(/ г*))))» блокирует применение приема в случае, когда поглощаемое слагаемое fc само является неотрицательным. Фильтр «уровень(1)» определяет применение приема на первом уровне сканирования. Если для вашего офиса требуется новый принтер то купить его можно [...]

---

Теорема третьего приема имеет вид:

2013-02-25 14:41:14 (читать в оригинале)

Теорема третьего приема имеет вид: «Vfgabtdmn (периодична( Аг(/(.г), число(.г)), а) к периодична(А, (гу(.г), число(.г)), Ь) к ка = nc/pd к b = rnr/qd к целое(//) к целое(?//) к целое(р) к к целоe(q) —> периодична(Аг(/(х) + д(х), число(х)), нок(г/ф, nq)c/pqd)y\ Для определения периода суммы двух функций определяются периоды a, b слага-емых, и если эти периоды соизмеримы, [...]

---

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

2013-02-21 02:59:07 (читать в оригинале)

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

---

Указатели вида «обрыв(…)»

2013-02-20 22:19:52 (читать в оригинале)

Указатели вида «обрыв(…)» используются для формулировки условий обрыва работы анализатора. При этом только что выведенное утверждение снабжается комментарием «внешвывод», и происходит передача всех выделенных таким комментарием посылок анализатора во внешнюю задачу на исследование. В данном приеме имеем следующие три условия обрыва вывода. Во-первых, это «обрыв(равно(числонеизвестных(/) 1))» — получение уравнения с единственной неиз-вестной Во вторых, «обрыв(контекст(вид( [...]