Погнали.
В первом блоке у нас объявление переменных целого типа b равное 20 и и c равное нулю (0).
Следующий блок открывает цикл с условием, пока b (20) > 3, выполнять блок, который увеличивает значение переменной c = c + b и b = b - 5.
Накатав сей алгоритм на шарпе, вот результат лога из консоли:
