dc.contributor.author | Козмидиади В.А. (ред.), Мучник А.А. (ред.) | |
dc.date.accessioned | 2016-02-22T12:14:19Z | |
dc.date.available | 2016-02-22T12:14:19Z | |
dc.date.issued | 1970 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/54744 | |
dc.description.abstract | Сборник содержит работы по актуальным проблемам математической логики, еще не получившим достаточного освещения в отечественной литературе. Эти работы посвящены оценкам сложности алгоритмов и вычислений, классификациям рекурсивных функций и различным типам вычислительных устройств, связанных с такими классификациями. В частности, значительное место занимают исследования «ограниченных» машин Тьюринга и обобщений конечных автоматов. В ряде работ изучаются множества слов, распознаваемых обобщенными автоматами, причем обнаруживаются связи с грамматиками, введенными в работах Н. Хомского.Книга рассчитана на лиц, интересующихся современными проблемами математической логики, теории алгоритмов, теории автоматов, математической лингвистики и теории вычислительных машин. | |
dc.language.iso | Russian | |
dc.publisher | Мир | |
dc.subject | Математика\\Прикладная математика | |
dc.subject | Mathematics\\Applied Mathematicsematics | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Проблемы математической логики: сложность алгоритмов и классы вычислимых функций | |
dc.type | other | |
dc.identifier.aich | M337OXQUT2724TU3E3GE6S4N2HXVDPQJ | |
dc.identifier.crc32 | 0176B0F8 | |
dc.identifier.doi | | |
dc.identifier.edonkey | EB356C45763FB653BF829FED9DBBF07C | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 1214394 | |
dc.identifier.md5 | 7dba9fc6a23b0630b9320acba728082d | |
dc.identifier.sha1 | UGQS4BFJUQ7Y7HHFRZWQ5WSUE23FZKMM | |
dc.identifier.tth | HWQZZJ4QABOGH3H62F2G2SDSXIEJYXKWWARET4I | |