Автор: Соар Р.И.
Название: Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств. Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computable Generated Sets
Издательство: Казань: Казанское математическое общество
Год: 2000
ISBN: 5-900975-22-3
Язык: Русский
Формат: djvu
Размер: 24,3 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 576
Описание: Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. В книге систематически излагается современное состояние теории вычислимости, приводятся открытые проблемы и описываются перспективные направления исследований. Некоторые параграфы в частях А, В и С могут использоваться для семестрового или годового курса лекций. Материал книги дополнен большим количеством упражнений. Хотя большая часть книги и не предполагает знакомства с логикой, читателю будет полезно её знание. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории вычислимости.
Скачать книгу ‘Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств‘
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.