Czy przeciążenie metod jest przykładem realizacji zasady polimorfizmu w programowaniu obiektowym?

Tak, przeciążanie metod (method overloading) jest przykładem polimorfizmu w programowaniu obiektowym, a konkretnie — polimorfizmu czasu kompilacji (polimorfizm statyczny).

Przeciążanie występuje, gdy w jednej klasie istnieje kilka metod o tej samej nazwie, ale różniących się parametrami (typem, ilością lub kolejnością). Kompilator wybiera odpowiednią metodę na etapie kompilacji w zależności od przekazanych argumentów.

Przykład:

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

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

Tutaj metoda add jest przeciążona do obsługi liczb całkowitych i zmiennoprzecinkowych.