Теоретические основы информатики доцент кафедры информатики к ф Естественная форма числа примеры