Cтраница 3
Векторное исчисление допускает как в обозначениях, так даже и в самом алгорифме различные схемы. В СССР Комиссией по стандартизации установлен стандарт векторных обозначений. Так как схема, которой придерживаются авторы настоящего сочинения, от этого стандарта отличается, то текст при переводе переработан и приведен в соответствие с нашим стандартом. [31]
В общем же случае трудности с переполнением могут возникать и в самых простых алгорифмах. [32]
Конечно, не всякий численный метод допускает видоизменения, позволяющие уменьшить связность его алгорифма. [33]
Встречающиеся на практике решающие алгорифмы обычно либо удовлетворяют, либо легко сводятся к алгорифмам, удовлетворяющим перечисленным условиям. Дискретный характер позволяет их расчленять на части. [34]
В используемом языке теории примитивно рекурсивных функций имеются технические средства, позволяющие описывать некоторые алгорифмы, строящие по допустимым значениям указанных переменных допустимые значения переменной дс6 ( натуральные числа); такими техническими средствами являются предметные термы; но в этом языке нет технических средств для непосредственного описания алгорифмов, строящих по тем же исходным данным функторы. Тт ] называется ( ft - т) - местным функторным термом. [35]
Выбирая их подходящим образом, можно в значительной мере ускорить сходимость Q / - алгорифма. [36]
Говоря о схемах алгорифмов как о примерах конкретных информации, мы инеем в виду как алгорифмы какого-либо универсального ( в только что указанном смысле) типа, так и алгорифмы того или иного более узкого, но точно охарактеризованного типа, достаточные для математического моделирования рассматриваемых реальных ситуаций. [37]
Подводя итоги, перечислим еще раз рассмотренные приемы ускорения времени счета при реализации Q / - алгорифма. [38]
Как и Буль, Венн формулирует для алгебры логики не только алгорифмы решения уравнений, но и алгорифмы исключения неизвестных. В отличие от Буля, он при этом подчеркивает, что исключение неизвестных в алгебре логики имеет смысл, заведомо отличный от того, который оно имеет в обычной алгебре. Под исключением неизвестных в логике понимается извлечение максимальной информации, относящейся только к некоторым из терминов, содержащихся в посылках задачи. [39]
По замыслу авторов этот язык должен стать международным входным языком автоматического программирования математических задач и средством облегчения обмена алгорифмами. [40]
Для нахождения наибольшего потока по сети с избирательными дугами ( допускающими отличные от интервалов множества значений потока) не известно алгорифма, который по эффективности был бы сравним с алгорифмом Форда и Фалкерсона ( см. [4], гл. [41]
В теории узлов ( см., например, [3]) разработаны эффективные, но в общем виде описываемые довольно сложно, алгорифмы вычисления группы произвольного ( ручного) узла. В конечном счете все они основываются на теореме Зейферта - ван Кампена, и мы ограничимся здесь тем, что непосредственно с помощью этой теоремы вычислим группы нескольких простейших узлов ( см. также [ 41, гл. [42]
В этом про цессе знакосочетание, присваиваемое в качестве индиви дуального наименования очередному выделенному член) совокупности Р, строится посредством определенногс алгорифма из знакосочетания, присвоенного некотором. [43]
Таким образом, видно, что изложенные принципы построения программы для машинной игры в шахматы основываются на четком задании совокупности однозначных правил, определяющих алгорифм выбора оптимального хода на основе общей оценки обстановки. [44]
Может показаться, что описан конструктивный метод ( алгорифм), строящий по любому алгорифму ф указанного типа искомое конструктивное вещественное число, Однако в действительности алгорифм yf построен не по одному алгорифму ф, а по паре исходных данных - по алгорифмам ф и ф, находящимся в определенном отношении. [45]