2. Использование полиморфизма в ооп.

Полиморфи́зм — возможность объектов с одинаковой спецификацией иметь различную реализацию.

Язык программирования поддерживает полиморфизм, если классы с одинаковой спецификацией могут иметь различную реализацию — например, реализация класса может быть изменена в процессе наследования. Кратко смысл полиморфизма можно выразить фразой: «Один интерфейс, множество реализаций».

Полиморфизм позволяет писать более абстрактные программы и повысить коэффициент повторного использования кода.

Примером полиморфизма является различная реализация методов отображения геометрических фигур на экране, различная реализация методов чтения\записи в классах-потоках, и др.

Виды полиморфизма.

1. Полиморфизм переопределения. При наследовании дочерний объект переопределяет метод или атрибут родителя.

2. Параметрический полиморфизм. В C++ перегрузка имён функций, шаблоны функций. Разные функции с одинаковыми идентификаторами могут принимать разные наборы аргументов различных типов. Назначение перегрузки, шаблонов: разрешить выполнять одну и ту же операцию с разными операндами, используя единственное имя функции.

// Перегрузка

int max(int num_1,int num 2);

double max(double num_1, double num 2);

int max (double num_1, double num 2);

{

If (num_1>num_2)

Return num_1;

Else Return num_2;

}

double max (double num_1, double num 2);

{

If (num_1>num_2)

Return num_1;

Else Return num_2;

}

// Шаблон

template<typename T> T max(T num_1, T num 2);

{

If (num_1>num_2)

Return num_1;

Else Return num_2;

}

2. Математическая логика и теория алгоритмов.

2.1. Логические операции. Таблицы истинности.

Высказывание – повествовательное предложение, о котором можно сказать истинно оно или ложно (На улице идёт дождь – высказывание, какая хорошая погода – не высказывание).

Высказывания А и В равносильны тогда и только тогда, когда истинностные значения А и В совпадают ( ).

Таблица истинности – таблица, описывающая логическую операцию (или функцию), в ней перечислены все значения логической операции для всех возможных значений аргументов.

Логические операции над высказываниями.

1. Отрицание. . Не а. Унарная операция.

   a
   0	1
   1	0

2. Конъюнкция. . a И b.

   a	b
   1	1	1
   1	0	0
   0	1	0
   0	0	0

3. Дизъюнкция. . a ИЛИ b.

   a	b
   1	1	1
   1	0	1
   0	1	1
   0	0	0

4. Импликация. . ЕСЛИ a, ТО b. a – посылка, b – заключение.

   a	b
   1	1	1
   1	0	0
   0	1	1
   0	0	1

5. Эквиваленция. . ТОГДА И ТОЛЬКО ТОГДА

a	b
1	1	1
1	0	0
0	1	0
0	0	1

Если х делится на 4, то x делится на 2.

А: х делится на 4.

B: х делится на 2.

Формулы.

1. Снятие импликации

2. Снятие эквиваленции

3. Переместительный (коммуникативный) закон ,

4. Сочетательный (ассоциативный) закон ,

5. Распределительный (дистрибутивный) закон , .

6. Законы Де Моргана ,

7. Законы поглощения , .

8. Законы идемпотентности , .

9. Законы нуля и единицы , , ,

10. Закон исключающего третьего

11. Закон противоречия

12. Закон двойного отрицания