Самоуправляемая вычислительная система

На страницах этой книги я попытаюсь показать с разных сторон, что представляет собой проект самоуправляемой вычислительной системы (СВС), охватывающей миллионы простейших логических вычислителей, совместно работающих над решением общей задачи. Для этого мне хочется сначала объяснить, каким образом через понимание структуры математической логики можно перейти к написанию строго логических программ, в которых уже заложены возможности организации естественного и массового параллелизма вычислений, а затем предложить ту аппаратную основу, на которой эти возможности реализуются.