Рекурсивные функции
81АЛГОРИТМОВ СОЧЕТАНИЯ — название, установившееся за рядом конкретных способов конструирования новых алгоритмов из нескольких заданных. В применении к нормальным алгорифмам наибольшую известность получили следующие А. с.: нормальная композиция двух нормальных алгорифмов …
82ДИАГОНАЛЬНЫЙ ПРОЦЕСС — метод построения по последовательности, состоящей из последовательностей последовательности a=(a1, a2,a3, . ..), где ai неравно aii для любых i=1, 2, 3, . . . , либо а i=а ii для всех г. Д. п. в первой форме в 1874 применил Г. Кантор (см. [1])… …
83УНИВЕРСАЛЬНЫЙ АЛГОРИТМ — для данного класса алгоритмов алгоритм с входным параметром р, к рый при различных допустимых значениях р моделирует работу любого алгоритма данного класса. Различным формализациям вычислимости соответствуют различные уточнения понятия У. а.: для …
84Логика — Гр …
85Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
86Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
87Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
88Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …
89Эрбран, Жак — Жак Эрбран Jacques Herbrand Фотография Жака Эрбрана во время последнего похода в горы Д …
90Проблема разрешимости — Проблема разрешимости  вопрос, сформулированный в рамках какой либо формальной системы, требующий ответа «да» или «нет», возможно, зависящего от значений некоторых входных параметров. Например, проблема «дано два числа x и y, делится ли x на …