История изменений
Исправление
AntonI,
(текущая версия)
:
теория массивов это часть математической логики, позволяющая доказать средствами математической логики что алгоритм с массивом делает ровно то, что нужно.
ЗЫ одна из первых ссылок по запросу «теория массивов математическая логика».
https://mk.cs.msu.ru/images/archive/d/d1/20190421171710%21Mathlog_318_lecture_12.pdf
Исходная версия
AntonI,
:
теория массивов это часть математической логики, позволяющая доказать средствами математической логики что алгоритм с массивом делает ровно то, что нужно.