Теорема Клини о неподвижной точке - инструмент исследования в теории рекурсивных функций, способ доказательства с помощью языка с дополнительной процедурой "получить текст программы"; классический пример применения теоремы в языке программирования.
06.05.2011 |
Увлекательное |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 83
