После долгого перерыва в магазине снова доступны "Вычислимые функции" — 3-я часть "Лекций по математической логике и теории алгоритмов" Н.К.Верещагина, А.Шеня. https://biblio.mccme.ru/node/365012 Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость,…






