Programming as a discipline of mathematical nature