1.В машинном представлении количество возможных значений чисел конечно
Да, это верно. Для любых типов и форматов чисел оно ограничено длиной разрядной сетки, в которой представляются эти числа.
2.Не существует наибольшего вещественного числа в машинном представлении
Нет, неверно. Поскольку количество возможных значений чисел конечно (см. 1), то существуют их наибольшее и наименьшее значение в представлении.
3.Результаты вычислений для вещественных чисел будут совершенно точными
Нет, неверно. Не любое десятичное число может быть точно представлено в двоичной системе, тем более, при ограниченной длине разрядной сетки.
4.Результаты вычислений для вещественных чисел будут заведомо неточными, содержащими неизбежную погрешность.
Верно не всегда. Если исходные числа и результат операции между ними точно представляются на разрядной сетке, то и результат вычислений будет точным.
5.Вещественные числа в компьютере заменяются их кодами, которые образуют конечное дискретное множество.
Фактически так оно и происходит.