аксиоматика
-
аксиоматика
-и, ж.
Малый академический словарь
Совокупность аксиом, лежащих в основе той или иной науки.
Аксиоматика геометрии.
-
аксиоматика
Аксиом/а́т/ик/а.
Морфемно-орфографический словарь
-
аксиоматика
орф.
Орфографический словарь Лопатина
аксиоматика, -и
-
аксиоматика
АКСИОМАТИКА -и; ж. Совокупность аксиом, лежащих в основе той или иной науки.
Толковый словарь Кузнецова
◁ Аксиоматический, -ая, -ое. А. метод построения научной теории.
-
аксиоматика
аксиоматика ж.
Толковый словарь Ефремовой
Совокупность аксиом, лежащих в основе какой-либо науки.
-
Векторно-точечная Аксиоматика
Аксиоматика гс-мерного аффинного пространства Rn, первичными понятиями к-рой являются "точка" и "вектор
Математическая энциклопедия
-
аксиоматико-дедуктивный метод
АКСИОМАТИКО-ДЕДУКТИВНЫЙ МЕТОД (от греч. axioma — принятое положение и лат. deductio — выведение) — один
Энциклопедия эпистемологии и философии науки
-
аксиоматический
ая, -ое.
Малый академический словарь
прил. к аксиоматика.
Аксиоматический метод.
-
ПЕАНО
Автор аксиоматики натурального ряда чисел (аксиомы Пеано).
Большой энциклопедический словарь
-
Пеано Джузеппе
Автор аксиоматики натурального ряда чисел (аксиомы Пеано).
Большая биографическая энциклопедия
-
Евклидова Геометрия
Особое место в аксиоматике Е. г. занимает, аксиома о параллельных (пятый постулат).
Математическая энциклопедия
Первая достаточно строгая аксиоматика Ё. г. была предложена Д. Гильбертом (D. Hilbert, см.
Существуют модификации системы аксиом Гильберта и другие варианты аксиоматики Е. г.
Напр., в векторно-точечной аксиоматике за одно из основных понятий принято понятие вектора; в основу
аксиоматики Е. г. может быть положено отношение симметрии (см. [5]).
-
АКСИОМАТИЧЕСКИЙ МЕТОД
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики
Большой энциклопедический словарь
-
-атика
явлений, которые названы словами, от которых соответствующие имена существительные образованы (аксиоматика
Толковый словарь Ефремовой
-
ФРЕГЕ
Дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики
Большой энциклопедический словарь
-
БЕРНШТЕЙН Сергей Натанович
аналитичности решений) — теории функций (приближение функций многочленами) — теории вероятностей (аксиоматика
Большой энциклопедический словарь
-
Фреге Готлоб
Дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики
Большая биографическая энциклопедия
-
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ
Хотя содержательной аксиоматике до сих пор стараются следовать в неформализованных теориях (напр., общая
Новая философская энциклопедия
систематика А.А.Любищева), в математике перешли от содержательной аксиоматики к модельной и далее к
Поэтому с формальной аксиоматикой всегда манипулируют на основе некоторой интерпретации, обращаясь с
Еще одним преимуществом формальных аксиоматик является возможность нескольких разнородных классов моделей
-
Шатуновский
Основные работы относятся к алгебре, аксиоматике линейной величины и площади, обоснованию понятия объёма
Большая советская энциклопедия
-
Каган, Вениамин Федорович
В "Основаниях геометрии" К. дал аксиоматику евклидового пространства с подробным анализом непротиворечивости
Большая биографическая энциклопедия
Гильбертом (см.) системы аксиоматика К. отличается тем, что опирается на понятие о расстоянии как инварианте
В "Основаниях геометрии" (т. 1—2, 1905—07) К. разработал аксиоматику евклидова пространства с подробным
Аксиоматика К. отличается от созданной Д.
опирается на понятие расстояния как инварианта группы движения; она оригинальна и по смыслу примыкает к аксиоматике
-
аксиома
Аксиоматика -и ж. Система работает на аксиоматике — предполагается, что мы в основах согласны.
Словарь галлицизмов русского языка
Поэтому ошибки как отражение неокончательности аксиоматики в науке есть обязательное для нее явление.
САН 1789: аксиома; Сл. 18: аксиома 1708; МАС-1 1957: аксиоматика; Михельсон 1866: аксиоматический; Уш
-
Цермело
Основные исследования относятся к теории множеств, где он дал общую аксиоматику и доказал, что всякое
Большая советская энциклопедия
-
Пеано
Во всеобщее употребление вошла его аксиоматика натурального ряда чисел (см. Арифметика).
Большая советская энциклопедия
-
модели порождения
Модели порождения включают:
Словарь лингвистических терминов Жеребило
1) аксиоматику структуры;
2) правила ее порождения.
-
АКСИОМАТИЧЕСКИЙ МЕТОД
Иногда это различие в статусах отражается в названиях аксиом (в современных аксиоматиках для эмпирических
Новая философская энциклопедия
наглядным при сопоставлении «Начал» Евклида с «Основаниями геометрии» Д.Гильберта [ГИЛЬБЕРТ] – новой аксиоматики
К концу того же века Дж.Пеано [ПЕАНО]дал аксиоматику натуральных чисел.
-
Неевклидово Пространство
В зависимости от аксиоматики, на основе к-рой развертываются неевклидовы геометрии Н. п., можно классифицировать
Математическая энциклопедия
-
Рашевский, Петр Константинович
относятся к римановой геометрии, геометрии аффинной связности и созданной Р. полиметрич. геометрии; аксиоматике
Большая биографическая энциклопедия
разделам геометрии: римановой, афинной, дифференциальной, по созданной им полиметрической геометрии, аксиоматике
-
ГЕЙТИНГ
В 1922 Гейтинг дает интуиционистскую трактовку аксиоматики проективной геометрии (тема предложена Брауэром
Новая философская энциклопедия
В 1941 Гейтинга привлекли вопросы интуиционистской аксиоматики алгебры.
-
Глаголев, Нил Александрович
Несколько работ Г. относятся к вопросам аксиоматики геометрии.
Большая биографическая энциклопедия
Неск. работ Г. относятся к вопросам аксиоматики геометрии.
-
Бирюкова, Любовь Гавриловна
Ч.I, II; Алгоритмические проблемы XX в. и становление аксиоматики фундаментальных алгебраических структур
Большая биографическая энциклопедия
М., 1988; У истоков аксиоматики фундаментальных алгебраических структур: достижения Германа и Роберта
-
ВЕЙЛЬ
математической физики, – особый интерес к математическим структурам фундаментальной физики, проблемам аксиоматики
Новая философская энциклопедия
Знакомство Вейля с идеями современной аксиоматики, особенно с «Основаниями геометрии» Д.Гильберта, а
-
Шимин, Николай Дмитриевич
Воронеж, 1996; Целостность как феномен бытия человека (Аксиоматика единства мужского и женского начал
Большая биографическая энциклопедия
-
Зайцев, Дмитрий Владимирович
М., 1998; Теория релевантного следования I: аксиоматика // Логические исследования.
Большая биографическая энциклопедия
-
ГЕОМЕТРИЧЕСКИЙ МЕТОД
Попытка Спинозы максимально экономно и ясно изложить свою метафизику и философскую доктрину аксиоматико-дедуктивным
Новая философская энциклопедия
-
ГИЛЬБЕРТ
почерпнуты из аксиом, либо чисто логическим путем формально выведены из них, он стал трактовать аксиоматику
Новая философская энциклопедия
геометрии» (1899), где впервые дана полная, не содержащая никаких подразумеваемых предположений аксиоматика
множеств теории [МНОЖЕСТВ ТЕОРИЯ]); во-вторых, установление непротиворечивости всех полученных аксиоматик
В первую очередь, это работы (Геделя и др.) по неполноте аксиоматик (арифметики и теории множеств), работы
-
Превосходное Кольцо
Понятие П. к. позволяет в аксиоматик, форме учесть важнейшие из этих свойств. Аксиомы П. к. А. А1.
Математическая энциклопедия
-
дедукции теорема
Поскольку указанные формулы включаются в аксиоматику интуиционистской логики, доказательство Д. т. для
Энциклопедия эпистемологии и философии науки
-
аксиоматический метод
Гильберт сформулировал новую аксиоматику геометрии, базирующуюся на высших достижениях математики 19
Энциклопедия эпистемологии и философии науки
Пеано (Италия) дал аксиоматику натуральных чисел.
Аксиоматики Пеано и Гильберта содержат по одному принципу высшего порядка, говорящему не о фиксированных
-
ГОНСЕТ
в свои определения весь процесс их создания, вплоть до интуитивных форм, поэтому в абстрактной аксиоматике
Новая философская энциклопедия
от умственных схематизированных образов физической реальности до абстрактных понятий формальной аксиоматики
-
Израилев, Юрий Львович
терминов, характеризующих основы культуры, с обоснованием подобия болезней языка и основ культуры; в аксиоматике
Большая биографическая энциклопедия
позволила выявить наиболее глубокие аналоги: в математике — интуитивно-конструктивный подход к аксиоматике
-
Неклассическая Теория Моделей
высказываний языка истинных во всех моделях, не аксиоматизируемо, вднако существует естественное обобщение аксиоматики
Математическая энциклопедия
Нек-рые вопросы теории моделей языка связаны с проблемами теории множеств и неразрешимы в аксиоматике
-
«Исчисление понятий»
Аксиоматика, изложенная в работе Фреге, включала — на пропозициональном уровне — схемы аксиом, выражающие
Энциклопедия эпистемологии и философии науки
Современные аксиоматики классической логики высказываний и предикатов в значительной степени повторяют
-
НЕЛЬСОН
области знания могут приобрести законченную рациональную форму, образцом чего считал гильбертовскую аксиоматику
Новая философская энциклопедия
-
абстракция
науке, который, в свою очередь, становится инструментом А. и анализа, — ив качестве содержательной аксиоматики
Энциклопедия эпистемологии и философии науки
сохраняющей явную связь с ее эмпирической основой, и в качестве аксиоматики формальной, не сохраняющей
В последнем случае значение метода А. особенно очевидно: ведь переход от содержательной аксиоматики к
Поэтому только формальной аксиоматикой выявляется неоднозначность А., неуловимая на индуктивном пути,
-
РИД
главном произведении «Опыты об интеллектуальных способностях человека» (1785) Рид распространяет свою аксиоматику
Новая философская энциклопедия
-
Шатуновский, Самуил Осипович
Особенно интересны его труды, посвященные: аксиоматике линейной величины и специально площади; обоснованию
Большая биографическая энциклопедия
-
АКСИОМАТИЧЕСКИЙ МЕТОД
абстрактные объекты разных уровней организации реальности, т.е. снять ограничение на справедливость аксиоматики
Новейший философский словарь
-
КАВАЙЕС
Благодаря абстрактной аксиоматике, ее схематизирующей роли открываются новые, подчас неожиданные зависимости
Новая философская энциклопедия
-
Измельчение,
счетным И., неизвестно (1978), однако известно, что существование такого пространства совместимо с аксиоматикой
Математическая энциклопедия
-
ГЛИВЕНКО
– Л., 1936), аксиоматике теории вероятностей (Курс теории вероятностей.
Новая философская энциклопедия
-
СКУЛЕМ
систем т.о., что они оказываются истинными теоремами арифметики, объективно означает, что никакая аксиоматика
Новая философская энциклопедия
-
Каган
В «Основаниях геометрии» (т. 1—2, 1905—07) дал аксиоматику евклидова пространства с подробным анализом
Большая советская энциклопедия
-
ВЕРОЯТНОСТЬ
Наиболее известной и широко применяемой является аксиоматика, предложенная в начале 30-х 20 в. А.Н.
Новейший философский словарь
-
КУЛЬТ
Но и при этом общезначимая, т.е. ценностно-культовая аксиоматика, остается для большинства членов данной
Новая философская энциклопедия
Тем самым они получают способность самовольно оценивать и, исходя из своей самодельной аксиоматики (магической
-
ЛЕЙБНИЦ
В теории науки Л. указывает на ошибочность отрицания роли аксиоматик в ней.
Новейший философский словарь
исчисления — точного описания элементов мышления, позволяющее сконструировать упорядоченную его аксиоматику
-
Постулат
употребляются как Синонимы; в частности, знаменитый V постулат Евклида (о параллельных) в гильбертовской аксиоматике
Большая советская энциклопедия
-
Обобщенные Теории Когомологии
группу по группам и С каждой О. т. к. h* можно связать двойственную обобщенную теорию гомологии , аксиоматика
Математическая энциклопедия
к-рой аналогична аксиоматике О. т. к. с учетом того, что гомологии — ковариантиый функтор [4].
-
Категория
Входящее в определение К. понятие класс предполагает использование такой аксиоматики теории множеств,
Математическая энциклопедия
Наиболее употребительной является аксиоматика Гёделя- Бернсайда — Неймана.
-
Неформальный Аксиоматический Метод
Формализацией Н. а. м. в теории групп служит переход к языку системы Цермело — Френкеля с ее аксиоматикой
Математическая энциклопедия
-
МОДЕЛИРОВАНИЕ
При рассмотрении систем Лобачевского и Римана, как формально построенных аксиоматик, можно найти для
Новая философская энциклопедия
-
ДЕДУКЦИЯ
а аксиоматический метод, посредством которого производятся выводы этих частных предложений, – аксиоматико-дедуктивным
Новая философская энциклопедия
-
Движение
П., Лекции по аксиоматике Вейля в неевклидовым геометриям, Рязань, 1973; [2] его же, Движения в пространствах
Математическая энциклопедия
-
Универсалии культуры
экзистентными константами человеческого бывания, фундаментальными категориями картины мира, суммарной аксиоматикой
Словарь по культурологии
-
АБСТРАКЦИЯ
который в свою очередь становится инструментом абстракции и анализа и в качестве содержательной аксиоматики
Новая философская энциклопедия
сохраняющей явную связь с эмпирическим опытом, и в качестве аксиоматики формальной, не сохраняющей
В последнем случае значение метода особенно очевидно, ведь переход от содержательной аксиоматики к формальной
Поэтому только формальной аксиоматикой выявляется различие между интуитивным смыслом абстракции, подразумеваемым
-
Педагогическая антропология
знания методом, обеспечивающим интеграцию человека в педагогику, опирается на антропологическую аксиоматику
Педагогический терминологический словарь
-
ЛУКАСЕВИЧ
Т.о. логика дает методологический образец для философии (и, в частности, аксиоматико-дедуктивный метод
Новая философская энциклопедия
-
Распределение Вероятностей
Однако это определение, являющееся основой аксиоматики А. Н.
Математическая энциклопедия
-
Полнота
Напр., аксиоматика классич. исчисления высказываний полна в смысле Поста, а интуиционистского исчисления
Математическая энциклопедия
-
КОГЕН
геометрии предполагает одну из конкретизации пространственных отношений, которая зафиксирована в аксиоматике
Новая философская энциклопедия
-
теоретической лингвистики постулаты
Напр., в математической теории, построенной в рамках формальной аксиоматики, всякий термин определяется
Энциклопедия эпистемологии и философии науки
-
Потенциала Теория Абстрактная
Первое достаточно полное изложение аксиоматики "гармонических" функций (т. е. решений допустимого класса
Математическая энциклопедия
невырожден в точке , если в окрестности x существует -функция итакая, что Реальные различия в аксиоматиках
-
Булева Алгебра
Возможны и другие аксиоматики.
Математическая энциклопедия
-
АРНО
» разума в дополнение к правилам силлогизма, приоритет интеллектуальной интуиции над дедукцией, аксиоматико-дедуктивный
Новая философская энциклопедия
-
Аксиоматическая Теория Множеств
Первой аксиоматикой такого рода была система Z Цермело (Е. Zermelo, 1908).
Математическая энциклопедия
Система NF имеет наиболее простую аксиоматику, а именно: 1) аксиому объемности и 2) те аксиомы свертывания
-
Тождество
Определяя понятие «один и тот же» предмет, аксиоматики Т. необходимо влияют на формирование универсума
Большая советская энциклопедия
-
«Наука и гипотеза»
Существует несколько геометрий, и в основе каждой лежит особая аксиоматика, и поэтому говорить о предметной
Энциклопедия эпистемологии и философии науки
-
модальная логика
эквивалентные по множеству выводимых формул формулировки в следующем виде, называемом ныне геделевым: к аксиоматике
Энциклопедия эпистемологии и философии науки
-
полнота логических исчислений
логической системы (в частности, обладающей некоторыми требуемыми свойствами, напр. наличием конечной аксиоматики
Энциклопедия эпистемологии и философии науки
-
Шиллер, Николай Николаевич
Исследуя аксиоматику второго закона термодинамики, Ш. в 1900 высказал как следствие 2-го начала термодинамики
Большая биографическая энциклопедия
-
БАШЛЯР
Различаются три типа аксиоматик: математическая (ей соответствует «внутренняя диалектика»), физическая
Новейший философский словарь
-
Обобщенного Сдвига Операторы
Различные варианты аксиоматики даны в [1], [3] — [6], [8], [15] — [20].
Математическая энциклопедия
-
Элементарная геометрия
исчерпывает, т. к. в Э. г. включается обширный материал, лежащий вне школьных программ (например, аксиоматика
Большая советская энциклопедия
-
Дедукция
Аксиоматический метод, посредством которого производятся выводы этих частных предложений, часто называют аксиоматико-дедуктивным
Большая советская энциклопедия
-
аксиоматика
Ж aksiomatika (bir elmin əsasını təşkil edən aksiomlar).Русско-азербайджанский словарь
-
аксиоматика
АксіяматыкаРусско-белорусский словарь
-
аксиоматика
сущ. жен. рода, только ед. ч.Русско-украинский словарь
аксіоматика
-
аксиоматика
Axiomatics axiomaticsПолный русско-английский словарь
-
экзистенциальная аксиоматика
Мат. existential axiomaticsПолный русско-английский словарь
-
материальная аксиоматика
Мат. material axiomaticsПолный русско-английский словарь
-
формальная аксиоматика
Formal axiomaticsПолный русско-английский словарь
-
содержательная аксиоматика
Informal axiomaticsПолный русско-английский словарь
-
квазиклассическая аксиоматика
Мат. quasiclassical axiomaticsПолный русско-английский словарь
-
axiomatics
Аксиоматика formal axiomatics informal axiomatics аксиоматика (совокупность исходных понятий или определенийПолный англо-русский словарь
-
assiomatica
ж.Итальянско-русский словарь
аксиоматика
-
informal axiomatics
Содержательная аксиоматикаАнгло-русский морской словарь
-
formal axiomatics
Формальная аксиоматикаПолный англо-русский словарь
-
informal axiomatics
Содержательная аксиоматикаПолный англо-русский словарь
-
existential axiomatics
Мат. экзистенциальная аксиоматикаПолный англо-русский словарь
-
quasiclassical axiomatics
Мат. квазиклассическая аксиоматикаПолный англо-русский словарь
-
material axiomatics
Мат. материальная аксиоматикаПолный англо-русский словарь
-
аксіоматика
імен. жін. роду, тільки одн.Украинско-русский словарь
аксиоматика