Символическая запись определений и теорем

Символическая запись используется для того, чтобы люди, находящиеся в разных странах мира и говорящие на разных языках, могли понимать друг друга.

Пример: число A называется пределом числовой последовательности тогда и только тогда, когда для любого E больше <0> существует такое число N, что для любого n, где n больше либо равно N, выполняется условие, что модуль разности числа A и любого числа последовательности меньше E.

Вопросы для контроля:

1. Кванторы общности и существования.

2. Квантификация многоместных высказывательных форм.

3. Отрицание предложений с кванторами.

4. Численные кванторы.

5. Символическая запись определений и теорем.

Раздел 9. Алгоритмы. Свойства алгоритмов.

Дата добавления: 2014-01-06