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

Главная

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

Описание

Базы данных

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

Вид поиска

Книги

Статьи

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

Периодика

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

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

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

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

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

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

   004.4
   М 27

    Марков, Виталий Николаевич.
    Современное логическое программирование на языке Visual Prolog 7.5 [Текст] : [учебник по направлениям "Прикладная информатика", "Программная инженерия"] / В. Н. Марков. - Санкт-Петербург : БХВ-Петербург, 2016. - 541 с. : ил. - (Учебная литература для вузов). - 700 экз.. - ISBN 978-5-9775-3487-1 : 1382.00 р.

ГРНТИ	50.05.09
УДК	004.438(075.8)

Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- VISUAL Prolog 7.5 -- УЧЕБНИКИ -- ГРИФ ФГБОУ ВПО МОСКОВСКОГО ГОСУДАРСТВЕННОГО ТЕХНОЛОГИЧЕСКОГО УНИВЕРСИТЕТА СТАНКИН -- ОБЪЕКТНО-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ -- СИМВОЛЬНЫЕ ПРЕОБРАЗОВАНИЯ
Экземпляры всего: 3
чз№2 (2), кнхр (1)
Свободны: чз№2 (2), кнхр (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.4
   Ч-51

    Чесноков, Сергей Евгеньевич.
    Функциональное и логическое программирование [Текст] : лаб. практикум / С. Е. Чесноков. - Йошкар-Ола : МарГТУ, 2005. - 239 c. : ил. - 32.47 р.

50.05
УДК	004.4(076.5)

Кл.слова (ненормированные):
Программирование функциональное -- Программирование логическое -- Лабораторные практикумы -- Функциональное программирование -- Логическое программирование
Экземпляры всего: 51
чз№2 (3), кнхр (1), абунл (47)
Свободны: чз№2 (3), кнхр (1), абунл (47)

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

   51
   Л 69


    Логический подход к искусственному интеллекту [Текст] : от классической логики к логическому программированию / [А. Тейз, П. Грибомон, Ж. Луи и др.] ; Пер. с фр. П.П. Пермякова. - М. : Мир, 1990. - 429 c. - ISBN 5-03-001636-8 : 2.90 р.

УДК

004.8

510.6

Кл.слова (ненормированные):
Логика -- Логическое программирование -- Программирование логическое -- Искусственный интеллект
Доп.точки доступа:
Тейз, А.
Грибомон, П.
Луи, Ж.
Снийерс, Д.
Водон, П.
Гоше, П.
Грегуар, Э.
Санчес, Э.
Дельсарт, Ф.
Гаврилов, Г. П. \ред.\

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

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

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

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