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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

Статьи

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

Периодика

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

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

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

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

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

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

   004
   С 56

    Советов, Борис Яковлевич.
    Представление знаний в информационных системах [Текст] : [учеб. для вузов по направлению подгот. "Информ. системы и технологии"] / Б. Я. Советов, В. В. Цехановский, В. Д. Чертовской. - М. : Академия, 2011. - 141, [2] с. : ил. - (Высшее профессиональное образование) (Бакалавриат) (Информатика и вычислительная техника). - ISBN 978-5-7685-6886-2 : 271.00 р.

ГРНТИ	28.23.35
УДК	004.82(075.8)

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

Экземпляры всего: 3
чз№2 (2), кнхр (1)
Свободны: чз№2 (2), кнхр (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
   И 74

    Информатика и ИКТ [Текст] : задачник-практикум : в 2 т. / Л. А. Залогова, М. А. Плаксин, С. В. Русаков [и др.] ; под редакцией И. Семакина, Е. Хеннера. - 3-е изд. - Москва : БИНОМ. Лаборатория знаний, 2011 - . - ISBN 978-5-9963-0475-2.
   Т. 2. - 2011. - 294 с. : табл., ил. - Библиогр.: с. 294 (17 назв.). - ISBN 978-5-9963-0477-6 : 82.00 р.

20.01.33	50.01.33
УДК	004(075.3)

Рубрики: Информатика

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

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

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

   004
   C 34

    Сидоркина, Ирина Геннадьевна.
    Системы искусственного интеллекта [Текст] : [учеб. пособие для вузов по направлению 230100 "Информатика и вычисл. техника"] / И. Г. Сидоркина. - М. : Кнорус, 2011. - 245 с. : ил. - ISBN 978-5-406-00449-4 : 360.00 р.

28.23.01	50.41.21
УДК	004.8(075.8)

Рубрики: Кибернетика

Россия
Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ГРИФ УМО ВУЗОВ ПО УНИВЕРСИТЕТСКОМУ ПОЛИТЕХНИЧЕСКОМУ ОБРАЗОВАНИЮ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- KAPPA (экспертная оболочка) -- CLIPS (инструментальная оболочка) -- ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- НЕЙРОННЫЕ СЕТИ
Экземпляры всего: 88
чз№2 (12), кнхр (1), абунл (75)
Свободны: чз№2 (11), кнхр (1), абунл (75)

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

   Ч23
   И 74


    Информатика [Текст] : Учеб.пособие и сб.задач с решениями [для учащихся 9-11 классов и абитуриентов для подготовки в техн.ун-ты] / Под общ.ред.Каймина В.А. и Муравья Л.А. - М. : Бридж, 1994. - 195 c. - ISBN 5-85959-052-0 : 4400.00:5600.00 р.
На обл.авт.:Каймин В.А.,Питеркин В.М.,Уртминцев А.Г.

20.01.33

ББК 004(075.8) + Ч426.32я7 + Ч480.44р

Кл.слова (ненормированные):
Бейсик -- Пролог (язык программирования)
Доп.точки доступа:
Питеркин, В. М.
Уртминцев, А. Г.
Муравей, Л. А. \ред.\
Каймин, Виталий Адольфович \ред.\

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

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

   681.3.06
   Я 65

    Янсон, Александр
    Турбо-пролог в сжатом изложении [Текст] / Пер. с нем.Н.С.Сойфер;Под ред Ю.А.Бухштаба. - М. : Мир, 1991. - 92 c. - ISBN 5-03-002010-1 : 1.50 р.

УДК

004.438

Кл.слова (ненормированные):
Турбо пролог -- Пролог (язык программирования)
Экземпляры всего: 33
чз№2 (2), абунл (31)
Свободны: чз№2 (2), абунл (28)

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

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

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