Выпуск 3https://lib.nsu.ru/xmlui/handle/nsu/16422024-03-28T23:19:26Z2024-03-28T23:19:26ZОб алгебрах, изоморфных любой своей подалгебреПинус, Александр Георгиевичhttps://lib.nsu.ru/xmlui/handle/nsu/19382014-10-23T03:17:22Z2009-01-01T00:00:00ZОб алгебрах, изоморфных любой своей подалгебре
Пинус, Александр Георгиевич
Приводится описание типов изоморфизма верхних полурешеток подалгебр алгебр, изоморфных своим подалгебрам.
2009-01-01T00:00:00ZКритерий полноты для недоопределенных частичных булевых функцийПантелеев, Владимир Иннокентьевичhttps://lib.nsu.ru/xmlui/handle/nsu/19372014-10-23T03:17:21Z2009-01-01T00:00:00ZКритерий полноты для недоопределенных частичных булевых функций
Пантелеев, Владимир Иннокентьевич
Рассматриваются булевы функции с двумя видами неопределенности. Вводится соответствующее определение суперпозиции, замкнутых классов и доказывается критерий полноты.
2009-01-01T00:00:00ZО свойствах решений одной системы, возникающей при моделировании многостадийного синтеза веществаМатвеева, Инесса ИзотовнаПопов, Артем Михайловичhttps://lib.nsu.ru/xmlui/handle/nsu/19362014-10-23T03:17:17Z2009-01-01T00:00:00ZО свойствах решений одной системы, возникающей при моделировании многостадийного синтеза вещества
Матвеева, Инесса Изотовна; Попов, Артем Михайлович
Рассматривается задача Коши для системы дифференциальных уравнений, возникающей при моделировании многостадийного синтеза вещества. Изучаются свойства последней компоненты решения, описывающей концентрацию конечного продукта синтеза, в зависимости от параметра τ , характеризующего время протекания процесса синтеза. Устанавливается непрерывная зависимость от τ с указанием оценок на модуль непрерывности, доказывается равномерная сходимость при τ, стремящемся 0, при этом предельная функция является решением задачи Коши для одного обыкновенного дифференциального уравнения.
2009-01-01T00:00:00ZЛогические архитектуры и объектно-ориентированный подходМалых, Антон АлександровичМанцивода, Андрей ВалерьевичУльянов, Владимир Сергеевичhttps://lib.nsu.ru/xmlui/handle/nsu/19352014-10-23T03:17:21Z2009-01-01T00:00:00ZЛогические архитектуры и объектно-ориентированный подход
Малых, Антон Александрович; Манцивода, Андрей Валерьевич; Ульянов, Владимир Сергеевич
Дескриптивные логики имеют большие возможности для обработки данных и знаний в мировой информационной среде. Semantic Web (SW) преобразует этот потенциал в гармоничный подход, ориентированный на модернизацию всемирной паутины. К сожалению, ряд проблем затрудняет продвижение идей SW в интернете. В частности, логика слишком тяжела для решения большинства повседневных задач веб-разработки, и слишком трудна для основной массы разработчиков. В данной статье рассматривается подход, базирующийся на идее логических архитектур и ориентированный на преодоление этих трудностей.
2009-01-01T00:00:00Z