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

Cтраница 2

Формальную теорию расслоения мы рассмотрим, считая суммарный поток равным нулю ( U 0), пренебрегая инерционными силами и трением о стенки и считая жидкости несжимаемыми. [16]

Формальную теорию двойных и кратных рядов Фурье развивают точно таким же образом. [17]

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

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

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

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

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

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

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

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

В формальной теории состояния с положительной и отрицательной энергиями совершенно равноправны. Однако это равноправие не проявляется в природе; все обычные процессы движения проходят в области положительной энергии. Для объяснения этого факта Дирак предположил, что обычно все состояния с отрицательной энергией заняты отрицательными электронами, но эти электроны никак не обнаруживают себя на эксперименте. Поэтому мы должны считать, что электроны со всеми возможными ( отрицательными) энергиями постоянно окружают нас со всех сторон, но мы их вообще не замечаем. Конечно, это означает изменение обычных законов электродинамики: порождать поле могут только электроны с положительной энергией. Тогда-то он и становится обычным электроном и порождает электромагнитное поле в соответствии с обычными законами. Однако после него в море отрицательных энергетических состояний остается пустое место - дырка. [27]

Грубоизмельченные ( а и тонкоизмельченные ( б образцы смесей. [28]

Основы формальной теории смешения и диспергирования развиты с использованием теории вероятности и статистики [15, 16] применительно к изготовлению порошкообразных минеральных композиций или малонаполненных химически насыщенных пластмасс ( полиэтилен, поливинилхлорид и др.) - Многие из полученных результатов можно, однако, использовать и для построения теории резиносмешения. [29]

Для формальной теории электричества достаточно определить идеальный проводник как такое тело, в котором собственные электрические заряды ( свободные электроны) мо-тут двигаться с конечной скоростью при сколь угодно малом значении напряженности поля внутри проводника. Из определения идеального проводника непосредственно следует условие существования электростатического поля, а именно: электростатическое поле в пространстве, в котором имеются проводники, возможно лишь при равенстве нулю напряженности по л я в о в се х внутренних точках проводника. Физически это означает следующее: при внесении проводника в электростатическое поле это поле перестанет быть электростатическим; под действием сил поля по проводнику начнут двигаться заряды. [30]

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