Je přetížení metod příkladem implementace principu polymorfismu v objektově orientovaném programování?

Ano, přetížení metod (method overloading) je příkladem polymorfismu v objektově orientovaném programování, konkrétně statického polymorfismu (polymorfismus času kompilace).

Přetížení nastává, když ve stejné třídě existuje několik metod se stejným názvem, ale s různými parametry (typem, počtem nebo pořadím). Kompilátor vybírá správnou metodu během kompilace na základě předaných argumentů.

Příklad:

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

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

Zde je metoda add přetížena tak, aby pracovala s celými a desetinnými čísly.