Формальная теория

Cтраница 3

От формальной теории вопросов ( а авторы книги именно ею и занимаются) нельзя требовать того, чего она не в состоянии дать - уточнений любого вопроса, выраженного в естественном языке. Формальная теория вопросов может имитировать логическими средствами лишь некоторые типы вопросов. [31]

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

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

В формальной теории фазовых переходов II рода Л. Д. Ландау внутренний параметр систем, такой, как М в рассматриваемом случае или Р в § 8, называется параметром порядка К. [34]

Схемы металлических оболочек, разрушаемых при взрыве. [35]

Из формальной теории геометрического подобия разрушения цилиндров продуктами взрыва следует, что число окружных делений цилиндра пон пвм - Опыт же показывает увеличение числа делений с увеличением размеров цилиндра. [36]

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

К формальным теориям, к рассмотрению которых мы сейчас переходим, мы предъявим еще дополнительные требования. Эти требования связаны с одним вспомогательным понятием, которое мы прежде всего и опишем. Речь идет о понятии эффективной процедуры ( или эффективного метода) 1 - так мы будем называть совокупность предписаний, позволяющую чисто механическим путем2 в конечное число шагов получить ответ на любой вопрос из некоторого класса вопросов. Эффективная процедура - это нечто вроде рецепта, в котором указано, что именно надо делать на каждом шаге, причем для пользования таким рецептом не требуется никакой мыслительной работы. [38]

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

Действительно, формальная теория подсказывает, что в принципе можно разработать очень много методов классификации, которые порождают, прежде всего, множество способов измерения, возможных процедур беспороговых классификаций, прямо связанных в конечном счете с топологическими процедурами ( взятие замыкания и дополнения, поиск предельных точек или точек накопления и пр. [40]

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

При разработке формальной теории ферро-магнитизма во всех работах в основу кладется вышеизложенный механизм опрокидывания и вращения вектора спонтанного намагничения. Pi, р2, р3 к сторонам куба ( напр, в железе) равняется U Ua 2 / с ( cosa У. [42]

Мы развиваем формальную теорию классической когнитивной механики по аналогии с ньютоновской механикой. Вместо материального пространства Хмат для этой математической модели мы рассматриваем ментальное пространство Xj, см. гл. Мыслящая система г описывается как преобразователь информации: / - состояние q e Xj находится в процессе постоянной эволюции. Временной параметр этой эволюции является также / - параметром, а именно ментальным временем системы т, t Xj. Активность г порождает траекторию q ( t) в ментальном пространстве Xj. Наш детерминистский когнитивный постулат, который является обобщением ньютоновского детерминистского постулата, состоит в том, что траектория q ( t) эволюции / - состояния определяется силами и начальными условиями. Она может вычисляться как производная в ментальном пространстве Xj величины q ( t ] по ментальному времени t, см. [163, 107] для соответствующих дифференциальных исчислений. [43]

Пусть Т - формальная теория, содержащая арифметику, такая, что теория Тх-непротиворечива. Пусть А - предложение Z, не содержащее конструктивной задачи. [44]

ТИПОВ ТЕОРИЯ - формальная теория 1-го порядка ( см. Формальная система), один из вариантов к-рой - п ] о с т а я т е о р и я типов - описан ниже. Им обозначают формальные теории, отличающиеся следующими особенностями. [45]

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