Аксиома — Расстояние ... Аксиоматика — Гильберт - Навигатор. Большая Энциклопедия Нефти и Газа.

БЭНГ

Чистая информация !




Аксиома — Расстояние ... Аксиоматика — Гильберт

Аксиома — Расстояние

Аксиомы расстояния легко проверяются. ...

Аксиома — Регулярность

Аксиома регулярности в этой книге совсем не используется. R () представляют математический интерес. ...

Аксиома — Связь

Аксиома связей утверждает, что всякую свя. Эта аксиома фактически уже содержится в определении силы, но в истории развития механики это не было осознано сразу. ...

Аксиома — Симметрия

Аксиома симметрии для метрики ( 6) очевидна, а аксиома тождества понимается в смысле эквивалентности функций на множествах, меры Жордана которых совпадают. ...

Аксиома — Система

Аксиомы системы имеют один из видов: ( р - ( р или L - у, где ( р - произвольная формула. ...

Аксиома [следующая]

Следующая аксиома выражает основное свойство измерения отрезков. ...

Аксиома — Сложение

Аксиомы сложения а - г - в точности те же аксиомы сложения, которые были выписаны в 1.21 для вещественных чисел. ...

Аксиома — Статика

Аксиомы статики устанавливают основные свойства сил, приложенных к абсолютно твердому телу. ...

Аксиома [сформулированная]

Сформулированные аксиомы являются основными при описании движения любых механических объектов. В случае механических систем они дополняются еще двумя аксиомами, характерными для взаимодействующих друг с другом материальных точек. ...

Аксиома [остальная] — Теория — Множество

Остальные аксиомы теории множеств довольно длинны и сложны. Чтобы переписать их в удобной для чтения форме, необходимо ввести некоторые сокращения. ...

Аксиома — Тождество

Аксиомы тождества и симметрии для метрики ( 8) очевидны. ...

Аксиома — Транзитивность

Аксиома транзитивности: из превосходства полезности альтернативы А над полезностью альтернативы В и превосходства полезности В над полезностью С следует превосходстве полезности альтернативы А над полезностью альтернативы С. ...

Аксиома [упомянутая]

Упомянутая аксиома полноты эквивалентна многим замечательным предложениям теории множеств ( напр. Теория нормальных и, в особенности, бикомпактных пространств изложена в упомянутых работах II. ...

Аксиома [четвертая]

Четвертая аксиома служит основой для сложения сил. ...

Аксиома [шестая]

Шестая аксиома информатики: полезная работа управляющей подсистемы ( Ь) должна соответствовать полному информационному потоку / поп за рассматриваемый период времени. ...

Аксиоматизация

Аксиоматизация упорядочивает знание, исключает из него ненужные элементы, облегчает процесс построения всей системы знания, устраняет двусмысленности и противоречия. Иначе говоря, аксиоматический метод всесторонне рационализирует организацию научного знания. ...

Аксиоматизируемость [конечная]

Конечная аксиоматизируемость подкласса К внутри класса L означает, что К состоит их тех алгебр класса L, которые удовлетворяют некоторой конечной системе формул. Это не влечет еще финитной аксиоматизируемости К как самостоятельного класса. ...

Аксиоматика

Аксиоматика по Цермело; множества и классы. Совершив этот экскурс на левое крыло конструктивистов, вернемся к миру U с его иерархией типов. Коль скоро экзистенциальная или аксиоматическая точка зрения выбрана, нельзя ли двигаться в том же направлении и далее и даже стереть все различия между типами, соблюдая только такие предосторожности, которые абсолютно необходимы, чтобы избежать известных противоречий. Но он вынужден поступиться принципом, согласно которому любое вполне определенное свойство у задает элемент с, такой, что х Е с, коль скоро элемент х обладает свойством 7 и vice versa. Свойства используются им только для того, чтобы выделить подмножества из данного множества. Такова его аксиома выделения: Дано вполне определенное свойство у и элемент а. Входящее в аксиому понятие вполне определенного свойства несколько расплывчато. Но мы знаем, что его можно сделать точным, конструируя свойства с помощью итерированного применения комбинаций некоторых элементарных конструктивных процессов. Вместо того чтобы говорить л: обладает свойством у, будем говорить, что х есть элемент класса у: х Е у. Тем самым мы проводим различие между элементами или множествами, с одной стороны, и классами - с другой и формулируем аксиомы в терминах двух неопределенных категорий объектов, элементов и классов. ...

Аксиоматика [вейлевская]

Вейлевская аксиоматика позволяет очень просто определить прямые, плоскости, параллельность, перпендикулярность и прочие евклидовы понятия, причем все построение здания геометрии оказывается простым и кратким. ...

Аксиоматика [геометрическая]

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

Аксиоматика — Гильберт

Аксиоматика Гильберта обладает также рядом принципиальных достоинств. ...

Страницы: 1 ... 6 7 8 9 10 11 12 ... 31