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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

1-10 11-20 21-30 31-35

004
Р 311


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

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

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

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

004
О-664

    Орлов, Сергей Александрович.
    Теория и практика языков программирования [Текст] : учебник / С. А. Орлов ; ред. Ю. Сергиенко ; рец.: Б. В. Соколов, А. Я. Пасмуров. - СПб. : ПИТЕР, 2014. - 688 с. : ил. - (Учебник для вузов) (Стандарт третьего поколения) (Для бакалавров и магистров). - Библиогр.: с. 677 . - Алф. указ.: с. 683 . - ISBN 978-5-496-00032-1 : 188.80 р.

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

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

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

004
Р 693

    Романов, А. С.
    Языки программирования [Текст] : лабораторный практикум / А. С. Романов ; Министерство образования и науки Российской Федерации, Томский государственный университет систем управления и радиоэлектроники (Томск), Кафедра комплексной информационной безопасности электронно-вычислительных систем. - Томск : В-Спектр, 2012. - 40 с : ил. - Библиогр.: с. 39. - ISBN 978-5-91191-241-4 : 20.00 р.

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

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

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

004
А 161

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

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

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

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

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
Я 410


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

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

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

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

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

004
З-981

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

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

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

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

681.3
М 268

    Марков, Александр Сергеевич.
    Базы данных. Введение в теорию и методологию : Учебник для вузов / А. С. Марков, К. Ю. Лисовский. - М. : Финансы и статистика, 2006. - 510[2] с. : ил. - Библиогр.: с. 431-434 . - Предм. указ.: с. 499-511. - ISBN 5-279-02298-5 : 225.00 р.

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

Кл.слова (ненормированные):
учебные пособия -- базы данных -- СУБД -- реляционные базы данных -- проектирование -- реляционные модели -- математические модели -- языки программирования -- SQL -- надежность -- логическое программирование -- объектно-ориентированные базы данных -- сетевые модели -- иерархические системы -- слабоструктурированные данные
Доп.точки доступа:
Лисовский, Кирилл Юльевич

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

10.

004
М 150

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

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

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

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

11.

681.3
Х 689

    Хоггер, Кристофер Джон.
    Введение в логическое программирование : пер. с англ. / К. Д. Хоггер ; пер. М. В. Захарьящев, ред. пер. Ю. И. Янов. - М. : Мир, 1988. - 348[4] с. - Библиогр.: с. 328-338. - Предм. указ.: с. 339-344. - ISBN 5-03-000490-4 : 01.90 р.

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

Кл.слова (ненормированные):
логическое программирование
Доп.точки доступа:
Захарьящев, М. В. \пер.\
Янов, Ю. И. \ред. пер.\

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

12.

681.3
З-981

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

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

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

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

13.

681.3
С797

    Стерлинг, Леон.
    Искусство программирования на языке Пролог : Пер. с англ. / Леон Стерлинг, Эгуд Шапиро; Пер. С. Ф. Сопрунов, Пер. Л. В. Шабанов, Ред. пер. Ю. Г. Дадаев. - М. : Мир, 1990. - 333[3] с. : ил. - Библиогр.: с. 318-323. -Предм. указ.: с. 324-328. - ISBN 5-03-000406-8 (в пер.) : 40.00 р., 02.70 р.

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

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

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

14.

681.3
Л694


    Логика и компьютер: Моделирование рассуждений и проверка правильности программ / Н. А. Алешина [и др.] ; ред. Е. Д. Смирнова ; Академия наук СССР. - М. : Наука, 1990. - 238, [2] с. : ил. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с. 231-235. - ISBN 5-02-007156-0 : Б. ц.

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

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

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

15.

681.3
Ч-470

    Чери, Стефано.
    Логическое программирование и базы данных : Пер. с англ. / Стефано Чери, Георг Готлоб, Летиция Танка; Ред. пер. Л. А. Калиниченко. - М. : Мир, 1992. - 352 с. : ил. - Библиогр.: с. 341-350. -Библиогр. в конце глав. - ISBN 5-03-002472-7 (в пер.) : Б. ц.

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

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

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

16.

681.3
З-981

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

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

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

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

17.

681.3
М 340


    Математическая логика в программировании : Сборник статей 1980-1988 гг.: Пер. с англ. / Ред. пер. М. В. Захарьящев, Ред. пер. Ю. И. Янов. - М. : Мир, 1991. - 408 с. : ил. - (Математическое обеспечение ЭВМ). - Библиогр. в конце ст. - ISBN 5-03-001635-X (в пер.) : Б. ц.

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

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

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

18.

681.3
К 280

    Касаткин, Валентин Николаевич.
    Логическое программирование в занимательных задачах : монография / Валентин Николаевич Касаткин. - Киев : ТЕХНIКА, 1980. - 80 с. : ил. - (в пер.) : Б. ц.

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

Кл.слова (ненормированные):
занимательные задачи -- РАСПОЗНАВАНИЕ ОБРАЗОВ -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- компьютерные игры

Свободных экз. нет
Постоянная гиперссылка

19.

681.3
К 563

    Ковальски, Роберт.
    Логика в решении проблем : Пер. с англ. / Роберт Ковальски ; пер. Вячеслав Эрнстович Вольфенгаген, пер. В. Я. Яцук, предисл. и прим. Д. А. Поспелов, пер. Л. Г. Осмоловский. - М. : Наука. Физматлит, 1990. - 280 с. : ил. - (Проблемы искусственного интеллекта). - Библиогр.: с. 263-270. -Имен. указ.: с. 272-273. -Предм. указ.: с. 273-278. - ISBN 5-02-014148-8 (в пер.) : Б. ц.

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

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

Свободных экз. нет
Постоянная гиперссылка

20.

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 148 : Логические методы в программировании : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1993. - 176 с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

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

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

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

1-10 11-20 21-30 31-35

Статистика за 05.07.2024
Число запросов	90434
Число заказов	0

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