Алгоритмов Теория

84

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

М. Тьюринг (А. М. Turing, [3], [4]) и Э. Л. Пост (Е. L. Post, [5]) дали первые уточнения понятия алгоритма (в терминах идеализированных вычислительных машин, см. Тьюринга машина). В дальнейшем А. Т. Получила развитие в трудах С. К. Клини (S. С. Kleene), Э. .

Значения в других словарях
Алгоритмический Язык

Формализованный язык для однозначной записи алгоритмов. Состоит из набора символов (алфавит), синтаксических правил и семантических определений. Является основой языков программирования.. ..

Алгоритмов Сочетания

название, установившееся за рядом конкретных способов конструирования новых алгоритмов из нескольких заданных. В применении к нормальным алгорифмам наибольшую известность получили следующие А. С. Нормальная композиция двух нормальных алгорифмов .нормальное объединение двух нормальных алгорифмов нормальное разветвление двух нормальных алгорифмов управляемое нормальным алгорифмом нормальное повторение нормального алгорифма , управляемое нормальным алгорифмом . Если - нормальные алго..

Алгоритмов Эквивалентность

бинарное отношение, связывающее алгоритмы фиксированного типа и выражающее тот факт, что у всяких двух связанных этим отношением алгоритмов при совпадении определенного вида исходных данных совпадают и результаты работы (а также, быть может, и нек-рые дополнительные сведения относительно выполненных при этом вычислений - так наз. Истории вычислений). Ниже приведено несколько типичных примеров таких отношений. а) Рассматриваются всевозможные рекурсивные схемы- системы равенств, определяющие п..

Александера Двойственность

связь между гомологич. Свойствами взаимно дополнительных подмножеств топологич. Пространства, к-рая позволяет гомологич. Свойства множества определять нек-рымн свойствами его дополнения. Первые теоремы такого рода были сформулированы в терминах не алгебраической, а теоретико-множественной топологии. В 1892 К. Жор-даном (С. Jordan) было доказано, что простая замкнутая непрерывная кривая разбивает плоскость на две области и является их общей границей (теорема Жордана). Эта теорема была (1911) н..

Дополнительный поиск Алгоритмов Теория Алгоритмов Теория

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

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

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