Показать сокращенную информацию
Проблемы разрешимости и конструктивные модели
dc.contributor.author | Ершов Ю.Л. | |
dc.date.accessioned | 2016-02-22T11:42:46Z | |
dc.date.available | 2016-02-22T11:42:46Z | |
dc.date.issued | 1980 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/54108 | |
dc.description.abstract | Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги). | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Проблемы разрешимости и конструктивные модели | |
dc.type | other | |
dc.identifier.aich | JBFNBNNBRR6IJBDLGA23MIZIMGYEKPYQ | |
dc.identifier.crc32 | 0E7F44D5 | |
dc.identifier.doi | ||
dc.identifier.edonkey | DB46FF5590CC6C1E4B16F083FCED4096 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 4584 | |
dc.identifier.md5 | 7EC329832E4DCB81D665E7F66A46AC19 | |
dc.identifier.sha1 | L6GOZTN5HKGNBRH252GOHALX3FZKSNKN | |
dc.identifier.tth | 4MRJVBXLA6YZFSYIM4NCLDG336TOTTEEIPWCWSA |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]