Формализм

Cтраница 3

Формализм теории был уже хорошо разработан и обоснован, прежде чем удалось найти разумную интерпретацию. [31]

Валентносвязный формализм, как было показано, основан на предположении, что волновая функция, точная при бесконечном межъядерном расстоянии, является лишь разумным приближением при равновесном межъядерном расстоянии. [32]

Формализм запросов ориентирован на фреймовое представление онтологии, в рамках которого, как и обычно, определены понятия экземпляров, классов, атрибутов и значений. [33]

Конфигурации дивакансии и атома примеси, в которых возможен скачок последнего, обозначаются а ( а-1 2. зеркально-отображенные конфигурации-а 1 ( ах1 2. ГЦК решетка, плоскость ( 100. D - вакансия, ф. [34]

Развиваемый формализм дает возможность рассматривать более сложные проблемы, чем вопросы диффузии пар вакансия-примесь, упомянутые в предыдущей главе. При этом выражения для Р и Ра обобщаются и записываются в матричной форме. [35]

Ланжевеновский формализм также позволяет предсказать возникновение флуктуации тока, протекающего через контакт. [36]

Аналогичный формализм можно развить и применительно к несимметричному тензору. [37]

Формализм F содержит термы и формулы рекурсивной арифметики), не считая, быть может, тех, в которых содержатся формульные переменные. [39]

Следующий формализм аналогичен артиновскому формализму А-рядов в теории чисел. [40]

Внешний формализм в описании гомологии по сравнению с когомологиями в значительной степени объясняется самим развитием теории гомологии, в ходе которого выяснилось, что эта теория, в сущности, единственная удовлетворяющая всем вскрытым в ходе развития традиционным связям как с когомологиями, так и с классическими гомологиями. [41]

Теоретико-множественный формализм Дедекинда - Рассела - Уайтхеда достойно дополнил следующую ( после Эвклида) серию демонстраций того, что из немногих примитивов можно вывести много математических понятий, хотя бы и длинным и извилистым путем. Однако у ребенка проблема состоит вовсе не в том, чтобы овладевать хоть какими-то понятиями; ему нужно познавать реальный мир. С точки зрения доступных ему понятий весь формализм теории множеств в подметки не годится одной-единственной, более древней, более простой и, возможно, более великой идее: представления интуитивной вещественной прямой бесконечной десятичной дробью. [42]

Сегодня финитный формализм занимает достойное место среди других математических концепций. В рамках финитного формализма разработан целый ряд интереснейших математических теорий и решены многие чисто практические задачи, в частности, сформулирована концепция алгоритма, доказано существование алгоритмически неразрешимых проблем, дано определение вычислимости. [43]

Традиционные программистские формализмы этими достоинствами логики не обладают. [44]

Формализм предыдущего раздела нетрудно обобщить и применить к новой задаче. [45]

Страницы: 1 2 3 4