-
1 аксиоматизация
Русско-английский словарь математических терминов > аксиоматизация
-
2 аксиоматизация
-
3 аксиоматизация
Mathematics: axiomatization -
4 аксиоматизация
аксиоматиза́ция ж.
axiomatization -
5 аксиоматизация
Русско-английский словарь по вычислительной технике и программированию > аксиоматизация
-
6 аксиоматизация
-
7 аксиоматизация
-
8 аксиоматизация
f. axiomatization -
9 аксиоматизация
Русско-английский научно-технический словарь Масловского > аксиоматизация
-
10 аксиоматизация
ж. axiomatization -
11 аксиоматизация
-
12 аксиоматизация
Русско-английский новый политехнический словарь > аксиоматизация
-
13 аксиоматизация
Русско-английский словарь по информационным технологиям > аксиоматизация
-
14 аксиоматизация
-
15 конечная аксиоматизация
Mathematics: finite axiomatizationУниверсальный русско-английский словарь > конечная аксиоматизация
-
16 синтаксическая аксиоматизация
Mathematics: syntactic axiomatizationУниверсальный русско-английский словарь > синтаксическая аксиоматизация
-
17 конечная аксиоматизация
Русско-английский научно-технический словарь Масловского > конечная аксиоматизация
-
18 синтаксическая аксиоматизация
Русско-английский научно-технический словарь Масловского > синтаксическая аксиоматизация
См. также в других словарях:
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
Проективная геометрия — раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии состоит в принципе двойственности, который прибавляет изящную симметрию во многие конструкции. Проективная геометрия может изучаться как с … Википедия
Пучёк — Проективная геометрия раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии состоит в принципе двойственности, который прибавляет изящную симметрию во многие конструкции. Проективная геометрия … Википедия
Любинская, Лада Николаевна — (р. 16.06.1923) спец. в обл. филос. и методол. науки; канд. филос. наук, доц. Род. в Киеве. Окончила физ. ф т МГУ (1946). В 1948 1951 асп. кафедры филос. Гос. пед. ин та им. Ленина. В 1953 1960 доц., затем зав. кафедрой филос. в Пермском пед. ин… … Большая биографическая энциклопедия
КОНВЕНЦИОНАЛИЗМ — (от лат. conventio соглашение) направление в философии науки, подчеркивающее, что в основе научных теорий лежат явные или неявные соглашения ученых относительно понятий, определений, аксиом, гипотез и т.д. Выбор соглашений диктуется соображениями … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ВЕРОЯТНОСТЕЙ ТЕОРИЯ — математическая наука, позволяющая по вероятностям одних случайных событий находить вероятности других случайных событий, связанных к. л. образом с первыми. Утверждение о том, что к. л. событие наступает с вероятностью, равной, напр., 1/2, еще не… … Математическая энциклопедия
Теорема Гаусса — Классическая электродинамика … Википедия
Аксиоматика Колмогорова — Аксиоматика Колмогорова общепринятый аксиоматический метод при математическом описании событий и вероятностей; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в… … Википедия
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки