Это вроде 1)математическая формализация задачи - способ выражения содержания совокупности условий через опреленную форму - знаки искусственного языка.
2)отладка программы - это этап разработки на котором ищут и устаняют ошибки
3)тест - метод изучения процесов системы
Как то так
Если ответ по предмету Информатика отсутствует или он оказался неправильным, то попробуй воспользоваться поиском других ответов во всей базе сайта.