¿Es la sobrecarga de métodos un ejemplo de la implementación del principio de polimorfismo en la programación orientada a objetos?

Sí, la sobrecarga de métodos (method overloading) es un ejemplo de polimorfismo en la programación orientada a objetos, específicamente del polimorfismo en tiempo de compilación (polimorfismo estático).

La sobrecarga ocurre cuando en una misma clase existen varios métodos con el mismo nombre, pero con diferentes parámetros (tipo, cantidad o orden). El compilador selecciona el método adecuado en tiempo de compilación según los argumentos pasados.

Ejemplo:

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

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

Aquí, el método add está sobrecargado para trabajar con números enteros y decimales.