Даването на методи е пример за реализиране на принципа на полиморфизма в обектно-ориентираното програмиране?

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

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

Пример:

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

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

Тук методът add е претоварен за работа с цели и десетични числа.