аксиоматика

  • 41Исчисления предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 42Логика предикатов — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 43Олег Натанович Гринбаум — (р. 26 декабря 1950, Кишинёв Молдавской ССР) российский учёный, доктор филологических наук, профессор кафедры математической лингвистики Факультета филологии и искусств СПбГУ. Содержание 1 Биография 2 Область исследований …

    Википедия

  • 44Предикатная логика — Логика первого порядка (исчисление предикатов)  формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… …

    Википедия

  • 45Мультипликативная группа кольца вычетов — Приведённая система вычетов по модулю m множество всех чисел полной системы вычетов по модулю m, взаимно простых с m. Приведённая система вычетов по модулю m состоит из φ(m) чисел, где φ(·) функция Эйлера. В качестве приведённой системы вычетов… …

    Википедия

  • 46МАТЕМАТИЧЕСКАЯ (АНАЛИТИЧЕСКАЯ) ГЕОЛОГИЯ , — Вистелиус, 1944, 1969, научная дисциплина, занимающаяся математическим моделированием геол. процессов и примыкающими к этому вопросу задачами. Термин предложен в 1944 г. в русской лит., поддержан акад. В. И. Вернадским; в 1947 г. появился в англ …

    Геологическая энциклопедия

  • 47Френкель, Абрахам — Абрахам Галеви (Адольф) Френкель ивр. אברהם הלוי (אדולף) פרנקל‎ нем. Abraham Halevi (Adolf) Fraenkel …

    Википедия

  • 48Теория ожидаемой полезности — В экономике, теории игр, теории принятия решений теория ожидаемой полезности  помогает с помощью неопределенности оценить полезность блага с точностью до положительного аффинного преобразования. Содержание 1 Виднейшие представители …

    Википедия

  • 49ВЕЙЛЬ Герман (1885-1955) — математик и философ, член Национальной Академии Наук США, лауреат Международной премии имени Лобачевского (1927). Образование получил в Геттингенском Университете (1908). Профессор математики Политехнического Института в Цюрихе (Швейцария, 1913… …

    История Философии: Энциклопедия

  • 50БЕРНШТЕЙН Сергей Натанович — (1880 1968) математик, академик АН СССР (1929) и АН Украины (1925). Основные труды по теории дифференциальных уравнений (условия аналитичности решений), теории функций (приближение функций многочленами), теории вероятностей (аксиоматика,… …

    Большой Энциклопедический словарь