(←) предыдущая запись ; следующая запись (→)
Вообще говоря, информатика делится на две диаметрально противоположные ветви.
Алгоритмическая информатика — это такая математика с приложением в компьютерных вычислениях. Наука про то, как сделать программу, корректно обрабатывающую любой случай, и как доказать корректность своего решения. Как правило, в алгоритмической информатике есть чёткая задача и не менее чёткое решение — математическая модель и её имплементация в коде.
Научиться «доказывать» программы — полезный навык, развивающий навык глубокого и чёткого анализа проблемы. И пожалуй, информатические доказательства и «показательства» — более удачный объект для учёбы, чем геометрические теоремы, которые принято выводить от аксиом.
(2/3)