Формализация задачи

На этом этапе происходит фиксация информационной модели, выбирается форма представления данных, образующих информационную модель, наиболее удобная для компьютерной обработки. Часто первые два этапа не имеют четкой границы и могут рассматриваться как единое целое.

Рассмотрим пример.

Задача. Определить, успеют ли к поезду путешественники, которые отправились от места стоянки к станции на автомобиле.

Построение информационной модели. Существенными характеристиками являются: расстояние от места стоянки до станции; время, которое осталось до отхода поезда; характер движения автомобиля. Предположим, что автомобиль двигался с некоторой начальной скоростью и постоянным ускорением. Тогда время, которое автомобиль находился в пути, надо сравнить с имеющимся запасом времени и сделать соответствующий вывод. Время в пути можно определить из соотношения между расстоянием, начальной скоростью и ускорением, которые будут являться исходными данными. Все эти характеристики имеют числовые значения (вещественные числа) и должны быть положительны. Промежуточный результат – время в пути – также должен выражаться положительным числом. Кроме того, значения начальной скорости и ускорения должны быть в пределах разумного. Единицы измерения: км, час, км/час, км/час за час.

Формализация.

Исходные данные:

S - расстояние от места стоянки до станции

tz - запас времени до отхода поезда

V₀ - начальная скорость

а - ускорение

Результат: сообщение о том, успеют ли путешественники на поезд.

Это корень квадратного уравнения. Его дискриминант и корни: