Данная программа направлена на развитие у обучающихся навыков решения задач с применением таких подходов к решению, которые наиболее типичны и распространены в областях деятельности, традиционно относящихся к информатике. Применение формальной логики при решении задач – построение выводов путем применения к известным утверждениям логических операций «если-то», «и», «или», «не» и их комбинаций. Применение алгоритмического подхода к решению задач умение планирования последовательности действий для достижения какой-либо цели, а также решения широкого класса задач, для которых ответом является не число или утверждение, а описание последовательности действий.