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

Базы данных


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

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

    Ершов, Ю. Л.
    Математическая логика [Текст] : учебное пособие для вузов / Ершов Ю.Л., Палютин Е.А., 2-е изд., испр. и доп. - М. : Наука, 1987. - 336с. - 2 р.
ББК 22.12
Рубрики: Математика--математическая логика
Кл.слова (ненормированные):
высказывание -- математическая логика -- исчисление -- множество -- истинность -- предикат -- модель -- доказательство -- алгоритм -- функция -- рекурсивная



Соавторы:
Палютин, Е.А.
Экз-ры: чзт(1), аб(1)

” Цитировать
Найти похожие
2.
   32.973
   Х38

    Хендерсон, П.
    Функциональное программирование. Применение и реализация [Текст] / Пер. с англ. Л. Петровой; Под ред. А. Ершова. - М. : Мир, 1983. - 349с. - (Математическое обеспечение ЭВМ). - 1.00 р.
ББК 32.973
Рубрики: Компьютеры--программирование
Кл.слова (ненормированные):
функциональное программирование -- символьные данные -- запись -- анализ -- архитектура -- база данных -- ввод дексем -- программа перевода -- хранение списков -- хранение строк -- сборщик мусора -- компилятор -- система -- отладка -- поиск -- сеть -- рекурсивная функция

Экз-ры:

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

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

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

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