Автор: Роджерс X.
Название: Теория рекурсивных функций и эффективная вычислимость. Theory Of Recursive Functions And Effective Computability
Издательство: М.: Мир
Год: 1972
Язык: Русский
Формат: djvu
Размер: 21,8 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 624

Описание: Книга написана с большим педагогическим тактом и содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений теории рекурсивных функций. Формальному изложению часто предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий и проводимых построений.

Автор: Морозов А.С.
Название: Введение в вычислимость. Учебное пособие
Издательство: Новосибирск: НГУ
Год: 2005
Язык: Русский
Формат: djvu
Размер: 15,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 114, нет стр. 108

Описание: Обязательным условием вычислимости или результативности вычисления является её алгоритмическая разрешимость. В этом смысле понятие разрешимости является также основным понятием в теории алгоритмов. Если для решения задачи, принадлежащей единому классу задач, найден алгоритм вычисления, то о задаче говорят как об алгоритмически разрешимой проблеме.

Автор: Гуц А.К.
Название: Синтетическая вычислимость: учебное пособие
Издательство: Омск: ОмГУ
Год: 2016
ISBN: 978-5-7779-1977-9
Язык: Русский
Формат: djvu
Размер: 12,5 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 152

Описание: Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.