Значение перемееной s после выполнение данного алгоритма k:=1 s:=1 n:=8

S будет равна единице, в паскале двоеточие + равно используется как оператор присвоения.