Создание функции округления в нотации Z
В Z-нотации /Object-Z создайте функцию с именем round, которая возвращает ближайшее целочисленное значение заданного действительного числа. Рассмотрим точность до одной десятичной точки.
Я действительно не уверен, как это определить. Может быть, это может быть рекурсивно, но я не могу понять это
Это все, что я действительно имею до сих пор. Не знаю, как это определить.
круглый: R->Z
для всех n в R