Рекурсивные функции
71Нормальный алгорифм — одно из современных уточнений понятия Алгоритма, получившее распространение в исследованиях по конструктивной математике (См. Конструктивная математика). Предложено в 1950 А. А. Марковым, впервые систематически и строго построившим на… …
72Рекуррентная формула — (от лат. recurrens, родительный падеж recurrentis возвращающийся) формула приведения, формула, сводящая вычисление n го члена какой либо последовательности (чаще всего числовой) к вычислению нескольких предыдущих её членов. Обычно эти… …
73Формальная арифметика — формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, (прибавление 1) и логические связки (см …
74Эрбран Жак — Эрбран (Herbrand) Жак (12.2.1908, Париж, ‒ 27.7.1931, Ла Берард, Изер), французский математик. Окончил (1925) Высшую нормальную школу в Париже. Основные труды в области математической логики (исчисление предикатов, рекурсивные функции, теоремы о… …
75Мальцев — I Мальцев Александр Николаевич (родился 20.4.1949, деревня Сетковская Кирово Чепецкого района Кировской области), советский спортсмен, заслуженный мастер спорта (1969), офицер. Чемпион Олимпийских игр (1972), мира (4 раза в 1969 73),… …
76Эрбран — (Herbrand) Жак (12.2.1908, Париж, 27.7.1931, Ла Берард, Изер), французский математик. Окончил (1925) Высшую нормальную школу в Париже. Основные труды в области математической логики (исчисление предикатов, рекурсивные функции, теоремы о… …
77ТЬЮРИНГ Алан Матисон — (Turing, Alan Mathison) (1912 1954), английский математик, логик. Внес значительный вклад в символическую логику и основания математики, введя понятие абстрактной (воображаемой) вычислительной машины (называемой ныне машиной Тьюринга), способной… …
78НОРМАЛЬНАЯ ФОРМА — (в математи ч е с к о й л о г и к е) – наиболее простая в к. л. отношении – стандартная – форма представления логич. объектов (предложений, формул, доказательств, схем определений и др.). Понятие о Н. ф. вводится в каждом конкретном случае… …
79СВОДИМОСТЬ — отношение между понятиями (предложениями, задачами, теориями и др.), играющее важнейшую роль в логике и математике; означает возможность редукции (сведéния) одного понятия к другому (аналогично для предложений, задач и др.). Интуитивное понимание …
80АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …