Формализм

Cтраница 2

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

Формализм, когда педагоги больше заботятся о показном порядке, мнимом благополучии. [17]

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

Формализм возникает в результате дальнейшего шага, направленного на преодоление кризиса, причиненного парадоксами и тем вызовом классической математике, который был брошен Брауэром и Вейлем. [19]

Формализм ОКГ и логика тоже связаны непосредственным образом. [20]

Формализм УСП включает несколько классов сетей - сообразно типам грамматик иерархии Хомского ( разд. Элементарнейшие - базовые сети переходов, или, короче, БП-сети, БСП ( английский термин - Basic Transition Network, BTN) соответствуют конечным автоматам. Иногда сеть и автомат означают класс сетей и класс автоматов. С помощью БП-сетей регулярные языки определяются более сжато, чем с использованием конечных автоматов. Это достигается посредством интерпретаций синтаксических категорий грамматик с привлечением входных и терминальных символов сети. У конечного автомата входными символами являются только слова, построенные из символов входного словаря. [21]

Формализм УП-сетей базируется на сетевых моделях. [22]

Формализмы Ресурсов, Действий и Операций составляют основу РДО-метода. [23]

Формализм ОЗ позволяет строить и потенциалы с квадратично интегрируемыми состояниями в непрерывном спектре радиальной задачи, но с произвольной логарифмической производной в нуле. Эти потенциалы, взятые уже на всей оси, естественно, также будут полностью отражательными в соответствующих точках спектра. [24]

Формализм Сасаки - Накамуры [177,178], представляющий собой один из вариантов формализма Тюкольского - Чандрасекара, сводится к формализму Редже и Уилера в частном случае невращающейся дыры. Нам не известно ни одного хорошего с методической точки зрения введения в этот формализм, но важные оригинальные результаты можно найти в [64, 233, 130, 37] и в гл. [25]

Формализм Лагранжа и Гамильтона можно распространить на случай неконсервативных сил, т.е. сил, которые не могут быть получены из скалярной потенциальной функции. Сила Ф udM / dt, где и - абсолютная скорость отбрасываемых частиц, как раз является примером такой силы. [26]

Сравнение функции распределения микрополя. [27]

Адекватный формализм для [21] дали кластерные методы разложения по степеням плотности, развитые для вириальных коэффициентов [6-11] и позволившие представить In [ A ( &) ] в виде ряда по степеням плотности и упорядоченного по степени нарастания корреляций. [28]

Сравнение теоретической и экспериментальной зависимостей среднего времени первого прохождения Твыкл от параметра накачки а. Шкала справа показывает значения времени в секундах ( Roy, Short, Durnin and Mandel, 1980. [29]

Предшествующий формализм позволяет также вычислить моменты высшего порядка времен Твыкл и Твкл первого прохождения. [30]

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