Помогите, пожалуйста, написать структурированную программу и доказать ее правильность по определению семантики структурированных программ. Найти наименьшее число y такое, что на интервале [y;2y) есть не менее x простых чисел. Использовать s - прибавление 1, = , < , + , - , x, : - целочисленное деление, % - остаток от деления.
У вас, наверное, возникнет вопрос, на каком языке нужно написать. Так вот, нам сказали в универе на языке Дудакова С.М. Этот язык описан в книжке С.М. Дудаков "Математическое введение в информатику" глава 3 "Структурированные программы" http://www.twirpx.com/file/371555/
Если кто откликнется и поможет мне справится с этой нелегкой задачей, заранее благодарю за помощь!!! |