Теория рекурсивных функций и эффективная вычислимость

Похожие документы

• Вычислимость. Введение в теорию рекурсивных функций
  по: Катленд, Найджел
  Публикация: (1983)
• Классы элементарных рекурсивных функций
  по: Марченков, Сергей Серафимович
  Публикация: (2017)
• Определимость и вычислимость
  по: Ершов, Юрий Леонидович 1940-
  Публикация: (1996)
• Аналитическая вычислимость сумм произведения показательных и степенных функций
  по: Сущенко, Сергей Петрович
• Основания интуиционистской математики с точки зрения теории рекурсивных функций
  по: Клини, Стивен Коул 1909-1994
  Публикация: (1978)