Web ИРБИС


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

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

Базы данных

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

Виды поиска

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

ЭБС "ЛАНЬ"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Страбыкин, Д. А.
Логический вывод в системах обработки знаний [Текст] / Д. А. Страбыкин ; Вятский гос. техн. ун-т. - СПб. : СПбГЭТУ, 1998. - 164 с. : ил. ; 20см. - ISBN 5762902250 : 27.00 р.

ГРНТИ	50.63.17
УДК	681.3.015

ББК 32.97

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

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

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

Перевозчикова, О. Л.
Диалоговые системы [Текст] / О. Л. Перевозчикова, Е. Л. Ющенко ; Ин-т кибернетики (Киев). - Киев : Наукова думка, 1990. - 184 с. : ил. ; 22 см. - Библиогр.: с. 180-183. - ISBN 5-12-001334-1 : 3.00 р.

ГРНТИ	50.05
УДК	681.3.015

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

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

Доп. точки доступа:
Ющенко, Е. Л.
Найти похожие

Растригин, Л. А.
С компьютером наедине [Текст] / Л. А. Растригин. - М. : Радио и связь, 1990. - 224 с. : ил. ; 21 см. - (Массовая радиобиблиотека ; вып. 1157). - ISBN 5-256-00441-1 : 1.20 р.

ГРНТИ	50.33.35
УДК	681.3.015

ББК 32.97

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

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

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

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

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

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

Расширенный

Авторизация

Фамилия

Пароль

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

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

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