Вид документа : Шифр издания : 32.811/К 59 Автор(ы) : Козен Д.С. Заглавие : Есептеу теориясы : оқулық. 2 бөлім . -Жаңа басылым Выходные данные : Алматы: Полиграф, 2014 Колич.характеристики :320 с ISBN, Цена 978-601-7427-51-1: 2710, р. ГРНТИ : 20 УДК : 51 ББК : 32.811 Предметные рубрики: Информатика-- есептеу теориясы Ключевые слова (''Своб.индексиров.''): есептеу теориясы--теория вычислений--тод теоремасы--теорема тода--рекурсия теоремасының қолданысы--применение теоремы рекурсии--фридберг-мучник теоремасы--клин теоремасы--pspace=ph--аналитикалық иерархия--әділетті тоқтау және харсел теоремасы--справедливая остановка и теорема харсела--арифметикалық иерархия--абстракциялы күрделілік--абстракционная сложность--дербес рекурстивті функция және гёдел нөмірлеуі--автономная рекурсивная функция и нумерация геделя--айырмашылық жайлы теорема және басқа патология--теорема о разнице и другая патология--алмастыра қосу жайлы лемма--лемма о добавлении замены Экземпляры : всего : чз(2), аб(1) Свободны : чз(2), аб(1) |