• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • English 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
View Item 
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
1abb03982b2efff5bb3346a03f277221.djvu (5.187Mb)
Date
1983
Author
Катленд Н. (Cutland)
Metadata
Show full item record
Abstract
Книга охватывает основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Геделя о неполноте и Черча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений.Для математиков, специалистов по ЭВМ, желающих ознакомиться с основами машинной математики.
URI
http://ir.nmu.org.ua/handle/GenofondUA/33679
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV