Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основные классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения включения между ними. Получены разнообразные канонические представления элементарных функций, указаны эффективные операции, сохраняющие элементарность функций, получены оценки сложности вычисления элементарных функций. Книга адресована студентам и аспирантам математических факультетов, изучающим теорию алгоритмов.
Ограниченно арифметические предикаты и класс М.
Вводятся и исследуются ограниченно арифметические и рудиментарные предикаты. Устанавливаются канонические представления предикатов. Доказывается, что класс ограниченно арифметических предикатов совпадает с классом рудиментарных предикатов. На основе ограниченно арифметических предикатов определяется класс элементарных функций М.
Оглавление.
Предисловие.
Глава I.Ограниченно арифметические предикаты и класс М.
Глава II.Функции, элементарные по Сколему, и классы Гжегорчика.
Глава III.Машинное описание классов.
Список литературы.
Предметный указатель.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Элементарные рекурсивные функции, Марченков С.С., 2003 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу, если она есть в продаже, и похожие книги по лучшей цене со скидкой с доставкой по всей России.Купить книги
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: Марченков :: книги по математике :: математика
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
Предыдущие статьи:
