Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Степанов, М. Ф.
Основы проектирования экспертных систем технической диагностики [Текст] : учеб. пособие для студ.спец.210100 / М. Ф. Степанов ; Саратовский гос. техн. ун-т. - Саратов : СГТУ, 2000. - 117 с. ; 21см. - ISBN 5-7433-0657-5 : 20.50 р.

ГРНТИ	50.43.01.33
УДК	681.518.2(075.8)

ББК 32.81

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

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

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

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

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

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

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

Грэй, П.
Логика, алгебра и базы данных [Текст] : пер. с англ. / П. Грэй. - М. : Машиностроение, 1989. - 368 с. : ил. ; 22см. - ISBN 5-217-00178-Х : 1.80 р.

ГРНТИ	27.03	27.17
УДК	510.6+512

ББК 32.965

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

Математика--Линейная алгебра

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

Вишняков, В. А.
Аппаратно-программные средства процессов логического вывода [Текст] / В. А. Вишняков, Д. Ю. Буланже, О. В. Герман. - М. : Радио и связь, 1991. - 264 с. : ил. ; 21см. - ISBN 5256006061 : 5.00,22300.00,53.00 р.

ГРНТИ	50.09.31
УДК	681.325.5

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

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

Доп. точки доступа:
Буланже, Д. Ю.
Герман, О. В.
Найти похожие

Доорс, Дж .
Пролог-язык программирования будущего [Текст] / Дж.Доорс,А.Р.Рейблейн,С.Вадера;Пер.с англ.А.Н.Волкова. - М. : Финансы и статистика, 1990. - 144 с. : ил. ; 20см. - ISBN 5279004448 : 1.10 р.
Доп.тит.л.англ.

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

ББК 24.4.1

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

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

Каймин, В. А.
Информатика [Текст] : учебник для вузов / В. А. Каймин. - 3-е изд. - М. : ИНФРА-М, 2003. - 272 с. : ил. ; 22 см. - (Высшее образование). - ISBN 5-16-001393-8 : 79.00,79.09 р.
Рекомендовано М-вом образования РФ. Библиогр.: с. 268-269 (22 назв.)

ГРНТИ	50.01.33
УДК	681.3:002.5/6(075.8)

ББК 32.97

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

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

Братко, И.
Алгоритмы искусственного интеллекта на языке PROLOG [Текст] : научное издание / И. Братко ; пер. с англ. К. А. Птицина. - 3-е изд. - М. ; СПб. ; Киев : Вильямс, 2004. - 640 с. : ил. ; 24 см. - ISBN 5-8459-0664-4 : 537.57 р.
Парал. тит. л. на англ. яз.

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

ББК 32.973.26-181.1

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

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

Доп. точки доступа:
Птицин, К. А.
Найти похожие

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

ГРНТИ	50.01.33
УДК	004(075.8)

ББК 32.97

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

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

Цуканова, Н. И.
Логическое программирование на языке Visual Prolog [Текст] : учеб. пособие / Н. И. Цуканова, Т. А. Дмитриева. - М. : Горячая линия - Телеком, 2008. - 144 с. : ил. ; 21 см. - (Учебное пособие для высших учебных заведений). - Библиогр.: с. 141 (14 назв.). - ISBN 978-5-9912-0033-2 : 236.17 р.
Гриф: допущено УМО вузов по унив. политехническому образованию в качестве учеб. пособия для студ. вузов, обучающихся по спец. 230105-"Программное обеспечение вычислительной техники и автоматизированных систем"

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

ББК 32.973.26-018.1

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

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

Доп. точки доступа:
Дмитриева, Т. А.
Найти похожие

10.

Сосинская, С. С.
Представление знаний в информационной системе. Методы искусственного интеллекта и представления знаний [Текст] : учеб. пособие / С. С. Сосинская. - Старый Оскол : ТНТ, 2019. - 216 с. : ил. ; 20 см. - Библиогр.: с. 215 (9 назв.). - ISBN 978-5-94178-254-3 : 513.19 р.
Гриф: допущено Умо вузов по образованию в обл. автоматизир. машиностроения (УМО АМ) в качестве учеб. пособия для студ. вузов, обуч. по напр. "Конструкторско-технол. обеспечение машиностроит. пр-в"

ГРНТИ	28.23.01.33	50.05.01.33
УДК	004.8+004.41(075.8)

ББК 32.813 + 32.973.26-018.1

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

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

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

11.

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

ББК 22.18

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

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

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

Стандартный (по одному полю)

По словарю (по одному полю)

Профессиональный (по нескольким полям со словарями)

Распределенный (г. Саратов)

Расширенный

Авторизация

Фамилия

Пароль

Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru

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