Автор: Роджерс 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

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

Название : Рекурсивные функции
Автор: Петер Р.
Издательство: Москва: ИИЛ
Язык: русский
Год: 1954
Формат: djvu
Размер: 2.9 Мб
Страниц: 264

Описание:Понятие обще-рекурсивной функции занимает одно из центральных мест во всех современных исследованиях по конструктивной математике. Поэтому является вполне оправданным желание дать этому понятию возможно более полное освещение. Этой цели и служит книга Р.Петер, где в первых пятнадцати параграфах подробно обсуждаются различные более специальные виды "рекурсивных" способов определения числовых функций, а в следующих за общим определением параграфах излагаются основные свойства класса обще-рекурсивных функций, возможные модификации его определения и значение этого класса для различных проблем конструктивной математики.