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

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

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

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

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

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

Поисковый запрос: (<.>U=681.3.06:510.6<.>)

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

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
З-981

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

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

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

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

681.3
Л694


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

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

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

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

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

681.3
М 340


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

    Коды, Ключ.слова, Доп.точки доступа
УДК
681.3.06:510.6
510.6
~РУБ 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 - .Языки спецификаций и логическое программирование / науч. ред.: Ю. Л. Ершов, С. С. Гончаров. - Новосибирск : Институт математики, 1988. - 148 с. : ил. - Б. ц.

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

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

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

681.3
Ш187

    Шалыто, Анатолий Абрамович.
    SWITCH- технология. Алгоритмизация и программирование задач логического управления / Анатолий Абрамович Шалыто. - СПб. : Наука, 1998. - 628 с. - (в пер.) : Б. ц.

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

Кл.слова (ненормированные):
логическое управление -- теория автоматов -- Графсет -- управляющие автоматы -- алгоритмизация -- программирование -- switch

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

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

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