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

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

Bu fayl PDF formatida 159 sahifadan iborat (1,1 MB). "лекции по математической логике и теории алгоритмов"ni yuklab olish uchun chap tomondagi Telegram tugmasini bosing.