LINUX.ORG.RU

История изменений

Исправление AntonI, (текущая версия) :

теория массивов это часть математической логики, позволяющая доказать средствами математической логики что алгоритм с массивом делает ровно то, что нужно.

ЗЫ одна из первых ссылок по запросу «теория массивов математическая логика».

https://mk.cs.msu.ru/images/archive/d/d1/20190421171710%21Mathlog_318_lecture_12.pdf

Исходная версия AntonI, :

теория массивов это часть математической логики, позволяющая доказать средствами математической логики что алгоритм с массивом делает ровно то, что нужно.