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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: <.>K=Клин теоремасы<.>
Общее количество найденных документов : 1
1.
   32.811
   К 59


    Козен, Д. С.
    Есептеу теориясы [Текст] : оқулық. 2 бөлім / Д. С. Козен. - Жаңа басылым. - Алматы : Полиграф, 2014. - 320 с. - ISBN 978-601-7427-51-1 : 2710 р.
ГРНТИ
УДК
ББК 32.811
Рубрики: Информатика--есептеу теориясы
Кл.слова (ненормированные):
есептеу теориясы -- теория вычислений -- Тод теоремасы -- Теорема Тода -- рекурсия теоремасының қолданысы -- применение теоремы рекурсии -- Фридберг-Мучник теоремасы -- Клин теоремасы -- PSPACE=PH -- аналитикалық иерархия -- әділетті тоқтау және Харсел теоремасы -- Справедливая остановка и теорема Харсела -- арифметикалық иерархия -- абстракциялы күрделілік -- абстракционная сложность -- Дербес рекурстивті функция және Гёдел нөмірлеуі -- Автономная рекурсивная функция и нумерация Геделя -- айырмашылық жайлы теорема және басқа патология -- теорема о разнице и другая патология -- алмастыра қосу жайлы лемма -- Лемма о добавлении замены

Экз-ры: чз(2), аб(1)

” Цитировать
Найти похожие

 




© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)