Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal ...

Построен базис дескриптологии как прагматической эпистемологии. Созданы прагматико-эпистемологические основания типологии. Разработан универсальный типологический метод эволюционного развития понятийной системы сущностной ...

Будуються нові логіки, які дозволяють більш адекватно описувати властивості предикатів та функцій, визначених над ієрархічними даними. Характерною властивістю цих логік є використання в їх мовах складних імен. Вивчаються ...

Дается обзор современной библиографии по теории мультимножеств и ее применениям; строится решетка мультимножеств.

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

Розглядається проблема поведінки програм щодо структурних трансформацій вхідних даних. Проведено уточнення проблеми та її формалізацію в рамках композиційно-номінативного підходу. Досліджено введені поняття та побудовано ...