Лекции по математической логике и теории алгоритмов; Ч. 3; Вычислимые функции

Benzer Materyaller

• Т. 2: [сборник]; Исследования по теории алгорифмов и математической логике
  Baskı/Yayın Bilgisi: (1976)
• Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
  Yazar:: Игошин В. И. Владимир Иванович
  Baskı/Yayın Bilgisi: (Москва, Академия, 2005)
• Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.
  Yazar:: Катленд Н. Найджел
  Baskı/Yayın Bilgisi: (Москва, Мир, 1983)
• Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов
  Yazar:: Игошин В. И. Владимир Иванович
  Baskı/Yayın Bilgisi: (Москва, Академия, 2006)
• Теория формальных систем: пер. с англ.
  Yazar:: Смальян Р. Раймонд
  Baskı/Yayın Bilgisi: (Москва, Наука, 1981)