• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • українська 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Ввійти
Перегляд матеріалів 
  •   Головна сторінка DSpace
  • Genofond
  • Libgen
  • Перегляд матеріалів
  •   Головна сторінка DSpace
  • Genofond
  • Libgen
  • Перегляд матеріалів
JavaScript is disabled for your browser. Some features of this site may not work without it.

Теория рекурсивных функций и эффективная вычислимость

Thumbnail
Переглянути
850b8eedb0275f46108f7cce2b41b79f.djvu (6.677Mb)
Дата
1972
Автор
Роджерс Х. (авт.); Душский В.А., Канович М.И., Ногина Е.Ю. (перевод с англ.); Успенский В.А. (ред.)
Metadata
Показати повний опис матеріалу
Короткий опис(реферат)
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений. Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.
URI
http://ir.nmu.org.ua/handle/GenofondUA/56066
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакти | Зворотній зв'язок
Theme by 
Atmire NV
 

 

Перегляд

Всі матеріалиФонди та колекціїЗа датою публикаціїАвториЗаголовкиТемиКолекціяЗа датою публикаціїАвториЗаголовкиТеми

Мій профіль

ВвійтиЗареєструватися

DSpace software copyright © 2002-2016  DuraSpace
Контакти | Зворотній зв'язок
Theme by 
Atmire NV