Theory of computation: from guaranteed estimation of errors to modern computer technologies - I. V. Serhiienko; V. K. Zadiraka; I. V. Shvidchenko (Visnyk of the National Academy of Sciences of Ukraine, 2020)