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

Базы данных

База данных нормативных документов - результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

1-20 21-35

681.3
К 280

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

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

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

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

004
Р 311


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

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

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

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

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 122 : Прикладные аспекты математической логики : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1987. - 166[2] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

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

Кл.слова (ненормированные):
вычислительные системы -- логическое программирование -- базы данных -- математическая логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

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

681.3
В949

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

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

Кл.слова (ненормированные):
вычислительные системы -- логическое программирование -- прикладная логика
Доп.точки доступа:
Косарев Ю. Г. \ред.\
Ершов, Ю. Л. \ред.\
Гончаров, С. С. \ред.\
Академия наук СССР. Сибирское отделение
Институт математики

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

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

681.3
В949

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

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

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

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

681.3
Я 410


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

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

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

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

681.3
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 129 : Теория алгоритмов и ее приложения : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1989. - 198[4] с. : ил. - Библиогр. в конце ст. - (в пер.) : Б. ц.

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

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

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

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

10.

681.3
В949

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

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

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

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

11.

681.3
Л694


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

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

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

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

12.

681.3
К 563

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

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

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

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

13.

621.382
А224

    Автоматизация проектирования БИС : практическое пособие: В 6 кн. / Ред. Г. Г. Казеннов. - М. : Высшая школа, 1990 - .
   Кн. 2 : Функционально-логическое проектирование БИС : учебное пособие / Павел Васильевич Савельев, Валерий Вячеславович Коняхин. - М. : Высшая школа, 1990. - 156 с. - Библиогр.: с. 154. - (в пер.) : 00.40 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
621.382.049.771.14.001.63-52
658.512.22.011.56:621.382.049.771-14
~РУБ 621.382

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

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

14.

681.3
М197

    Малпас, Джон.
    Реляционный язык Пролог и его применение : Пер. с англ. / Джон Малпас; Ред. пер. В. Н. Соболев, Пер. А. А. Титов. - М. : Наука, 1990. - 463 с. : ил. - Библиогр.: с. 448-458. -Предм. указ.: с. 459-463. - ISBN 5-02-014509-2 (в пер.) : 03.50 р.

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

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

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

15.

004
М 150

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

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

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

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

16.

51
Л 694


    Логический подход к искусственному интеллекту : От классической логики к логическому программированию: Пер. с фр. / А. Тейз [и др.] ; пер. П. П. Пермяков, ред. пер. Г. П. Гаврилов. - М. : Мир, 1990. - 429[3] с. : ил. - Библиогр.: с. 411-417. -Предм. указ.: с. 418-423. - Пер. изд. : Approche logique de l`intelligence artificielle. - ISBN 5-03-001636-8 (в пер.) : Б. ц.

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

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

Имеются экземпляры в отделах: аунл (3 экз.), счз1 (1 экз.)
Свободны: аунл (3), счз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
В949

    Вычислительные системы : сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. - Новосибирск : Институт математики, 1961 - .
   Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов / Ред. Ю. Л. Ершов, Ред. С. С. Гончаров. - Новосибирск : Институт математики, 1991. - 192[2] с. : ил. - Библиогр. в конце ст. - ISBN 5-7623-0102-8 (в пер.) : Б. ц.

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

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

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

19.

681.3
В949

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

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

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

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

20.

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

1-20 21-35

Статистика за 23.08.2024
Число запросов	39375
Число заказов	0

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