Cтраница 1
Содержательное истолкование этой теоремы имеет следующий вид. [1]
Содержательное истолкование сетевого графика состоит в следующем. [2]
В содержательном истолковании значениями этих символов являются основные предикаты моделей. Поэтому предполагается, что каждому предикатному символу отвечает определенное п, являющееся арностью этого символа. [3]
Главная проблема содержательного истолкования формализма ( 3) заключается в истолковании импликации. Пожалуй, наиболее просто приходящая в голову интерпретация импликации 31 - 23 как гипотетического предложения если 3 (, то S3 оказывается здесь неподходящей, поскольку фигурирующие в ( 3) импликации, вообще говоря, не выражают зависимости от переменных условий; и, действительно, по большей части мы имеем дело с такими импликациями 31 - S3, у которых посылка 31 не содержит свободных переменных. Истолкование не 31 или S3, принятое в логистике, здесь не подходит, так как оно пригодно лишь в том случае, когда в основе рассмотрения лежит закон исключенного третьего. [4]
Формулы узкого исчисления предикатов приобретают содержательное истолкование при рассмотрении их связей с моделями. Такие связи устанавливаются по хорошо известным правилам математической логики. [5]
Трудно представить себе задачу естествознания или технологии, в которой подобные результаты допускают содержательное истолкование. Рассматривать такие задачи как чисто методические, имеющие целью отработать соответствующие вычислительные методы, тоже нужно с большой осторожностью. Ведь эти задачи должны отражать существенные черты реальных, иначе велика вероятность сосредоточить усилия на преодолении трудностей, характерных именно для данного экстремального случая и не встречающихся в реальных ситуациях, и, наоборот, оставить без внимания последние. [6]
Это лучшее приближение к фактическим данным об S, которое можно получить, оставаясь на позициях реалистического содержательного истолкования параметров корреляционного уравнения применительно к технико-экономическим особенностям процесса каталитического крекинга. [7]
Наряду с формулировкой, содержащейся в предложениях а) и б) 3), теорема Эрбрана допускает еще одну формулировку, которая более тесно примыкает к содержательному истолкованию формул и которой сам Эрбран отдавал предпочтение. В общем случае эта формулировка оказывается несколько усложненной, но, если ограничиться случаем чистого исчисления предикатов, она приобретает прозрачный характер. [8]
В доказательстве обобщенной е-теоремы или соответственно нп-теоремы она не вызывает никаких осложнений, так как содержит единственную свободную индивидную переменную а и при распределении значений для термов без переменных б ( а), получающемся с учетом содержательного истолкования рекурсивного определения функции б, она является верифицируемой формулой. [9]
Запас этих символов определяется конкретной ситуацией, и их может быть любое фиксированное ( в том числе и трансфинитное) число. При содержательном истолковании языка эти символы призваны обозначать элементы основного множества модели. [10]
В этом виде наш результат еще не вполне удобен. Однако небольшой трансформацией и переходом к содержательному истолкованию мы получим некоторую более прозрачную его редакцию. [11]
Как нам представляется, суть их возражений при содержательном истолковании сводится к следующему. [12]
Доказательство этой теоремы опирается на локальную теорему УИП. Аа ( х, у), который в содержательном истолковании означает следующее: если G - подходящая модель из класса, на которой действует группа Г, то х и у - элементы главного основного множества Gl, а А0 ( х у) - И означает, что выполняется хоа у. Рассмотрим теперь следующие группы аксиом - формул УИП. [13]
В таком подходе была, конечно, определенная двусмысленность. Вспомним, что харизма, по Веберу, не допускает никакого содержательного истолкования. Харизматическим лидером для него является всякий, кто способен воздействовать на массу с большой эмоциональной силой, независимо от того, какие религиозные или политические идеи он несет. Такая установка была особенно двусмысленна на фоне прихода в Германии в 1933 г. к власти Гитлера, то есть спустя тринадцать лет после смерти Вебера. В данном случае одни рассматривают его как человека, который теоретически предсказывал появление тоталитарных режимов в Европе и предостерегал относительно возможных последствий, другие склонны обвинять его в том, что он косвенно, теоретически способствовал возникновению этих режимов. [14]
В принципе почти все разделы математики применимы для обработки и анализа картографического изображения. Проблема лишь в том, чтобы точно подобрать математическую модель и, главное, дать надежное содержательное истолкование результатам моделирования. Достаточно прочно в картографический анализ вошли некоторые разделы численного анализа, многомерной статистики, теории вероятностей и теории информации. [15]