| 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 | |
