Да, перегрузка методов (method overloading) является примером полиморфизма в объектно-ориентированном программировании, а именно — полиморфизма времени компиляции (статического полиморфизма).

Перегрузка — это когда в одном классе существуют несколько методов с одинаковым именем, но разными параметрами (типом, количеством или порядком). Компилятор выбирает нужный метод на этапе компиляции в зависимости от переданных аргументов.

Пример:

class Calculator {
    int add(int a, int b) {
        return a + b;
    }

    double add(double a, double b) {
        return a + b;
    }
}

Здесь метод add перегружен для работы с целыми и вещественными числами.

Является ли перегрузка методов примером реализации принципа полиморфизма в объектно-ориентированном программировании?