Из сборника фипи крылова информатика 5 вариант

Начнем с того, что исправим текущий код. У вас используется цикл, но он совершенно здесь не нужен.
Вот программа без цикла. 

#include "stdafx.h"

#include <iostream>

using namespace std;

int main()

{

int d, m, y, i;

int max[12] = { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };

setlocale(0, "");

cout << "Введите день(число)";

cin >> d;

cout << "Введите месяц(число)";

cin >> m;

cout << "Введите год(число)";

cin >> y;

if ( (y % 4 == 0 && y % 100 != 0) || y % 400 == 0) //Проверка что год високосный

max[1]++;

if( d == max[m-1])

{

d = 1;

m++;

}

else

    d++;

if (m == 13)

{

m = 1;

y++;

}

cout << d << " " << m << " " << y;

cin >> d;//Ожидание ввода, чтобы посмотреть результаты пработы программы

return 0;

}

Эта программа определяет следующий день от текущего.

А вот программа, которая определяет предыдущий день.

#include "stdafx.h"

#include <iostream>

using namespace std;

int main()

{

int d, m, y, i;

int max[12] = { 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };

setlocale(0, "");

cout << "Введите день(число)";

cin >> d;

cout << "Введите месяц(число)";

cin >> m;

cout << "Введите год(число)";

cin >> y;

if ( (y % 4 == 0 && y % 100 != 0) || y % 400 == 0) //Проверка что год високосный

max[1]++;

if( d == 1)

{

if (m == 1)

{

m = 12;

y--;

}

else

m--;

d = max[m - 1];

}

else

    d--;

cout << d << " " << m << " " << y;

cin >> d;//Ожидание ввода, чтобы посмотреть результаты пработы программы

return 0;

}

Математическая модель (а также программа; зависит от того, что понимать под этапом формализации).

В учебнике выделяют такие этапы решения задачи на компьютере:

Исходные данные (результат - словесная информационная модель)Формализация (математическая модель)Алгоритмизация (алгоритм)Программирование (программа)Отладка, тестирование (уточнение модели)Выполнение расчетов (получение результатов)

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