Аннотация:
Рассматриваются основные соотношения нового математического аппарата – алгебры кортежей, в котором сочетаются простота и ясность алгебры множеств и в то же время появляется возможность моделировать системы и разрабатывать алгоритмы для сложных моделей исчисления высказываний и предикатов. Во второй части показаны возможности алгебры кортежей для моделирования вероятностных систем.