«И» «ИЛИ»  
© Публичная Библиотека
 -  - 
Универсальная библиотека, портал создателей электронных книг. Только для некоммерческого использования!
Катленд Найджел
Фотографии

Найджел Катленд 72k

(Nigel Cutland)

()

◄ СМЕНИТЬ   РАЗВЕРНУТЬ ▼
▲ СВЕРНУТЬ    СМЕНИТЬ ►
...английский математик.
Обложки
найджел катленд на страницах библиотеки упоминается 1 раз:
* Катленд Найджел
Обложка 1
  • Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. (Computability. An introduction to recursive function theory, 1980) [Djv- 5.2M] Перевод с английского А.А. Мучника под редакцией С.Ю. Маслова.
    (Москва: Издательство «Мир». Редакция литературы по математическим наукам, 1983)
    Скан, OCR, обработка, формат Djv: ???, предоставил: Михаил, 2013
    • КРАТКОЕ ОГЛАВЛЕНИЕ:
      Предисловие редактора перевода (5).
      Предисловие (7).
      Введение. Предварительные замечания и обозначения (9).
      Глава 1. Вычислимые функции (14).
      Глава 2. Порождение вычислимых функций (33).
      Глава 3. Другие подходы к вычислимости: тезис Черча (56).
      Глава 4. Нумерация вычислимых функций (80).
      Глава 5. Универсальные программы (92).
      Глава 6. Разрешимость, неразрешимость и частичная разрешимость (106).
      Глава 7. Рекурсивные и рекурсивно перечислимые множества (129).
      Глава 8. Арифметика и теорема Геделя о неполноте (152).
      Глава 9. Сводимости и степени (167).
      Глава 10. Эффективные операции на множестве частичных функций (192).
      Глава 11. Вторая теорема о рекурсии (211).
      Глава 12. Сложность вычисления (222).
      Глава 13. Пути дальнейшего изучения (246).
      Словарь обозначений (249).
      Список литературы (252).
Аннотация издательства: Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.
Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами машинной математики.
Обложка 2