Рассмотрен математический аппарат (МА) алгебры конечных предикатов (АКП). АКП позволяет сформулировать новую информационно-вычислительную технологию постановки и решения задач, которые описываются разнообразными математическими уравнениями, сводимых к единой логико-математической форме - системам логических уравнений АКП. Уравнения АКП описывают функционирование многополюсных систем, т.е. систем, для которых не только входные сигналы могут подаваться на любые полюсы, но и съем выходных сигналов также может подаваться с любых полюсов. МА АКП открывает возможность перехода от алгоритмического описания информационных процессов к описанию их в виде уравнений.

Проанализирована и рассмотрена модель распределенных вычислений MapReduce, используемая для параллельных вычислений над большими наборами данных в компьютерных кластерах.