Алгоритмов Теория
раздел математики, изучающий общие свойства алгоритмов. Содержательные явления, приведшие к образованию понятия "алгоритм", прослеживаются в математике в течение всего времени ее существования. Однако само это понятие сформировалось лишь в 20 в. И стало предметом самостоятельного изучения (по-видимому, впервые, хотя еще в расплывчатом виде) в 20-х гг. 20 в. В трудах представителей интушионизма Л. Э. Я. Брауэра (L. Е. J. Brouwer) и Г. Вейля (Н. Weyl, см. [1]). Началом сиотематич. Разработки А. Т. Можно считать 1936, когда А. Чёрч (A. Church, [2]) опубликовал первое уточнение понятия вычислимой функции (предложив отождествлять понятие всюду определенной вычислимой функции, имеющей натуральные аргументы и значения, с понятием общерекурсивной функции) и привел первый пример функции, не являющейся вычислимой, а А.
М. Тьюринг (А. М. Turing, [3], [4]) и Э. Л. Пост (Е. L. Post, [5]) дали первые уточнения понятия алгоритма (в терминах идеализированных вычислительных машин, см. Тьюринга машина). В дальнейшем А. Т. Получила развитие в трудах С. К. Клини (S. С. Kleene), Э. .
Дополнительный поиск Алгоритмов Теория
На нашем сайте Вы найдете значение "Алгоритмов Теория" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Алгоритмов Теория, различные варианты толкований, скрытый смысл.
Первая буква "А". Общая длина 17 символа