Библиотека ТУСУРа

Базы данных

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

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

Найдено в других БД:

Основная база библиотеки (47)

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

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

Поисковый запрос: (<.>K=ПРОЛОГ<.>)

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

1-20 21-40 41-47

004
А 161

    Абрамов, Игорь Анатольевич.
    Программирование на языке Пролог [Текст] : учебное пособие / И. А. Абрамов ; Пензенский государственный педагогический университет им. В. Г. Белинского (Пенза). - Пенза : ПГПУ, 2011. - 116 с. - 395.01 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.432.4 Пролог(075)
~РУБ 004

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

Имеются экземпляры в отделах: счз1 (3 экз.), аунл (7 экз.)
Свободны: счз1 (3), аунл (7)
Постоянная гиперссылка

004
Б 535

    Бессмертный, Игорь Александрович.
    Системы искусственного интеллекта [Электронный ресурс] : учебное пособие для вузов / И. А. Бессмертный ; рец. Д. В. Пузанков. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 120. - ISBN 978-5-534-07467-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ЛАБОРАТОРНЫЕ РАБОТЫ -- ВИДЕОМАТЕРИАЛЫ -- РЕКУРСИИ -- ПРОЛОГ -- ПРОГРАММИРОВАНИЕ -- ЛОГИКА -- НЕЙРОННЫЕ СЕТИ -- СЕМАНТИЧЕСКИЕ СЕТИ -- ПРЕДИКАТЫ

Доп.точки доступа:
Пузанков, Д. В. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/sistemy-iskusstvennogo-intellekta-451721#page/1
Постоянная гиперссылка

821.161.1
Б 830

   Боровик, Генрих Аверьянович
    Избранное : в 2-х т. / Г. А. Боровик ; ред. Т. Костина ; худож. В. Медведев. - М. : Молодая гвардия, 1988. - ISBN 5-235-00127-3.
   Т. 1 / авт. предисл. Г. Анджапаридзе. - 656 с. : ил. - ). - ISBN 5-235-001126-5 (Т. 1) (в пер.) : 02.70 р.
    Содержание:
Пролог : роман-эссе. - С .11
Как я был корреспондентом "Эсквайра" : очерк. - С .519
Момент истины : повесть. - С .557

    Коды, Ключ.слова, Доп.точки доступа
УДК
821.161.1-3
~РУБ 821.161.1

Кл.слова (ненормированные):
ХУДОЖЕСТВЕННАЯ ЛИТЕРАТУРА -- РУССКАЯ ЛИТЕРАТУРА -- РОМАНЫ -- ПОВЕСТИ -- ОЧЕРКИ -- 20 ВЕК
Доп.точки доступа:
Костина, Т. \ред.\
Медведев, В. \худож.\
Анджапаридзе, Г. \авт. предисл.\

Имеются экземпляры в отделах: , ахл (1 экз.)
Свободны: ахл (1)
Постоянная гиперссылка

821.161.1
Б 830

    Боровик, Генрих Аверьянович.
    Пролог : роман-эссе / Г. А. Боровик ; ред. В. Г. Клименко ; худож. Е. Коган. - М. : Советский писатель, 1989. - 512 с. : ил., портр. - (Библиотека произведений, удостоенных Государственной премии СССР). - ISBN 5-265-00012-7 (в пер.) : 02.10 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
821.161.1-31
~РУБ 821.161.1

Кл.слова (ненормированные):
ХУДОЖЕСТВЕННАЯ ЛИТЕРАТУРА -- РУССКАЯ ЛИТЕРАТУРА -- 20 ВЕК -- РОМАНЫ -- ПОЛИТИЧЕСКИЕ ДЕТЕКТИВЫ -- ГОСУДАРСТВЕННЫЕ ПРЕМИИ СССР -- ЛАУРЕАТЫ
Доп.точки доступа:
Клименко, В. Г. \ред.\
Коган, Евгений \худож.\

Имеются экземпляры в отделах: , ахл (1 экз.)
Свободны: ахл (1)
Постоянная гиперссылка

681.3
Б874

    Братко, Иван.
    Программирование на языке Пролог для искусственного интеллекта : Пер. с англ. / И. Братко. - М. : Мир, 1990. - 560 с. : ил. - 03.50 р., 6212.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.062 Пролог
004.8
~РУБ 681.3

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

Имеются экземпляры в отделах: , аунл (74 экз.), сбо (1 экз.), счз1
Свободны: аунл (59), сбо (1)
Постоянная гиперссылка

681.3
В 558

    Вишняков, Владимир Анатольевич.
    Аппаратно-программные средства процессоров логического вывода : научное издание / В. А. Вишняков, Д. Ю. Буланже, О. В. Герман. - М. : Радио и связь, 1991. - 262[2] с. - Библиогр.: с. 259-261. - ISBN 5-256-00606-1 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.062 Пролог
681.325.5.06
~РУБ 681.3

Кл.слова (ненормированные):
процессоры логического вывода -- Пролог
Доп.точки доступа:
Буланже, Дмитрий Юрьевич
Герман, Олег Витольдович

Имеются экземпляры в отделах: аунл (2 экз.), счз1
Свободны: аунл (2)
Постоянная гиперссылка

51
Г 855

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учебное пособие для вузов / Д. В. Гринченков, С. И. Потоцкий. - М. : КноРус, 2010. - 208 с. : табл. - Библиогр.: с. 205-206. - ISBN 978-5-406-00120-2 : 265.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
510.51(075.8)
~РУБ 51

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

Имеются экземпляры в отделах: счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

681.3
Д44


    Диалоговые системы. Современное состояние и перспективы развития : монография / Алексей Михайлович Довгялло, Владимир Иванович Брановицкий, Константин Петрович Вершинин и др; Ред. Алексей Михайлович Довгяло ; Академия наук Украинской ССР. Институт кибернетики им. В. М. Глушкова. - Киев : Наукова думка, 1987. - 245[3] с. : ил, табл. - Библиогр.: с. 234-244. - (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.015
~РУБ 681.3

Кл.слова (ненормированные):
ДИАЛОГОВЫЕ СИСТЕМЫ -- человек-машина -- ОБУЧАЮЩИЕ СИСТЕМЫ -- ПРОЛОГ-ЕС
Доп.точки доступа:
Довгялло, Алексей Михайлович
Брановицкий, Владимир Иванович
Вершинин, Константин Петрович
Гецко, Л. Н.
Краснов, М. А.
Довгяло, Алексей Михайлович \ред.\
Институт кибернетики им. В. М. Глушкова
Академия наук Украинской ССР

Имеются экземпляры в отделах: аунл (3 экз.)
Свободны: аунл (3)
Постоянная гиперссылка

681.3
Д 679

    Доорс, Джим.
    Пролог - язык программирования будущего : Пер. с англ. / Джим Доорс, Алан Р. РейблейнСьюнил Вадера ; пер. : А. Н. Волков. - М. : Финансы и статистика, 1990. - 141, [3] с. : ил. - Библиогр.: с. 134. -Предм. указ.: с. 135-138. - ISBN 5-279-00444-8 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.062 пролог
~РУБ 681.3

Кл.слова (ненормированные):
Пролог -- языки программирования -- программирование
Доп.точки доступа:
Рейблейн, Алан Р.
Вадера, Сьюнил
Волков, А. Н. \пер.\

Имеются экземпляры в отделах: аунл (1 экз.), счз1
Свободны: аунл (1)
Постоянная гиперссылка

10.

681.3
З-695

    Змитрович, Анатолий Иосифович.
    Базы данных : Учебное пособие для вузов / А. И. Змитрович. - Минск : Университетское, 1991. - 272 с. : ил, табл. - Библиогр.: с. 267. -Предм. указ.: с. 268-269. - ISBN 5-7855-0254-2 (в пер.) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.016(075.8)
~РУБ 681.3

Кл.слова (ненормированные):
базы данных -- РЕПЕР -- КАРС -- СЕТЬ -- Пролог -- учебные пособия -- управление -- СУБД -- Турбо Пролог

Имеются экземпляры в отделах: аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

11.

004
З-981

    Зюзьков, Валентин Михайлович.
    Искусственный интеллект и экспертные системы : Учебное методическое пособие / Валентин Михайлович Зюзьков ; МОРФ. ТУСУР. Каф. КСУП. - Томск : ТМЦДО, 1999. - 76 с. - Библиогр.: с. 73. - (в пер.) : 17.48 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(075.8)
681.3.06:510.6(075.8)
~РУБ 004

Кл.слова (ненормированные):
ПРОЛОГ -- УЧЕБНЫЕ ПОСОБИЯ -- дистанционное обучение -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ

Имеются экземпляры в отделах: , счз1 (3 экз.), аунл (16 экз.)
Свободны: счз1 (3), аунл (16)
Постоянная гиперссылка

12.

681.3
З-981

   Зюзьков, Валентин Михайлович
    Искусственный интеллект и экспертные системы : учебное пособие: В 2 ч. / Валентин Михайлович Зюзьков; МОРФ. ТУСУР. Каф. КСУП. - Томск : ТМЦДО, 1999 - .
   Ч. 2 : Логическое программирование : учебное пособие. - Томск : ТМЦДО, 1999. - 64 с. : ил. - Библиогр.: с. 63. - (в пер.) : 14.49 р., 18.90 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6(075.8)
~РУБ 681.3

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

Имеются экземпляры в отделах: , счз1 (3 экз.), аунл (16 экз.)
Свободны: счз1 (3), аунл (16)
Постоянная гиперссылка

13.

681.3
З-981

    Зюзьков, Валентин Михайлович.
    Логическое и функциональное программирование : Учебное методическое пособие / В. М. Зюзьков ; Министерство образования Российской Федерации (М.), Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра автоматизированных систем управления (АСУ). - Томск : ТМЦДО, 2000. - 72 с. : ил. - Библиогр.: с. 69. - (в пер.) : 21.60 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:51(075.8)
~РУБ 681.3

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

Имеются экземпляры в отделах: , аунл (1 экз.), счз1 (1 экз.)
Свободны: аунл (1), счз1 (1)
Постоянная гиперссылка

14.

681.3
З-981

    Зюзьков, Валентин Михайлович.
    Логическое программирование : Учебное пособие / В. М. Зюзьков ; Министерство образования Российской Федерации. - Томск : ТУСУР, 1999. - 116 с. : ил. - Библиогр.: с. 114. - ISBN 5-86889-046-9 : 23.20 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6(075.8)
~РУБ 681.3

Кл.слова (ненормированные):
учебные пособия -- Пролог -- логическое программирование
Доп.точки доступа:
Министерство образования Российской Федерации

Имеются экземпляры в отделах: , аунл (28 экз.), счз1 (2 экз.)
Свободны: аунл (28), счз1 (2)
Постоянная гиперссылка

15.

004
З-981

    Зюзьков, Валентин Михайлович.
    Логическое программирование : учебное пособие / В. М. Зюзьков ; Томский государственный университет систем управления и радиоэлектроники. - 2-е изд., перераб. и доп. - Томск : Издательство Томского университета, 2007. - 142, [1] с. : ил., табл. - (Приоритетные национальные проекты. Образование). - Библиогр.: с. 142. - ISBN 978-5-7511-1832-7 : 182.70 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.42.047(075.8)
~РУБ 004

Кл.слова (ненормированные):
учебные пособия -- логическое программирование -- языки программирования -- Пролог
Доп.точки доступа:
Томский государственный университет систем управления и радиоэлектроники

Имеются экземпляры в отделах: , аунл (30 экз.), счз1 (3 экз.)
Свободны: аунл (30), счз1 (3)
Постоянная гиперссылка

16.

004
З-981

    Зюзьков, Валентин Михайлович.
    Логическое программирование : учебное пособие / В. М. Зюзьков ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2005. - 145 с. : ил. - Библиогр.: с. 143. - 72.50 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.42.047(075.8)
~РУБ 004

Кл.слова (ненормированные):
учебные пособия -- логическое программирование -- Пролог -- структуры данных
Доп.точки доступа:
Федеральное агентство по образованию
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизированных систем управления

Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка

17.

681.3
З-981

    Зюзьков, Валентин Михайлович.
    Логическое программирование : Курс лекций для дистанционного обучения студентов по дисциплине "Логическое программирование" для специальности 22.04 "Программное обеспечние вычислительной техники и автоматизированных систем" / Валентин Михайлович Зюзьков ; Министерство общего и профессионального образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТУСУР, 1999. - 65 с. - Библиогр.: с. 65. - (в пер.) : 19.00 р., 19.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6(075.8)
~РУБ 681.3

Кл.слова (ненормированные):
учебные пособия -- дистанционное обучение -- Пролог -- языки программирования -- логическое программирование
Доп.точки доступа:
Томский государственный университет систем управления и радиоэлектроники
Кафедра автоматизированных систем управления
Министерство общего и профессионального образования Российской Федерации

Имеются экземпляры в отделах: , аунл (20 экз.), счз1 (1 экз.)
Свободны: аунл (20), счз1 (1)
Постоянная гиперссылка

18.

681.3
И 859

    Исида, Харухиса.
    Программирование для микрокомпьютеров : Пер. с япон. / Харухиса Исида; Пер. Э. К. Николаева, Ред. Н. Г. Волков. - М. : Мир, 1988. - 224 с. : ил, табл. - Предм. указ.: с. 222. - ISBN 5-03-000397-5 (в пер.) : 01.50 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.382.7'42
~РУБ 681.3

Кл.слова (ненормированные):
программирование -- микроЭВМ -- языки программирования -- Пролог -- микроЭВМ
Доп.точки доступа:
Николаева, Э. К. \пер.\
Волков, Н. Г. \ред.\

Имеются экземпляры в отделах: , аунл (6 экз.), счз1 (1 экз.)
Свободны: аунл (6), счз1 (1)
Постоянная гиперссылка

19.

004
К 153

    Каймин, Виталий Адольфович.
    Информатика : учебник для вузов / В. А. Каймин ; Министерство образования Российской Федерации. - 3-е изд. - М. : Инфра-М, 2003. - 270[2] с. : ил., табл. - (Высшее образование). - Библиогр.: с. 268-269 . - ISBN 5-16-001393-8 : 195.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004(075.8)
~РУБ 004

Кл.слова (ненормированные):
учебные пособия -- информатика -- информация -- персональные компьютеры -- Интернет-технологии -- информационные технологии -- ЭВМ -- решение задач -- экзамены -- Пролог
Доп.точки доступа:
Министерство образования Российской Федерации

Имеются экземпляры в отделах: , аунл (1 экз.)
Свободны: аунл (1)
Постоянная гиперссылка

20.

681.3
К 502

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

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.062 Пролог
~РУБ 681.3

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

Имеются экземпляры в отделах: , аунл (14 экз.), счз1
Свободны: аунл (14)
Постоянная гиперссылка

1-20 21-40 41-47

Статистика за 22.08.2024
Число запросов	783
Число заказов	0

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