Рассмотрены игры преследования на плоскости с простым движением, в которых принимают участие несколько преследователей и убегающих. Для захвата целей множество преследователей разбивается на группы, причем для каждого ...

Пропонуються певні операції над об’єктами, що описують деякі сутності, досліджується процес утворення множин та мультимножин об’єктів та пропонуються конструктивні методи їх створення (автоматичної генерації), що дозволяє ...

Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових не-однозначних квазіарних предикатів. Запропоновано розширення цих логік узагальненими реномінаціями та ...

Розглянуто технології швидкої розробки програмних систем, проаналізовано їх переваги та недоліки. Акцентовано важливість докладного вивчення і адекватного застосування. Показано, що швидкість розробки може бути не досягнена ...