Название: Синтетическая вычислимость: учебное пособие
Автор: Гуц А.К.
Издательство: Омск: ОмГУ
Год: 2016
Страниц: 152
Формат: djvu
Размер: 12,5 Мб
Язык: Русский
Представление самых различных способов построения синтетических миров с синтетической вычислимостью и изучение отдельных их свойств было основной задачей автора. В этой книге строятся синтетические миры, которые являются топосами. В пособии дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиционистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри. Излагаются элементы современной теории синтетической вычислимости. Учебное пособие для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математических факультетов.