Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Автор:Верещагин Н.К. Год: 2012 Издание:МЦНМО, Московский центр непрерывного математического образования (МЦНМО) Страниц: [не указано] ISBN: 9785443900148 Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные...