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

Базы данных


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

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :26
 В других БД по вашему запросу найдено:Электронный каталог (18)Электронная библиотека (1)БД коллекций в фонде ЗНБ СГУ (1)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=Пролог<.>)
Общее количество найденных документов : 26
Показаны документы с 1 по 20
 1-20    21-26 
1.

Вид документа : Однотомное издание
Шифр издания : 674118
482(09)-3/Ш 42
Автор(ы) : Шелепова, Людмила Ивановна
Заглавие : Лексические разночтения в Прологе (по спискам XII-XVII вв.) : учеб. пособие
Выходные данные : Барнаул, 1992
Колич.характеристики :106 с
Примечания : Библиогр.
ISBN, Цена 5-230-29679-8: 7.00 р.
УДК : 808.2-02-3(075.8)
Предметные рубрики: языкознание-- славянские языки, 12-17 вв.
Ключевые слова (''Своб.индексиров.''): история русского языка--древнерусский язык--лексика--пролог--письменность древнеславянская--рукописи
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 658432
681.142.22/С 81
Автор(ы) : Стобо, Джон
Заглавие : Язык программирования Пролог : учеб. пособие
Параллельн. заглавия :Problem Solving with Prolog
Выходные данные : Москва: Радио и связь, 1993
Колич.характеристики :368 с
ISBN, Цена 5-256-00921-4: 450.00 р.
УДК : 004.43(075)
Предметные рубрики: вычислительная техника-- языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--пролог
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 276205
681.142.321/Т 46
Автор(ы) : Тихонов, Юрий Вениаминович
Заглавие : МПролог-язык логического программирования: Версия 2. 3 : рекомендовано Мин.образования
Выходные данные : Москва: Машиностроение, 1994
Колич.характеристики :80 с
Серия: Пользователю ПК
Примечания : Библиогр.
ISBN, Цена 5-217-01557-8: 500.00 р.
УДК : 004.43
Предметные рубрики: вычислительная техника-- языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--пролог
Аннотация: Приведена методика программирования на языке Пролог. Дано описание синтаксиса языка МПролог. Дано описание встроенных предикатов системы и ее графических возможностей. Приведено много примеров программ.
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 919528
681.142.2/Г 91
Автор(ы) : Грэй, Питер
Заглавие : Логика, алгебра и базы данных : научное издание
Выходные данные : Москва: Машиностроение, 1989
Колич.характеристики :360 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-217-00178-X , 0-470-2025: 3000.00 р.
УДК : 004.6
Предметные рубрики: вычислительная техника-- базы и банки данных
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--базы данных--экспертные системы--реляционное исчисление--кодасил концепция--пролог
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 151355
681.142.2/Ч-47
Автор(ы) : Чери, Стефано, Готлоб Г., Танка Л.
Заглавие : Логическое программирование и базы данных : научное издание
Параллельн. заглавия :Logic Programming and Databases
Выходные данные : Москва: Мир, 1992
Колич.характеристики :352 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-03-002472-7: 4000.00 р.
УДК : 004.6 + 004.4
Предметные рубрики: вычислительная техника-- базы и банки данных-- программирование
Ключевые слова (''Своб.индексиров.''): логическое программирование --базы данных--пролог--дейталог
Аннотация: В книге изложены подходы к построению дедуктивных баз данных, которые были разработаны с их участием в рамках европейских проектов по созданию новых поколений вычислительных систем.
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 297765
681.142(07)/К 15
Автор(ы) : Каймин, Виталий Адольфович
Заглавие : Научные основы и методика преподавания информатики : Метод. рекомендации для учителей и студентов педвузов
Выходные данные : Псков: Б. и., 1992
Колич.характеристики :159 с.: ил.
Примечания : Библиогр.
Цена : 2500.00 р.
УДК : 004(072)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--компьютерная грамотность--пролог
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 623140
681.142.22/G41
Автор(ы) : Geske, Ulrich
Заглавие : Prolog: Grundlagen-Programmiermethoden-Standards : научное издание
Выходные данные : Berlin: Akad.-Verl., 1993
Колич.характеристики :331 S.: Abb.
Серия: Informatik; Bd. 7.
Примечания : Bibliogr.
ISBN, Цена 3-05-501517-7: 273000.00 р.
УДК : 004.43
Предметные рубрики: вычислительная техника-- языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--пролог--программирование--prolog
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 779188
681.142(075)/К 15
Автор(ы) : Каймин, Виталий Адольфович
Заглавие : Информатика : Учеб. для студентов вузов по естеств.-науч. спец. . -2-е изд., перераб. и доп.
Выходные данные : Москва: Инфра-М, 2002
Колич.характеристики :271, [1] c.: ил.
Серия: Высшее образование
Примечания : Библиогр.
ISBN (в пер.), Цена 5-16-000612-5: 56.56 р.
УДК : 004(075.8)
Предметные рубрики: вычислительная техника-- ЭВМ
Ключевые слова (''Своб.индексиров.''): информатика--информационные технологии--интернет--персональный компьютер (пк)--базы данных--пролог--языки программирования--internet
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 450394
681.142(075)/К 15
Автор(ы) : Каймин, Виталий Адольфович
Заглавие : Информатика : учеб. для студентов высш. учеб. заведений, обучающихся по естеств.-науч. направлениям и специальностям . -4-е изд.
Выходные данные : Москва: ИНФРА-М, 2004
Колич.характеристики :283, [5] с
Серия: Высшее образование
Примечания : Библиогр.: с. 281-282 (27 назв.)
ISBN (в пер.), Цена 5-16-001928-6: 103.103 р.
УДК : 004(075.8)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--информационные технологии--интернет--пролог--языки программирования--internet
Аннотация: Изложены практические и теоретические основы информатики, включая вопросы работы на ЭВМ и в Интернет, а также методы решения задач с использованием электронных таблиц, баз данных и языков программирования Бейсик и Паскаль.
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 458346
8Р13-3-628Р113/Д 36
Автор(ы) : Державина, Ольга Александровна,
Заглавие : Древняя Русь в русской литературе XIX века. (Сюжеты и образы древнерусской литературы в творчестве писателей XIX века) ; Пролог. Избранные тексты
Выходные данные : Москва: ИМЛИ АН СССР, 1990
Колич.характеристики :416 с
Коллективы : Акад. наук СССР, Ин-т мировой лит. им. А. М. Горького
Примечания : Имен. указ.: с. 392-412
ISBN, Цена [Б. и.]: 35.00 р.
УДК : 882.09 + 929
Предметные рубрики: литературоведение-- русская литература --Россия, 19 в.; 17 в.
Ключевые слова (''Своб.индексиров.''): персоналии--русская литература--древнерусская литература--литературные образы--литературные сюжеты--сюжеты исторические--пролог
Найти похожие

11.

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

12.

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

13.

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

14.

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

15.

Вид документа : Однотомное издание
Шифр издания : 004(075)/С 32
Автор(ы) : Сергиевский Г. М., Волченков Н. Г.
Заглавие : Функциональное и логическое программирование : учеб. пособие
Выходные данные : М.: ИЦ "Академия", 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.

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

17.

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

18.

Вид документа : Однотомное издание
Шифр издания : 681.3/Б 87
Автор(ы) : Братко И.
Заглавие : Программирование на языке Пролог для искусственного интеллекта
Выходные данные : М.: Мир, 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.

Вид документа : Однотомное издание
Шифр издания : 8Р2/Л 64
Автор(ы) : Державина О. А., Демин А. С., Елеонская А. С., Капица Ф. С., Курилов А. С., Сазонова Л. И., Черная Л. А.
Заглавие : Литературный сборник XVII века "Пролог". Русская старопечатная литература (XVI-первая четверть XVIII в.)
Выходные данные : М.: Наука, 1978
Колич.характеристики :287 с.: ил.; 20см
Цена : 1.50 р.
ГРНТИ : 17.09
УДК : 8Р2
Предметные рубрики: Литературоведение-- История литературы-- Русская литература
Ключевые слова (''Своб.индексиров.''): древнерусская литература--литература xviii века--литература 17 века--"пролог"--исследование литературы--историческая поэтика--история россии--культура россии
Аннотация: Настоящий коллективный труд посвящён популярнейшему на Руси старопечатному сборнику XVII в. под названием Пролог, включавшему в себя более 2000 литературных сюжетов. В монографическом исследовании рассматриваются издания Пролога в их связи с культурно-политическими условиями XVII в. К исследованию приложено описание содержания Пролога.
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : 681.3/С 79
Автор(ы) : Стерлинг Л. , Шапиро Э.
Заглавие : Искусство программирования на языке Пролог
Выходные данные : М.: Мир, 1990
Колич.характеристики :335 с.: ил.; 24 см
Примечания : Библиогр.: с. 318-323. - Прил.: с. 312-317; предм. указ.: с. 324-328
ISBN, Цена 5-03-000406-8: 2.70; 270.00 р.
ГРНТИ : 50.05.09
УДК : 681.3.06:519.6
ББК : 32.973-01
Предметные рубрики: Вычислительная техника-- Языки программирования
Ключевые слова (''Своб.индексиров.''): языки программирования--пролог--базы данных--рекурсивное программирование--металогические предикаты--внелогические предикаты--метаинтерпритаторы--игровые программы
Аннотация: В книге излагаются основы логического программирования. Дается описание языка Пролог.
Найти похожие

 1-20    21-26 
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

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