Можливості сучасної обчислювальної техніки дають змогу переходити до чисельно-аналітичного розв’язування широких класів наукових та прикладних задач недосяжної раніше складності. Але таке поширення області ...
Дается исторический обзор и основная библиография по развитию и использованию компьютерной алгебры в Институте прикладной математики имени М.В. Келдыша Российской академии наук, одном из ведущих и первых ...
Стаття присвячена деяким положенням, які запропонував академік В.М. Глушков, та їх подальшому розвитку в роботах
автора статті. Зокрема, це стосується прогнозування розвитку обчислювальних засобів, ЗДАС, критеріїв ...
Предложены основные концептуальные положения подхода к созданию (выбору) распределенных баз данных информационно-поисковых систем с ориентацией на применение инструментальных средств информационной поддержки. ...
В настоящей работе результаты из первых двух частей представленного исследования оформлены в математически законченную цепь доказательств. С этой целью доказана теорема, основополагающая для всего ...
Решается проблема построения эффективных целеориентированных секвенциальных исчислений для классической логики первого порядка (без равенства). Приводятся результаты об их корректности и полноте. Устанавливается ...
Предложен нейросетевой подход к корреляции сообщений о неисправностях в глобальной сети ЭВМ с динамической маршрутизацией. Рассмотрены модель глобальной сети ЭВМ и типичные сценарии неисправностей. Показаны ...
Статья посвящена результатам, полученным в рамках интеграции алгебры алгоритмики и современных объектно-ориентированных средств. Рассмотрены средства построения семейств алгоритмических алгебр, ассоциированных ...