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