Чтобы определить значение переменной k, при котором на экран будет выведено число 17, давайте внимательно проанализируем код.

Исходные значения переменных:

• s = 1
• n = 0

Теперь рассмотрим цикл "нц для i от 1 до k". Этот цикл будет выполняться k раз. В каждой итерации цикла происходят следующие изменения:

• s := s * 2 (значение s удваивается)
• n := n + 3 (к значению n прибавляется 3)

Теперь давайте рассмотрим, как изменяются значения s и n в зависимости от k:

1. Если k = 1:
   • s = 1 * 2 = 2
   • n = 0 + 3 = 3
2. Если k = 2:
   • s = 1 * 2 * 2 = 4
   • n = 0 + 3 + 3 = 6
3. Если k = 3:
   • s = 1 * 2 * 2 * 2 = 8
   • n = 0 + 3 + 3 + 3 = 9
4. Если k = 4:
   • s = 1 * 2 * 2 * 2 * 2 = 16
   • n = 0 + 3 + 3 + 3 + 3 = 12
5. Если k = 5:
   • s = 1 * 2 * 2 * 2 * 2 * 2 = 32
   • n = 0 + 3 + 3 + 3 + 3 + 3 = 15

Теперь мы можем рассмотреть, какое значение n будет соответствовать s, равному 17. Мы видим, что ни одно из значений, полученных при k от 1 до 5, не дает s = 17. Однако, если продолжить проверять:

1. Если k = 6:
   • s = 1 * 2 * 2 * 2 * 2 * 2 * 2 = 64
   • n = 0 + 3 + 3 + 3 + 3 + 3 + 3 = 18

Таким образом, мы видим, что s = 16 и n = 12 при k = 4, а s = 32 и n = 15 при k = 5. Значит, чтобы получить 17, нам нужно проверить, что s и n не равны 17 одновременно при значении k.

Итак, чтобы на экран было выведено число 17, значение переменной k должно быть равно 5, так как при k = 5, n = 15 и s = 32, и при выводе s и n на экран, мы получим 17.

Ответ: k = 5