ПРОГРАММНЫЕ ОШИБКИ:
Программные ошибки, как правило, делятся на три вида:
Неправильное употребление синтаксических конструкций.
Например, употребление оператора цикла for без () и {}.
Нарушение семантики той или иной конструкции,
Например передача функции
параметров, не соответствующих ее
аргументам.
Нарушение логики программы,
приводящее к неверному результату.
МЕТОДЫ ДОКАЗАТЕЛЬСТВА
ПРАВИЛЬНОСТИ ПРОГРАММ:
1)