В математике топос в теории категорий — это тип категорий, по своим свойствам напоминающих и обобщающих категорию множеств. Топосы используются в геометрии, топологии, математической логике, информатике. В этой книге строятся синтетические миры, которые являются топосами. В пособии дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиционистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри. Излагаются элементы современной теории синтетической вычислимости. Учебное пособие для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математических факультетов.
Теория алгоритмов: основные открытия и приложения Название: Теория алгоритмов: основные открытия и приложения Автор: Успенский В.Д., Семенов А.Л. Издательство: М.: Наука Год: 1987 Серия: Библиотечка...
Теория топосов Название: Теория топосов Автор: Джонстон П.Т. Издательство: М.: Наука Год: 1986 Формат: pdf Страниц: 440 Размер: 15 mb Язык: Русский В книге...
Введение в метаматематику Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год издания: 1957 Страниц: 524 Язык: Русский Формат:...
Навигация
Вход на сайт
Реклама
Синтетическая вычислимость 
