Информационно-библиотечный центр Поволжского государственного технологического университета

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Статьи

Полные тексты изданий ПГТУ

Периодика

Авторефераты и диссертации

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=комбинаторная логика<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

   004.4
   З-96

    Зыков, С. В.
    Введение в теорию программирования [Текст] : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"] / С. В. Зыков ; при поддержке Microsoft Research, Ltd. - М. : Интернет-Университет Информ. Технологий, 2012. - 393 с. : ил. - (Основы информационных технологий). - ISBN 978-5-9556-0009-3 : 290.00 р.
На обл. кн. год изд.: 2004

ГРНТИ	50.05
УДК	004.4(075.8)

Кл.слова (ненормированные):
ЛЕКЦИИ -- УЧЕБНЫЕ ПОСОБИЯ -- ПРОГРАММИРОВАНИЕ -- ГРИФ УМО В ОБЛАСТИ ПРИКЛАДНОЙ ИНФОРМАТИКИ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- КОМБИНАТОРНАЯ ЛОГИКА -- ламбда-исчисление -- АБСТРАКТНЫЕ машины -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- C# (язык программирования) -- NET -- MICROSOFT NET
Экземпляры всего: 5
чз№2 (4), кнхр (1)
Свободны: чз№2 (4), кнхр (1)

Найти похожие

   004.4
   С 32

    Сергиевский, Георгий Максимович.
    Функциональное и логическое программирование [Текст] : [учеб. пособие для вузов по направлению "Информатика и вычисл. техника"] / Г. М. Сергиевский, Н. Г. Волченков. - М. : Академия, 2010. - 317, [1] с. : ил. - (Высшее профессиональное образование) (Информатика и вычислительная техника). - ISBN 978-5-7695-6433-8 : 482.00 р.

ГРНТИ	50.05
УДК	004.4(075.8)

Кл.слова (ненормированные):
ГРИФ УМО ВУЗОВ ПО УНИВЕРСИТЕТСКОМУ ПОЛИТЕХНИЧЕСКОМУ ОБРАЗОВАНИЮ -- УЧЕБНЫЕ ПОСОБИЯ -- ИНТЕРНЕТ-РЕСУРСЫ -- трансформации компьютерных программ -- комбинаторная логика -- ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ -- Лисп -- Haskell -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ЛЯмбда-исчисления -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ЧАСТИЧНЫЕ вычисления
Доп.точки доступа:
Волченков, Николай Геннадьевич

Экземпляры всего: 6
чз№2 (5), кнхр (1)
Свободны: чз№2 (4), кнхр (1)

Найти похожие

   004
   В 72

    Вольфенгаген, Вячеслав Эрнстович.
    Аппликативные вычислительные технологии [Текст] : готовые решения для инженера, преподавателя, аспиранта, студента / В. Э. Вольфенгаген ; [под ред. Л. Ю. Исмаиловой]. - М. : ЮрИнфоР, 2009. - 63, [1] c. : ил. - (Библиотека "ЮрИнфоР") (Перспективный компьютинг как наука и профессия). - ISBN 978-5-903678-04-4 : 50.00 р.

50.39
УДК	004

Кл.слова (ненормированные):
Компьютинг -- КОМБИНАТОРНАЯ логика -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
Доп.точки доступа:
Исмаилова, Л. Ю. \ред.\

Экземпляры всего: 1
кнхр (1)
Свободны: кнхр (1)

Найти похожие

Тематический навигатор

Статистика за 17.05.2024
Число запросов	31545
Число посетителей	1036
Число заказов	0