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

Базы данных


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

Вид поиска
Книжный фонд
Статьи
Электронные библиотеки
Периодические издания
Магистерские диссертации
Полнотекстовые электронные издания
Сайты журналов
Труды ученых ИнЕУ
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>A=Козен, Д. С.$<.>
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
   32.811
   К 59

    Козен, Д. С.
    Есептеу теориясы [Текст] : оқулық. 1-бөлім / Д. С. Козен. - Алматы : Полиграф, 2013. - 247 с. - ISBN 978-601-7427-12-2 : 2601 р.
ББК 32.811
Рубрики: Информатика--есептеу теориясы
Кл.слова (ненормированные):
есептеу теориясы -- теория информации -- Тьюринг машинасы -- программа -- Berlekamp алгоритмі -- интерактивті дәлелдеу -- PSPACE IP -- PCP жайлы -- логикалы Crash Course -- шексіз тізбе автоматы -- SIS -- автоматтар -- математическое программирование -- языки программирования -- компьютер

Экз-ры: чз(1)

” Цитировать
Найти похожие
2.
   32.811
   К 59

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

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

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