аксиоматизация это:

аксиоматизация
f. axiomatization

Русско-английский словарь математических терминов. — Американское математическое общество. . 1990.

Смотреть что такое "аксиоматизация" в других словарях:

  • Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… …   Википедия

  • Проективная геометрия — раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии состоит в принципе двойственности, который прибавляет изящную симметрию во многие конструкции. Проективная геометрия может изучаться как с …   Википедия

  • Пучёк — Проективная геометрия раздел геометрии, изучающий проективные плоскости и пространства. Главная особенность проективной геометрии состоит в принципе двойственности, который прибавляет изящную симметрию во многие конструкции. Проективная геометрия …   Википедия

  • Любинская, Лада Николаевна — (р. 16.06.1923) спец. в обл. филос. и методол. науки; канд. филос. наук, доц. Род. в Киеве. Окончила физ. ф т МГУ (1946). В 1948 1951 асп. кафедры филос. Гос. пед. ин та им. Ленина. В 1953 1960 доц., затем зав. кафедрой филос. в Пермском пед. ин… …   Большая биографическая энциклопедия

  • КОНВЕНЦИОНАЛИЗМ — (от лат. conventio соглашение) направление в философии науки, подчеркивающее, что в основе научных теорий лежат явные или неявные соглашения ученых относительно понятий, определений, аксиом, гипотез и т.д. Выбор соглашений диктуется соображениями …   Философская энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ВЕРОЯТНОСТЕЙ ТЕОРИЯ — математическая наука, позволяющая по вероятностям одних случайных событий находить вероятности других случайных событий, связанных к. л. образом с первыми. Утверждение о том, что к. л. событие наступает с вероятностью, равной, напр., 1/2, еще не… …   Математическая энциклопедия

  • Теорема Гаусса —     Классическая электродинамика …   Википедия

  • Аксиоматика Колмогорова — Аксиоматика Колмогорова  общепринятый аксиоматический метод при математическом описании событий и вероятностей; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в… …   Википедия

  • логика высказываний —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • пропозициональная логика —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»