А когда s-целое - будет зависеть от правил конкретного языка, на котором программируется данный алгоритм. Например, в Паскале (синтаксис программы в задании ближе всего к Паскалю) операция "/" всегда выполняется, как деление вещественных чисел, поэтому выражение y + 2*j + j/2 всегда вещественное и попытка присвоить значение вещественного выражения целочисленной переменной s вызовет ошибку еще на стадии компиляции программы.