Формализация программирование Программирование в примерах и задачах pdf