Web ИРБИС


	\| начало \| написать нам \| в избранное \| сделать стартовой \|

ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных

Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Электронный каталог

ЭБС "ЛАНЬ"

ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")

Электронная библиотека

Известные деятели культуры в Саратовской губернии

Работы В. А. Артисевич и литература о ней

Издания вузовских библиотек Среднего и Нижнего Поволжья

Публикации учёных СГУ

Краеведческий обзор

Поступления журналов в ЗНБ СГУ

БД коллекций в фонде ЗНБ СГУ

БД выпускных квалификационных работ

Сводный каталог библиотек (СГУ, СГТУ, ЦБС)

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

в найденном

В текущей базе данных найдено документов :26

В других БД по вашему запросу найдено:

Электронный каталог (18)

Электронная библиотека (1)

БД коллекций в фонде ЗНБ СГУ (1)

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

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

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

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

1-20 21-26

Литературный сборник XVII века "Пролог". Русская старопечатная литература (XVI-первая четверть XVIII в.) [Текст] / О. А. Державина [и др.]. - М. : Наука, 1978. - 287 с. : ил. ; 20см. - 1.50 р.

ГРНТИ	17.09
УДК	8Р2

Рубрики: Литературоведение--История литературы--Русская литература

Кл.слова (ненормированные):
древнерусская литература -- литература xviii века -- литература 17 века -- "Пролог" -- исследование литературы -- историческая поэтика -- история России -- культура России
Аннотация: Настоящий коллективный труд посвящён популярнейшему на Руси старопечатному сборнику XVII в. под названием Пролог, включавшему в себя более 2000 литературных сюжетов. В монографическом исследовании рассматриваются издания Пролога в их связи с культурно-политическими условиями XVII в. К исследованию приложено описание содержания Пролога.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Державина, О. А.
Демин, А. С.
Елеонская, А. С.
Капица, Ф. С.
Курилов, А. С.
Сазонова, Л. И.
Черная, Л. А.
Найти похожие

Клоксин, У.
программирование на языке Пролог [Текст] : пер. с англ. / У. Клоксин, К. Меллиш. - Москва : Мир, 1987. - 336 с. - (Математич.обеспечение ЭВМ). - 1.30 р.
Предм.указ.:с.[335]-336

ББК 22.18

Рубрики: Математика--Математическая кибернетика

Кл.слова (ненормированные):
ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- логическое программирование -- математическая кибернетика -- программирование -- пролог -- эвм -- язык Пролог
Держатели документа:
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)

Доп. точки доступа:
Меллиш, К.
Найти похожие

Грэй, Питер.
Логика, алгебра и базы данных [Текст] : научное издание / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.

УДК

004.6

Рубрики: вычислительная техника--базы и банки данных

Кл.слова (ненормированные):
математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

Братко, И.
Программирование на языке Пролог для искусственного интеллекта [Текст] / И. Братко ; под ред., пер. с англ. А. М. Степанова, пер. с англ. А. И. Лупенко. - М. : Мир, 1990. - 560 с. : ил. ; 20см. - ISBN 5-03-001425-Х : 3.50,35000.00,40.00 р.

ГРНТИ	50.05.09	28.23
УДК	681.3.06:519.6+007:159.955

ББК 22.19

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
Пролог -- искусственный интеллект -- язык пролог -- кибернетика
Аннотация: Книга содержит основы языка Пролог и его приложения для решения задач искусственного интеллекта. Изложение отличается методическими достоинствами. Дополняет имеющуюся на русском языке литературу по языку Пролог. Для программистов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Степанов, А. М.
Лупенко, А. И.
Найти похожие

Державина, Ольга Александровна.
Древняя Русь в русской литературе XIX века. (Сюжеты и образы древнерусской литературы в творчестве писателей XIX века) [Текст] / О. А. Державина ; Пролог. Избранные тексты / отв. ред. В. П. Гребенюк ; Акад. наук СССР, Ин-т мировой лит. им. А. М. Горького. - Москва : ИМЛИ АН СССР [изд.], 1990. - 416 с. - Имен. указ.: с. 392-412. - ISBN [Б. и.] : 35.00 р.

УДК

882.09

929

Рубрики: литературоведение--русская литература--Россия, 19 в.; 17 в.

Кл.слова (ненормированные):
персоналии -- русская литература -- древнерусская литература -- литературные образы -- литературные сюжеты -- сюжеты исторические -- Пролог
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Доп. точки доступа:
Гребенюк, В. П.
Найти похожие

Макаллистер, Дж .
Искусственный интеллект и Пролог на микроЭВМ [Текст] : пер. с англ. А. В. Чукашова, М. В. Сергиевского / Дж . Макаллистер. - М. : Машиностроение, 1990. - 240 с. ; 22 см. - ISBN 5-217-00973-Х : 2.40 р.

ГРНТИ	28.23.27
УДК	007:159.955+681.3.06

ББК 32.973.-01

Рубрики: Кибернетика--Искусственный интеллект

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

Стерлинг, Л.
Искусство программирования на языке Пролог [Текст] / Л. Стерлинг, Э. Шапиро; пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова; под ред. Ю. Г. Дадаева. - М. : Мир, 1990. - 335 с. : ил. ; 24 см. - Библиогр.: с. 318-323. - ISBN 5-03-000406-8 : 2.70; 270.00 р.
Прил.: с. 312-317; предм. указ.: с. 324-328

ГРНТИ	50.05.09
УДК	681.3.06:519.6

ББК 32.973-01

Рубрики: Вычислительная техника--Языки программирования

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

Доп. точки доступа:
Шапиро, Э.
Найти похожие

Таунсенд, К.
Проектирование и программная реализация экспертных систем на персональных ЭВМ [Текст] : научное издание / К. Таунсенд, Д. Фохт ; пер. с англ. В. А. Кондратенко, С. В. Трубицына. - М. : Финансы и статистика, 1990. - 320 с. : ил. ; 22 см. - Библиогр.: с. 314-315. - ISBN 5-279-00255-0 : 4.50 р.

ГРНТИ	50.43
УДК	681.518.2.001.63:681.3.06

ББК 24.4.1

Рубрики: АВТОМАТИКА--ЭКСПЕРТНЫЕ СИСТЕМЫ

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

Доп. точки доступа:
Фохт, Д.
Кондратенко, В. А.
Трубицын, С. В.
Найти похожие

Шелепова, Людмила Ивановна.
Лексические разночтения в Прологе (по спискам XII-XVII вв.) [Текст] : учеб. пособие / Л. И. Шелепова ; . - Барнаул : [б. и.], 1992. - 106 с. - Библиогр. - ISBN 5-230-29679-8 : 7.00 р.

УДК

808.2-02-3(075.8)

Рубрики: языкознание--славянские языки, 12-17 вв.

Кл.слова (ненормированные):
история русского языка -- древнерусский язык -- лексика -- Пролог -- письменность древнеславянская -- рукописи
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

10.

Каймин, Виталий Адольфович.
Научные основы и методика преподавания информатики [Текст] : метод. рекомендации для учителей и студентов педвузов / Виталий Адольфович Каймин. - Псков : Б. и., 1992. - 159 с. : ил. - Библиогр. - 2500.00 р.

УДК

004(072)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- компьютерная грамотность -- Пролог
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

11.

Чери, Стефано.
Логическое программирование и базы данных [Текст] = Logic Programming and Databases : научное издание / С. Чери, Г. Готлоб, Л. Танка ; . - Москва : Мир, 1992. - 352 с. : ил. - Библиогр. - ISBN 5-03-002472-7 : 4000.00 р.

УДК

004.6

004.4

Рубрики: вычислительная техника--базы и банки данных--программирование

Кл.слова (ненормированные):
логическое программирование -- базы данных -- Пролог -- Дейталог
Аннотация: В книге изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.

Доп. точки доступа:
Готлоб, Г.
Танка, Л.

Найти похожие

12.

Стобо, Джон.
Язык программирования Пролог [Текст] = Problem Solving with Prolog : учеб. пособие / Дж. Стобо ; . - Москва : Радио и связь, 1993. - 368 с. - ISBN 5-256-00921-4 : 450.00 р.

УДК

004.43(075)

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- Пролог
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

13.

Geske, Ulrich.
Prolog: Grundlagen-Programmiermethoden-Standards [Текст] : научное издание / Ulrich Geske. - Berlin : Akad.-Verl., 1993. - 331 S. : Abb. - (Informatik ; Bd. 7.). - Bibliogr. - ISBN 3-05-501517-7 : 273000.00 р.

УДК

004.43

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- Пролог -- программирование -- Prolog
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

14.

Тихонов, Юрий Вениаминович.
МПролог-язык логического программирования: Версия 2. 3 [Текст] : рекомендовано Мин.образования / Юрий Вениаминович Тихонов. - Москва : Машиностроение, 1994. - 80 с. - (Пользователю ПК). - Библиогр. - ISBN 5-217-01557-8 : 500.00 р.

УДК

004.43

Рубрики: вычислительная техника--языки программирования

Кл.слова (ненормированные):
языки программирования -- Пролог
Аннотация: Приведена методика программирования на языке Пролог. Дано описание синтаксиса языка МПролог. Дано описание встроенных предикатов системы и ее графических возможностей. Приведено много примеров программ.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.
Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)
Найти похожие

15.

Могилев, А. В.
Информатика [Текст] : учеб. пособие для ВУЗов / А. В. Могилев, Н. И. Пак, Е. К. Хеннер; Под общ. ред. Е. К. Хеннера; Предисл. М. П. Лапчак. - Москва : Академия, 1999. - 816 с. : ил. - (Высшее образование). - ISBN 5-7695-0330-0 : 146.20 р.

16.

Каймин, Виталий Адольфович.
Информатика [Текст] : учеб. для студентов вузов по естеств.-науч. спец. / Виталий Адольфович Каймин. - 2-е изд., перераб. и доп. - Москва : Инфра-М, 2002. - 271, [1] c. : ил. - (Высшее образование). - Библиогр. - ISBN 5-16-000612-5 (в пер.) : 56.56 р.

УДК

004(075.8)

Рубрики: вычислительная техника--ЭВМ

Кл.слова (ненормированные):
информатика -- информационные технологии -- Интернет -- персональный компьютер (ПК) -- базы данных -- Пролог -- языки программирования -- Internet
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие

17.

Каймин, Виталий Адольфович.
Информатика [Текст] : учеб. для студентов высш. учеб. заведений, обучающихся по естеств.-науч. направлениям и специальностям / Виталий Адольфович Каймин. - 4-е изд. - Москва : ИНФРА-М, 2004. - 283, [5] с. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 5-16-001928-6 (в пер.) : 103.103 р.

УДК

004(075.8)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet
Аннотация: Изложены практические и теоретические основы информатики, включая вопросы работы на ЭВМ и в Интернет, а также методы решения задач с использованием электронных таблиц, баз данных и языков программирования Бейсик и Паскаль.
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

18.

Шрайнер, П. А.
Основы программирования на языке Пролог [Электронный ресурс] : курс лекций : учеб. пособие / П. А. Шрайнер. - Электрон. текстовые дан. - М. : Интернет-Университет Информационных Технологий, 2005. - on-line. - (Основы информационных технологий). - Систем. требования: 128 MB RAM оперативной памяти. - ISBN 5-9556-0034-5 : 1375.00 р.
Гриф: рек. для студентов вузов, обучающихся по спец. в обл. информ. технологий. Режим доступа : http://lib.sstu.ru/index.php/elmrazdel/melellib/3321-elreselibonline. Количество одновременных доступов 1

ГРНТИ	50.05.09.01.33
УДК	004.43(07)

ББК 32.973.26-018.1

Рубрики: Вычислительная техника--Языки программирования

Кл.слова (ненормированные):
ПРОЛОГ -- ЯЗЫК ПРОГРАММИРОВАНИЯ ПРОЛОГ -- РЕКУРСИЯ -- ТУРБО ПРОЛОГ -- ВЫПОЛНЕНИЕ ПРОГРАММ -- СПИСКИ -- МНОЖЕСТВА -- ДЕРЕВЬЯ -- СТРОКИ -- ФАЙЛЫ -- ВНУТРЕННИЕ БАЗЫ ДАННЫХ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
Аннотация: Курс посвящен изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду, где это возможно, без привязки к конкретной реализации.
Перейти к внешнему ресурсу книга доступна в ЭБС "БиблиоТех"
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

19.

Каймин, Виталий Адольфович.
Информатика [Текст] : учебник / В. А. Каймин ; М-во образования Рос. Федерации. - 5-е изд. - Москва : ИНФРА-М, 2006. - 283, [5] с. : ил. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 5-16-002584-7 (в пер.) : 99.90 р.
Рекомендовано М-вом образования Рос. Федерации в качестве учеб. для студентов вузов, обучающихся по естеств.- науч. направлениям и специальностям

УДК

004(075.8)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- информационные технологии -- Интернет -- Пролог -- языки программирования -- Internet
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского

Найти похожие

20.

Н. Г. Чернышевский. Статьи, исследования и материалы [Текст] : сборник научных трудов / Сарат. гос. ун-т им. Н. Г. Чернышевского, Пед. ин-т, Музей-усадьба Н. Г. Чернышевского ; редкол.: А. А. Демченко (отв. ред.) [и др.]. - Саратов : Издательский центр "Наука". - Загл., сост. каталогизатором : Чернышевский. Статьи, исследования и материалы.
Вып. 16. - Саратов : Издательский центр "Наука", 2007. - 190, [2] с. - ISBN 978-5-91272-092-9 : 50.00 р.

УДК

821.161.1.09(082)

929Чернышевский

929