Пятый аргумент - Большая Энциклопедия Нефти и Газа, статья, страница 1
Мало знать себе цену - надо еще пользоваться спросом. Законы Мерфи (еще...)

Пятый аргумент

Cтраница 1


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

Мы задействовали стандартный факт-импликацию с восемью аргументами. Тип импликации указан первым аргументом, f - формула. Сама же формула ( реляционное выражение) представлена пятым аргументом в виде строки.  [2]

Их определение имеет вид совместной рекурсии, которую мы только что разобрали. Поэтому эти функции примитивно рекурсивны. Будем считать, что после появления заключительного состоянии конфигурация машины не меняется. Если мы знаем, что число шагов работы ограничено примитивно рекурсивной функцией, то достаточно подставить ее на место пятого аргумента ( числа шагов), чтобы убедиться, что заключительная конфигурация машины является примитивно рекурсивной функцией от ее начальной конфигурации. Следовательно, результат работы является примитивно рекурсивной функций начального данного.  [3]



Страницы:      1