Синтетическая вычислимость: учебное пособие
Описание книги
Излагаются элементы современной теории синтетической вычислимости. Дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиуионистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри, в которых все функции f : N ? f : NN ? N соответственно вычислимы. Для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математ...
Излагаются элементы современной теории синтетической вычислимости. Дается представление об алгоритмах, рекурсивных функциях, интуиционизме, интуиуионистской логике, конструктивной математике, реализуемости Клини, теории категорий, теории топосов, топосе реализуемости и др. Описываются эффективный топос Хайлэнда и рекурсивный топос Малри, в которых все функции f : N ? f : NN ? N соответственно вычислимы. Для студентов и аспирантов факультетов компьютерных наук, информационных технологий и математических факультетов. Книга «Синтетическая вычислимость: учебное пособие» автора А. К. Гуц оценена посетителями КнигоГид, и её читательский рейтинг составил 0.00 из 10.
Для бесплатного просмотра предоставляются: аннотация, публикация, отзывы, а также файлы для скачивания.
- Просмотров: 104
- Рецензий: 0
- Переводчики: не указаны
- Серия: не указана
- ISBN (EAN): 978-5-7779-1977-9
- Языки: не указаны
- Возрастное ограничение: не указано
- Год написания: не указан
Рецензии на книгу
Написано 0 рецензий