Научная Библиотека Пермского Государственного Университета

Главная

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

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

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

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

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

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

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

   681
   Д 706


    Достоверный и правдоподобный вывод в интеллектуальных системах : учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и информатика" / В. Н. Вагин [и др.] ; ред.: В. Н. Вагин, Д. А. Поспелова. - Изд. 2-е, испр. и доп. - Москва : ФИЗМАТЛИТ, 2008. - 710, [1] с. - Библиогр.: с. 648-678. - Предм. указ.: с. 679-710. - ISBN 978-5-9221-0962-8 : 496.80 р., 496.80 р.

ГРНТИ	20.15.05
УДК	681.518	519.816](075.8)

Рубрики: Информационные системы--Учебные издания для высших учебных заведений
Кл.слова (ненормированные):
ИНТЕЛЛЕКТУАЛЬНЫЕ СИСТЕМЫ -- ГРАФЫ СВЯЗЕЙ -- МОДАЛЬНАЯ ЛОГИКА -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)

Доп.точки доступа:
Вагин, Вадим Николаевич; Головина, Елена Юрьевна; Загорянская, Анастасия Анатольевна; Фомина, Марина Владимировна; Вагин, В. Н. \ред.\; Поспелова, Д. А. \ред.\
Экземпляры всего: 2
Х (1), ЧЗЕ (1)
Свободны: Х (1), ЧЗЕ (1)
Найти похожие

   517
   Г 858

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов : учебное пособие для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. : ил. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 140.00 р., 112.20 р.

ГРНТИ	27.03.19	27.03.17
УДК	510.6	510.51](075.8)

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

Доп.точки доступа:
Потоцкий, Сергей Иванович
Экземпляры всего: 11
Х (1), ЧЗЕ (1), АБУ (9)
Свободны: Х (1), ЧЗЕ (1), АБУ (9)
Найти похожие

   681
   Б 874

    Братко, И.
    Программирование на языке Пролог для искусственного интеллекта [] / И. Братко ; пер.: А. И. Лупенко, А. М. Степанов ; ред. А. М. Степанов. - Москва : Мир, 1990. - 560 с. : ил. - 3.50 р., 3.50 р.

ГРНТИ	20
УДК	004.432.4.047Prolog

Рубрики: Информатика. Программирование
Кл.слова (ненормированные):
Пролог (язык программирования) -- Языки программирования -- искусственный интеллект

Доп.точки доступа:
Лупенко, А. И. \пер.\; Степанов, А. М. \пер.\; Степанов, А. М. \ред.\
Экземпляры всего: 3
ЧЗЕ (1), Х (1), АБН (1)
Свободны: ЧЗЕ (1), Х (1), АБН (1)
Найти похожие

   681
   Д 679

    Доорс, Джим.
    Пролог - язык программирования будущего / Д. Доорс, А. Р. Рейблен, С. Вадера; пер. англ. и предисл. А. Н. Волкова. - Москва : Финансы и статистика, 1990. - 142 с. : ил. - Библиогр.: с. 134. - Предм. указ.: с. 135-139. - ISBN 5-279-00444-8 : 1.10 р., 1.10 р.

ГРНТИ	50.05.09
УДК	004.432.4.047Prolog

Рубрики: Непроцедурные языки
Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ)

Доп.точки доступа:
Рейблен, Алан Р.; Вадера, Сьюнил; Волков, А. Н. \пер., авт. предисл.\
Экземпляры всего: 3
Х (1), АБН (2)
Свободны: Х (1), АБН (2)
Найти похожие

   681
   К 502

    Клоксин, Уильям.
    Программирование на языке Пролог : [учебное пособие] : перевод с английского / У. Клоксин, К. Меллиш ; пер.: А. В. Горбунов, М. А. Комаров ; ред.: А. К. Платонов, Ю. М. Лазутин. - Москва : Мир, 1987. - 336 с. - (Математическое обеспечение ЭВМ). - Предм. указ.: с. 335-336. - 1.30 р.

ГРНТИ	50.05.09
УДК	004.432.4Prolog

Рубрики: Непроцедурные языки--Учебные издания
Кл.слова (ненормированные):
ПРОЛОГ (ЯЗЫК ПРОГРАММИРОВАНИЯ) -- ЦИФРОВЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ (ПРОГРАММИРОВАНИЕ) -- ВЫЧИСЛИТЕЛЬНЫЕ МАШИНЫ НА БОЛЬШИХ ИНТЕГРАЛЬНЫХ СХЕМАХ

Доп.точки доступа:
Меллиш, Кристофер; Горбунов, А. В. \пер.\; Комаров, М. А. \пер.\; Платонов, А. К. \ред.\; Лазутин, Ю. М. \ред.\
Экземпляры всего: 1
АБУ (1)
Свободны: АБУ (1)
Найти похожие

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

Статистика обращений

Статистика за 07.08.2024
Число запросов	34130
Число посетителей	472
Число заказов	0

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