Ebook: Синтетическая вычислимость: учебное пособие

Излагаются элементы современной теории синтетической вычислимости. Дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиуионистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри, в которых все функции f : N ? f : NN ? N соответственно вычислимы. Для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математических факультетов.