Помогите, пожалуйста, написать структурированную программу и доказать ее правильность по определению семантики структурированных программ. Найти наименьшее число y такое, что на интервале [y;2y) есть не менее x простых чисел. Использовать s - прибавление 1, = , < , + , - , x, : - целочисленное деление, % - остаток от деления. 

У вас, наверное, возникнет вопрос, на каком языке нужно написать. Так вот, нам сказали в универе на языке Дудакова С.М. Этот язык описан в книжке С.М. Дудаков "Математическое введение в информатику" глава 3 "Структурированные программы" http://www.twirpx.com/file/371555/     

Если кто откликнется и поможет мне справится с этой нелегкой задачей, заранее благодарю за помощь!!!

Уважаемые форумчане. Помогите пожалуйста в решении следующей задачи. Как возможно перемножить ЛОГИЧЕСКИЕ матрицы, в которых компоненты условно говоря х1, х2 и т.п. В итоге необходимо получить также матрицу в переменных х1х2, и т.п. Как этот вопрос решается в современном научном пространстве. Если матрица небольшая то вопрос легко решается вручную, но вот если компонентов много, то уже проблема. Возможно это какая-то программа или еще что-нить.....помогите пожалуйста.

Some features are perfect for writing about in certain times of year, such as the beginning of summer vacation or at the winter holidays.
tunnel rush

Program: 

1: y:=2; 
2: xn:=0; 
3: while xn < x do 
4:   n:=y; 
5:   while n < 2*y do 
6:     p:=1; 
7:     d:=2; 
8:     while d < n do 
9:       if n mod d = 0 then 
10:         p:=0; 
11:       endif 
12:       d := d + 1; 
13:     endwhile 
14:     if p = 1 then 
15:       xn := xn + 1; 
16:     endif 
17:     n := n + 1; 
18:   endwhile 
19:   y := y + 1; 
20: endwhile 

Semantics: 

1: y:=2; // set y to 2 
2: xn:=0; // set xn to 0 
3: while xn < x do // repeat until xn reaches x