ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ
- ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ
система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело - Френкеля (см. Аксиоматическая теория множеств), типов теории - примеры Э. с. а.
В. Н. Гришин.
Математическая энциклопедия. — М.: Советская энциклопедия.
И. М. Виноградов.
1977—1985.
Смотреть что такое "ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ" в других словарях:
ЭЛЕМЕНТАРНАЯ ТЕОРИЯ — совокупность замкнутых формул логики предикатов 1 й ступени. Э. т. Th(К) класса К алгебраических систем сигнатуры наз. совокупность всех замкнутых формул логики предикатов 1 й ступени сигнатуры истинных на всех системах из класса К. Если класс… … Математическая энциклопедия
Теория моделей — Теория моделей раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория … Википедия
Моделей теория — Теория моделей это раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями. Название теория моделей было впервые предложено Тарским в 1954 году. Основное развитие теория… … Википедия
ОСНОВАНИЯ ГЕОМЕТРИИ — раздел геометрии, в к ром исследуются основные понятия геометрии, соотношения между ними и связанные с ними вопросы. Важная роль основных понятий и соотношений между ними, на базе к рых строятся определения фигур и доказываются геометрич.… … Математическая энциклопедия
Аксиоматика Колмогорова — Аксиоматика Колмогорова общепринятый аксиоматический метод при математическом описании событий и вероятностей; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в… … Википедия
Колмогоровская аксиоматика — Аксиоматика Колмогорова общепринятый аксиоматический подход к математическому описанию события и вероятности; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в современной… … Википедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
АРИФМЕТИКА — область знаний о числах и операциях в числовых множествах. Говоря об А., имеют в виду рассмотрение вопросов о происхождении и развитии понятия числа, приемы и средства вычислений, исследование операций с числами различной природы, анализ… … Математическая энциклопедия
СССР. Естественные науки — Математика Научные исследования в области математики начали проводиться в России с 18 в., когда членами Петербургской АН стали Л. Эйлер, Д. Бернулли и другие западноевропейские учёные. По замыслу Петра I академики иностранцы… … Большая советская энциклопедия