тарф методичка с сдо3
.pdfТогда вычисление на машине Тьюринга М заканчивается за некоторое конечное число k шагов, причем c(y,k) – наименьшее значение z, для которого
( |
) |
, следовательно, |
|
F( |
|
)=0 и |
|
( |
, ( |
) |
-). |
Получается условное равенство |
|||
( |
) |
( |
), |
следовательно условие (2) из определения 8 тоже выполнено.
63
СПИСОК ИСТОЧНИКОВ И ЛИТЕРАТУРЫ
1.Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука,
1986. – 368 с.
2.Крупский В.Н., Плиско В.Е. Математическая логика и теория алгоритмов. – М.: Академия, 2013. – 416 с.
3.Мендельсон Э. Введение в математическую логику. – М.: Наука,
1984. – 320 с.
4.Яблонский С.В. Введение в дискретную математику. - М.: Высш.
Школа, 2002. – 384 с.
5.Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. – М.: Наука, 2006. – 416 с.
64
СВЕДЕНИЯ ОБ АВТОРАХ
Людковский Сергей Викторович, доктор физико-математических наук, доцент, профессор кафедры прикладной математики Института информационных технологий РТУ МИРЭА.
Дзержинский Роман Игоревич, кандидат технических наук, доцент, заведующий кафедрой прикладной математики Института информационных технологий РТУ МИРЭА.
65