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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

Статьи

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

Периодика

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

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

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

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

Поисковый запрос: (<.>K=КОМБИНАТОРНАЯ ЛОГИКА<.>)

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

Вид документа : Однотомное издание
Шифр издания : 004.4/З-96
Автор(ы) : Зыков С. В.
Заглавие : Введение в теорию программирования : курс лекций : [учеб. пособие для студентов вузов по специальности 351400 "Прикладная информатика"]
Выходные данные : М.: Интернет-Университет Информ. Технологий, 2012
Колич.характеристики :393 с.: ил.
Серия: Основы информационных технологий
Примечания : На обл. кн. год изд.: 2004
ISBN, Цена 978-5-9556-0009-3: 290.00, 290.00, р.
ГРНТИ : 50.05
УДК : 004.4(075.8)
Ключевые слова (''Своб.индексиров.''): лекции--учебные пособия--программирование--гриф умо в области прикладной информатики--языки программирования--комбинаторная логика--ламбда-исчисление--абстрактные машины--объектно-ориентированное программирование--c# (язык программирования)--net--microsoft net
Экземпляры : всего : чз№2(4), кнхр(1)
Свободны : чз№2(4), кнхр(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 004.4/С 32
Автор(ы) : Сергиевский, Георгий Максимович, Волченков, Николай Геннадьевич
Заглавие : Функциональное и логическое программирование : [учеб. пособие для вузов по направлению "Информатика и вычисл. техника"]
Выходные данные : М.: Академия, 2010
Колич.характеристики :317, [1] с.: ил.
Серия: Высшее профессиональное образование .
Информатика и вычислительная техника
ISBN, Цена 978-5-7695-6433-8: 482.00, 482.00, р.
ГРНТИ : 50.05
УДК : 004.4(075.8)
Ключевые слова (''Своб.индексиров.''): гриф умо вузов по университетскому политехническому образованию--учебные пособия--интернет-ресурсы--трансформации компьютерных программ--комбинаторная логика--функциональное программирование--лисп--haskell--логическое программирование--лямбда-исчисления--пролог (язык программирования)--частичные вычисления
Экземпляры : всего : чз№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)
Найти похожие

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

Статистика за 01.06.2024
Число запросов	44089
Число посетителей	999
Число заказов	0