Основы теории вычислимых функций

: Литература по курсу
[+]
Опубликован: 16.03.2007 | Доступ: свободный | Студентов: 532 / 43 | Оценка: 4.45 / 4.18 | Длительность: 15:50:00
Тема: Алгоритмы и дискретные структуры
Специальности: Программист, Математик
Теги: beta, алгоритмы, всюду определенные функции, вычисления, вычислимость, вычислительная модель, графика, дополнение множества, одноместная функция, полугруппа, примитивная рекурсия, примитивно рекурсивная функция, процедуры, разрешимые множества, теория, универсальное множество, частично рекурсивная функция, элементы, эффективность
  • 1.
    Дж.Булос, Р.Джеффри
    Вычислимость и логика
    М.:Мир, 1994. 396с
  • 2.
    Ю.Л.Ершов
    Теория нумераций
    М.:Наука, 1977. 416с
  • 3.
    Н.Катленд
    Вычислимость. Введение в теорию рекурсивных функций
    М.:Мир, 1983. 256с
  • 4.
    С.К.Клини
    Введение в метаматематику
    М.:Издательство иностранной литературы, 1957. 526с
  • 5.
    А.И.Мальцев
    Алгоритмы и рекурсивные функции
    М.:Наука, 1965. 392с
  • 6.
    Ю.И.Манин
    Вычислимое и невычислимое
    М.:Советское радио, 1980. 128с
  • 7.
    М.Минский
    Вычисления и автоматы
    М.:Мир, 1971. 366с
  • 8.
    Х.Роджерс
    Теория рекурсивных функций и эффективная вычислимость
    М.:Мир, 1972. 624с
  • 9.
    Дж.Барвайс
    Справочная книга по математической логике в четырёх частях. Часть III. Теория рекурсии
    М.:Наука, 1982. 360с
  • 10.
    В.А.Успенский
    Лекции о вычислимых функциях
    М.:Физматгиз, 1960. 492с
  • 11.
    А.Л.Семёнов, В.А.Успенский
    Теория алгоритмов основные открытия и приложения
    М.:Наука, 1987
  • 12.
    Дж.Шенфилд
    Степени неразрешимости
    М.:Наука, 1977. 192с

Вопросы и ответы

вопросов: 0