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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

Поисковый запрос: (<.>K=Пролог<.>)

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

1-20 21-40 41-47

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)
Постоянная гиперссылка

004
М 197

    Малов, Алексей Викторович.
    Концепции современного программирования [Электронный ресурс] : учебное пособие для вузов / А. В. Малов, С. В. Родионов. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 95-96. - ISBN 978-5-534-14911-1 : Б. ц.

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

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

Доп.точки доступа:
Родионов, Сергей Васильевич

Перейти к внешнему ресурсу https://urait.ru/viewer/koncepcii-sovremennogo-programmirovaniya-485436#page/1
Постоянная гиперссылка

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
Постоянная гиперссылка

004
Т 980

    Тюгашев, Андрей Александрович.
    Языки программирования [Текст] : учебное пособие / А. А. Тюгашев. - СПб. : ПИТЕР, 2015. - 334 с. : рис. - (Учебное пособие. Стандарт третьего поколения). - Библиогр.: с. 274-275. - ISBN 978-5-496-01006-1 : 200.00 р.

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

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

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

004
Р 311


    Реальность и прогнозы искусственного интеллекта [Текст] : сборник научно-популярных статей / пер. под ред. В. Л. Стефанюк. - М. : Мир, 1987. - 248 с : рис., табл., фот. цв., вкл. л. - (В мире науки и техники). - Пер. с англ. - Библиогр. в конце ст. - 00.85 р.

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

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

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

004
П 784


    Программа, методические указания и контрольные задания по дисциплине "Основы искусственного интеллекта и экспертных систем" [Текст] : методическое пособие для студентов специальности 220200 заочного факультета / разраб. И. А. Ходашинский. - Томск : ТУСУР, 1998. - 50 с : табл. - Библиогр.: с. 50. - Б. ц.

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

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

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

004
А 161

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

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

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

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

004
М 345

    Матолыгин, Андрей Анатольевич.
    Представление знаний в информационных системах [Электронный ресурс] : методическое пособие к лабораторным работам и самостоятельной работе студентов / А. А. Матолыгин ; Томский государственный университет систем управления и радиоэлектроники (Томск). - Электрон. текстовые дан. - Томск : [б. и.], 2010. - on-line, 15 с. - Б. ц.

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

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

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

Перейти к внешнему ресурсу http://edu.tusur.ru/training/publications/2579
Постоянная гиперссылка

10.

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)
Постоянная гиперссылка

11.

004
С 560

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

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

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

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

12.

681.3
Я 410


    Язык Пролог в пятом поколении ЭВМ [Текст] : сборник статей 1983-1986 гг. / сост. Н. И. Ильинский. - М. : Мир, 1988. - 501 с. : ил. - Пер. с англ. - Б. ц.

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

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

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

13.

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)
Постоянная гиперссылка

14.

004
З-981

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

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

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

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

15.

004
К 153

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

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

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

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

16.

681.3
К 502

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

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

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

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

17.

681.3
Ш 853

    Шрайнер, Павел.
    Основы программирования на языке Пролог : Курс лекций. Учебное пособие / П. А. Шрайнер ; Интернет-Университет Информационных Технологий. - М. : Интернет-Университет Информационных Технологий, 2005. - 172[4] с. : ил. - (Основы информационных технологий). - Библиогр.: с. 173. - ISBN 5-9556-0034-5 : 170.00 р.

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

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

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

18.

681.3
Х 690

    Ходашинский, Илья Александрович.
    Язык ПРОЛОГ в примерах и задачах : учебное пособие для вузов / И. А. Ходашинский ; Федеральное агентство по образованию, Томский государственный университет систем управления и радиоэлектроники. - Томск : ТУСУР, 2006. - 279, [1] с. : ил. - Библиогр.: с. 272-273. - Предм. указ.: с. 274-276. - ISBN 5-86889-291-7 : 84.00 р.

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

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

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

19.

004
М 150

    Макаллистер, Дж.
    Искусственный интеллект и Пролог на микроЭВМ : Пер. с англ. / Дж. Макаллистер ; пер. : А. В. Чукашов, М. В. Сергиевский ; ред. пер. : М. В. Сергиевский. - М. : Машиностроение, 1990. - 235[5] с. : ил. - Библиогр.: с. 237. - ISBN 5-217-00973-X : Б. ц.

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

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

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

20.

004
Э 413


    Экспертные системы: принципы работы и примеры / А. Брукинг [и др.] ; ред. : Р. Форсайт, В. Л. Стефанюк ; пер. : С. И. Рудакова. - М. : Радио и связь, 1987. - 220[4] с. : ил. - (Кибернетика). - Пер. с англ. - Библиогр.: с. 213-222. - 01.10 р.

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

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

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

1-20 21-40 41-47

Статистика за 26.06.2024
Число запросов	104230
Число заказов	0

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