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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

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

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

1-20 21-35

681.3
В949

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

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

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

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

681.3
В949

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

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

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

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

681.3
В949

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

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

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

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

681.3
В949

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

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

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

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

681.3
В949

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

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

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

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

681.3
К 563

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

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

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

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

681.3
В949

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

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

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

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

681.3
В949

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

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

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

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

681.3
В949

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

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

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

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

10.

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

11.

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

12.

681.3
М197

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

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

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

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

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
Б882

    Брой, Манфред.
    Введение в информатику: сборник задач : Структурированное собрание упражнений с образцами решений: Пер. с нем. / Манфред Брой, Бернхард Румпе; Пер. Н. П. Трифонов, Пер. В. И. Громыко. - М. : Научный Мир, 2000 ; М. : ДИАЛОГ-МИФИ, 2000. - 374 с. - Библиогр.: с. 371. - ISBN 5-89176-085-1 (в пер.). - ISBN 5-86404-142-4 : 74.60 р.

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

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

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

15.

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

16.

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

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
К 280

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

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

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

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

19.

681.3
Я 410


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

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

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

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

20.

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

1-20 21-35

Статистика за 08.07.2024
Число запросов	3687
Число заказов	0

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