Выкладываю контрольную к третьему занятию. Смотрите результаты проверки.

На четвертом занятии рассмотрены: натуральные числа, счетная индукция и рекурсия, арифметика, а также способы построения множеств целых, рациональных и действительных чисел.