Зарегистрироваться
Восстановить пароль
FAQ по входу

Петер Р. Рекурсивные функции

  • Файл формата djvu
  • размером 2,85 МБ
  • Добавлен пользователем , дата добавления неизвестна
  • Описание отредактировано
Петер Р. Рекурсивные функции
Издательство Иностранной литературы, Москва 1954 год.
Перевод с немецкого: В. А. Успенского
Под редакцией и с предисловием А. Н. Колмогорова
Переход от n к n+1 как способ определения теоретико-числовых функций
Рекурсивные функции и отношения
Возвратная рекурсия
Одновременная рекурсия
Рекурсия, при которой производится подстановка некоторой функции на место параметра
Рекурсия по многим переменным
Дальнейшие упрощения
Элементарные функции
Пример теоретико-числовой функции, не являющейся примитивно рекурсивной
Рекурсия со вставками
Диагональный метод и многократные рекурсии
Трасфинитные рекурсии
Рекурсии высших ступеней
Нормальная форма многократных рекурсий
"Гёделизация" рекурсий высших ступеней
Обще-рекурсивные функции
Явная форма обще-рекурсивных функций
Возможности дальнейшего упрощения явной формы
Пример функции, не являющейся обще-рекурсивной
Вычислимые функции
История и приложения
Невозможность эффективного решения проблемы: какие системы равенств определяют обще-рекурсивные функции
Вопрос общей разрешимости арифметических проблем
Расширения понятия рекурсивности. Применения к анализу
Литература
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация

Смотри также

Подробнее

Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы

  • djvu
М.: Наука, 1963. — 556 с. Настоящая книга рассчитана на широкий круг читателей, работающих в области автоматики, телемеханики и вычислительной техники и впервые знакомящихся с теорией конечных автоматов и последовательностных машин. Авторы имели в виду также, что книга должна быть полезна для математика (не логика), стремящегося познакомиться с этими проблемами, а также для...
  • 5,45 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Головешкин В.А., Ульянов М.В. Теория рекурсии для программистов

  • djvu
М.: Физматлит, 2006. — 296 с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии, и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных...
  • 7,44 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Дорф Р., Бишоп Р. Современные системы управления

  • djvu
Пер. с англ. Б. И. Копылова. — М.: Лаборатория базовых знаний, 2002. — 832 с. — ISBN 5-93208-119-8. В книге излагаются методы анализа и синтеза современных систем автоматического управления (САУ). Показано, как с использованием принципа обратной связи могут быть созданы высокоэффективные системы управления различного назначения (аэрокосмическая техника, промышленные работы,...
  • 12,21 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Катленд Н. Вычислимость. Введение в теорию рекурсивных функций

  • djvu
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков,...
  • 4,47 МБ
  • дата добавления неизвестна
  • описание отредактировано
Подробнее

Мальцев А.И. Алгоритмы и рекурсивные функции

  • djvu
М.: «Наука», 1965. — 394 с. Скан, OCR слой. Еще в 30-х годах нашего столетия математическая логика и возникавшая тогда теория алгоритмов казались наиболее абстрактными и наиболее далекими от практических приложений математическими дисциплинами. В настоящее время положение коренным образом изменилось. Ныне общепризнано, что обе названные дисциплины образуют теоретический...
  • 5,63 МБ
  • добавлен
  • описание отредактировано
Подробнее

Рассел С., Норвиг П. Искусственный интеллект. Современный подход

  • djvu
2-е изд. — М.: Вильямс, 2007. — 1410 с. — ISBN 5-8459-0887-2, 0-13-790395-2, 978-5-8459-0887-2. В книге представлены все современные достижения и изложены идеи, которые были сформулированы в исследованиях, проводившихся в течение последних пятидесяти лет, а также собраны на протяжении двух тысячелетий в областях знаний, ставших стимулом к развитию искусственного интеллекта как...
  • 17,39 МБ
  • дата добавления неизвестна
  • описание отредактировано
Наверх