A metódus túlterhelés példája a polimorfizmus elvének megvalósításának az objektumorientált programozásban?

Igen, a metódus túlterhelés (method overloading) példája az objektumorientált programozásban a fordítási időbeli polimorfizmusnak (statikus polimorfizmusnak).

A túlterhelés akkor fordul elő, amikor egy osztályban több ugyanazzal a névvel rendelkező, de különböző paraméterekkel (típus, szám vagy sorrend) rendelkező metódus létezik. A fordító a fordítási időben választja ki a megfelelő metódust a megadott argumentumok alapján.

Példa:

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

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

Itt az add metódus túlterhelt, hogy egész és lebegőpontos számokkal is működjön.