пеано

  • 51РАССЕЛ — (Russell) Бертран (1872 1970), лорд, внук премьер министра Великобритании Джона Рассела британский философ, логик, математик, социолог, общественный деятель. Крестный сын Милля. Окончил с отличием Кембриджский колледж Святой Троицы. Лауреат… …

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

  • 52МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …

    Философская энциклопедия

  • 53РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …

    Философская энциклопедия

  • 54АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …

    Математическая энциклопедия

  • 55ТЕЙЛОРА ФОРМУЛА — представление функции в виде суммы еи многочлена Тейлора степени п(n=0, 1, 2, . . .) и остаточного члена. Если действительная функция / одного переменного имеет ппроизводных в точке х 0, то ее Т. ф. имеет вид f(x) = Pn(x) + rn(x), где Тейлора… …

    Математическая энциклопедия

  • 56интерлингва — (от лат. inter  между и lingua  язык), 1) международный вспомогательный язык (на основе проекта «латино сине флексионе»), предложенный итальянским математиком Дж. Пеано в 1903. 2) Международный вспомогательный язык, создан в Нью Йорке в 1951… …

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

  • 57Теория множеств — Теория множеств  раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой… …

    Википедия

  • 58Латино-сине-флексионе — Проверить информацию. Необходимо проверить точность фактов и достоверность сведений, изложенных в этой статье. На странице обсуждения должны быть пояснения. Латино сине флексионе (Latino sine flexio …

    Википедия

  • 59Кривая — У этого термина существуют и другие значения, см. Кривая (значения). Кривая или линия  геометрическое понятие, определяемое в разных разделах геометрии различно. Содержание 1 Элементарная геометрия 2 …

    Википедия

  • 60Математическая индукция — Математическая индукция  один из методов математического доказательства, используется чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала пров …

    Википедия