Чёрча-абстракция

81

ЧЁРЧА -АБСТРАКЦИЯ-способ введения функций в языках математич. Логики, в особенности в комбинаторной логике. А именно, если в нек-ром точном языке определен терм А. выражающий объект теории и зависящий от параметров x1, . , х п (и, может быть, также от других параметров), то служит в языке обозначением функции, перерабатывающей значения аргументов х 1, . , х п в объект, выражаемый термом A. Выражение (*) и наз. Ч. -а. Эта Ч. -а., наз. Также явным определением функций, употребляется чаще всего в случае, когда в языке теории возникает опасность смешения функции как объекта исследования со значениями функции для нек-рых значений аргумента. Введена А. Чёрчем [1]. Лит.:[1] Chureh A., The calculi of lambda-conversion, Princeton, 1941.

[2] Карри Х. Б., Основания математической логики, пер. С англ., М., 1969. А. Г. Драгалин.

Значения в других словарях
Чепмена - Энскога Метод

способ получения решения Болъцмана уравнения (кинетического) для одночастичной функции распределения f (t, r, v), являющийся своеобразным методом последовательных приближений, в к-ром локальное распределение Максвелла определяется стандартной формулой, но с локальными значениями плотности числа частиц n(t, r), гидродинамич. Скорости и(t, r )и температуры используется в качестве нулевого приближения, а условием существования решения для следующих приближений является выполнение гидродинамич. ..

Чёрча Тезис

- принцип, согласно к-рому класс функций, вычислимых с помощью алгоритмов в широком интуитивном смысле, совпадает с классом частично рекурсивных функций. Ч. Т.- это естественнонаучный факт, подтверждаемый опытом, накопленным в математике за всю ее историю. Все известные в математике примеры алгоритмов удовлетворяют ему. Ч. Т. Впервые был высказан А. Чёрчем (A. Church, 1936). Различным уточнениям интуитивного понятия алгоритма соответствуют свои формулировки Ч. Т. Тезис Тьюринга заключается в то..

Четаева Принцип

- вариационный дифференциальный принцип механики, представляющий собой видоизменение Гаусса принципа, установленное Н. Г. Четаевым [1]. Согласно Ч. П., работа на элементарном цикле, состоящем из прямого движения в поле заданных сил и движения обратного (попятного) в поле сил, к-рых было бы достаточно для создания действительного движения, если бы механич. Система была совершенно свободной, для действительного движения имеет относительный (по меньшей мере) максимум в классе мыслимых по Гауссу ..

Четаева Теоремы

1) Ч. Т. О неустойчивости - общие теоремы о неустойчивости движения, установленные Н. Г. Четаевым для уравнений возмущенного движения вида правые части к-рых Xs - голоморфные функции относительно действительных переменных xs с коэффициентами, являющимися непрерывными и ограниченными функциями действительной переменной - времени t, определенные в нек-рой области причем Xs(t,0, . , 0) = 0. Ч. Т. Даны в двух формулировках. С двумя функциями V, W и с одной функцией V. Под функциями V, . Понима..

Дополнительный поиск Чёрча-абстракция Чёрча-абстракция

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Чёрча-абстракция" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Чёрча-абстракция, различные варианты толкований, скрытый смысл.

Первая буква "Ч". Общая длина 16 символа