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