Сводный каталог книг

[Текст] : тезисы докладов. Ч.V / РАН; Сиб. отд-ние; Ин-т математики им. С.Л. Соболева. - Новосибирск : Институт математики им. С.Л. Соболева, 1998. - 166 с. - Список авторов: с.167-171. - ISBN 5-86134-050-1 : 5.00 р.ББК В19

Аннотация: Выпуск содержит тезисы 344 докладов, представленных на секции: Алгебра, компьютерная алгебра и математическая логика, Теория и методология создания систем информатики, Компьютерная графика, Параллельные вычисления и нейронные сети, Гуманитарная математика, Методы оценки взаимосвязи "Окружающая среда - Здоровье населения", Подходы к оценке и прогнозированию риска здоровью, Информатика в образовании и методика преподавания математики. Издание осуществлено при финансовой поддержке Российского фонда фундаментальных исследований (код проекта 98-01-100013), Федеральной целевой программы "Интеграция" (проект 1997 г., рег. номер 810) и Президиума Сибирского отделения РАН.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / И.В. Тарасюк ; Отв. ред. В.Н. Касьянов ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Гео, 2007. - 321 с. : ил. - Предм. указ.: с. 316-321. - Библиогр.: с. 287-315. - ISBN 978-5-9747-0098-9 : 10.00 р., 10.00 р.

ГРНТИ	27.47
УДК	519.7^V3	519681.3

ББК В18 + З973.22 + В192.1

Аннотация: В монографии разработан и исследован широкий спектр поведенческих эквивалентностей на таких известных формальных моделях для спецификации и анализа параллельных систем, как сети Петри и алгебры процессов. Отношения эквивалентности изучены также на подклассах и расширениях этих моделей: временных и стохастических сетях Петри, алгебрах стохастических процессов. Для студентов, аспирантов и исследователей, интересующихся теоретической информатикой, в частности, формальным моделированием и анализом свойств поведения параллельных систем и процессов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Касьянов, В.Н. \ред.\
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИВМ-Фонд (1), ЦНБ-АБ (1)

[Текст] / Б.А. Кулик, А.А. Зуенко, А.Я. Фридман. - Санкт-Петербург : Издательство Политехнического университета, 2010. - 235 с. : ил., табл. ; 20 см. - Библиогр.: с. 216 - 223. - Предм. указ.: с. 231 - 233. - 300 экз. - ISBN 978-5-7422-2836-3 : Б. ц.

ГРНТИ	27.03
УДК	004.657

ББК З 811в641 + В123

Аннотация: В книге представлен новый математический аппарат – алгебра кортежей (АК), которая относится к классу булевых алгебр и позволяет реализовать алгебраический подход к логическому анализу в системах искусственного интеллекта. В АК, в отличие от формальных систем, где основа – символьные конструкции, в качестве базового выбрано понятие “многоместное отношение” и предложены обобщения операций алгебры множеств для работы с отношениями, заданными в разных схемах. Это позволило расширить возможности существующих систем обработки данных и знаний, основанных на бинарных и реляционных отношениях. АК дает возможность унифицировать представление и анализ как данных, так и знаний, и, следовательно, решить проблему сопряжения баз данных и баз знаний в рамках одной программной системы. Алгоритмы обработки отношений, записанных в виде АК-объектов, хорошо поддаются распараллеливанию. Кроме того, разработаны дополнительные методы уменьшения трудоемкости, а в некоторых случаях – и вычислительной сложности интеллектуальных процедур. В алгебре кортежей, помимо известных методов логических исчислений, реализованы новые алгебраические методы проверки корректности следствия и поиска следствий из заданной системы аксиом. В ходе вывода учитывается внутренняя структура обрабатываемых знаний, что ускоряет решение стандартных задач логического анализа. Помимо логического вывода, АК служит для формализации широкого круга логических задач (абдуктивные и модифицируемые заключения, моделирование графов и семантических сетей, экспертных правил и т.д.).

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Зуенко, Александр Анатольевич; Фридман, А.Я.; Российская ассоциация искусственного интеллекта
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)