Элементарные рекурсивные функции, Марченков С.С., 2003

Элементарные рекурсивные функции, Марченков С.С., 2003.

Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения включения между ними. Получены разнообразные канонические представления элементарных функций, указаны эффективные операции, сохраняющие элементарность функций, получены оценки сложности вычисления элементарных функций. Книга адресована студентам и аспирантам математических факультетов, изучающим теорию алгоритмов.




Ограниченно арифметические предикаты и класс М.
Вводятся и исследуются ограниченно арифметические и рудиментарные предикаты. Устанавливаются канонические представления предикатов. Доказывается, что класс ограниченно арифметических предикатов совпадает с классом рудиментарных предикатов. На основе ограниченно арифметических предикатов определяется класс элементарных функций М.

Оглавление.
Предисловие.     
Глава I.Ограниченно арифметические предикаты и класс М.
Глава II.Функции, элементарные по Сколему, и классы Гжегорчика.
Глава III.Машинное описание классов.
Список литературы.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Элементарные рекурсивные функции, Марченков С.С., 2003 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: Марченков :: книги по математике :: математика