История изменений
Исправление Tark, (текущая версия) :
А чем код не алгебра? Может конечно заменить словесные конструкции символами и писать в латехе, только разница? Такой же формальный язык будет только печатать неудобнее.
Алгебра ведь сама по себе не гарантирует правильность записанных с помощью нее конструкций, типа 2+2=5.
Исходная версия Tark, :
А чем код не алгебра? Может конечно заменить словесные конструкции символами и писать в латехе, только разница? Такой же формальный язык будет только печатать неудобнее.