Сайт ИнЕУ Упрощенный режим О Библиотеке Руководство пользователя
Авторизация
Логин
Пароль
 

Базы данных


Книжный фонд - результаты поиска

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: <.>K=әділетті тоқтау және Харсел теоремасы<.>
Общее количество найденных документов : 1
1.

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