лекции по математической логике и теории алгоритмов

лекции по математической логике и теории алгоритмов н. к. верещагин, а. шень вычислимые функции издание четвёртое, исправленное москва издательство мцнмо, 2012 удк 510.5 ббк 22.12 в31 верещагин н.к., шень а. в31 лекции по математической логике и теории алгоритмов. часть 3. вычислимые функции. — 4-е изд., исправленное. — м.: мцнмо, 2012. — 160 c. isbn 978-5-4439-0014-8 книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата мгу. в ней рассказы- вается об основных понятиях общей теории вычислимых функций (вычис- лимость, разрешимость, перечислимость, универсальные функции, нуме- рации и их свойства, m-полнота, теорема о неподвижной точке, арифме- тическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительны...

This file contains 159 pages in PDF format (1.1 MB). To download "лекции по математической логике и теории алгоритмов", click the Telegram button on the left.