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

См. также в других словарях:

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

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

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

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

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

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

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

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

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

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

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