| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


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

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
в найденном
В текущей базе данных найдено документов :26
 В других БД по вашему запросу найдено:Электронный каталог (18)Электронная библиотека (1)БД коллекций в фонде ЗНБ СГУ (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=пролог<.>)
Общее количество найденных документов : 26
Показаны документы с 1 по 20
 1-20    21-26 
1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

    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
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
8.

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

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

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

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

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

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

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

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

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


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

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

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

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



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

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

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

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

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

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

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


Доп. точки доступа:
Демченко, Адольф Андреевич \\редкол.\\ (отв. ред.)
Белов, Владимир Николаевич \\редкол.\\
Борисов, Юрий Николаевич \\редкол.\\
Захарова, И. Е. \\редкол.\\
Троицкий, Николай Алексеевич \\редкол.\\
Найти похожие
14.

    Гринченков, Дмитрий Валерьевич.
    Математическая логика и теория алгоритмов для программистов [Текст] : учеб. пособие / Д. В. Гринченков, С. И. Потоцкий. - Москва : КНОРУС, 2010. - 206, [2] с. - Библиогр.: с. 205-206 (24 назв.). - ISBN 978-5-406-00120-2 (в пер.) : 140.00 р.
Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
УДК
510.5(075.8)
510.6(075.8)

Рубрики: математика--математическая логика

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


Доп. точки доступа:
Потоцкий, Сергей Иванович
Найти похожие
15.

    Сергиевский, Г. М.
    Функциональное и логическое программирование [Текст] : учеб. пособие / Г. М. Сергиевский, Н. Г. Волченков. - М. : ИЦ "Академия", 2010. - 320 с. : ил. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 313-314. - ISBN 978-5-7695-6433-8 : 490.60 р.
Гриф: допущено Умо вузов по университет. политехн. образованию в качестве учеб. пособия для студ. вузов, обуч. по напр. "Информатика и вычислительная техника"
ГРНТИ
50.05.01.33
УДК
004.42(075.8)
ББК 32.973-018.2

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

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


Доп. точки доступа:
Волченков, Н. Г.
Найти похожие
16.

    Каймин, Виталий Адольфович.
    Информатика [Текст] : учебник / В. А. Каймин. - 6-е изд. - Москва : Инфра-М, 2010. - 283, [5] с. - (Высшее образование). - Библиогр.: с. 281-282 (27 назв.). - ISBN 978-5-16-003778-3 (в пер.) : 189.97 р.
Рекомендовано М-вом образования РФ в качестве учеб. для студентов вузов, обучающихся по естеств.-науч. направлениям и специальностям
УДК
004(075.8)

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

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

    Тюгашев, Андрей Александрович.
    Языки программирования [Текст] : учебное пособие для бакалавров и специалистов / А. А. Тюгашев. - Москва ; Санкт-Петербург [и др.] : Питер, 2015. - 333, [3] с. : ил. - (Учебное пособие) (Стандарт третьего поколения). - Библиогр.: с. 274-275 (24 назв.). - ISBN 978-5-496-01006-1 (в пер.) : 1012.80 р.
Допущено УМО вузов по образованию в обл. информац. безопасности Ин-та криптографии, связи и информатики Акад. ФСБ России в качестве учеб. пособия для студентов вузов, обучающихся по специальности 10.05.03 (090303) "Информационная безопасность автоматизированных систем"
УДК
004.43(075.8)

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

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

    Братко, И.
    Программирование на языке Пролог для искусственного интеллекта [Текст] / И. Братко ; под ред., пер. с англ. А. М. Степанова, пер. с англ. А. И. Лупенко. - М. : Мир, 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

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

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


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

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

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

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


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

    Стерлинг, Л.
    Искусство программирования на языке Пролог [Текст] / Л. Стерлинг, Э. Шапиро; пер. с англ. С. Ф. Сопрунова, Л. В. Шабанова; под ред. Ю. Г. Дадаева. - М. : Мир, 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

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

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


Доп. точки доступа:
Шапиро, Э.
Найти похожие
 1-20    21-26 
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)