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