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