Содержание

17.Теоретико-множественный смысл частного целого неотрицательного числа и натурального. Определение частного через произведение. Теоремы существования частного с доказательством. Правило деление суммы на число и числа на произведение.

18.Теоремы о делимости суммы, разности и произведения на число с доказательством.

19.НОД, НОК. Способы нахождения. Алгоритм Евклида.

20.Понятие числового выражения и его значения. Числовые равенства и неравенства. Основные свойства истинности числовых равенств и неравенств с доказательством.

21.Понятие уравнения с одной переменной и его решения. теоремы о равносильности уравнений с доказательством.

22.Понятие неравенство с одной переменной и его решение. теоремы о равносильности равенств с доказательством.

Выдержка из текста

7.Понятие предиката. Операции над предикатами: отрицание, эмпликация. Правило нахождения множества истин отрицания, эмпликации.

8.Высказывания, отрицания, квантеры.

9.Понятие умозаключений. Простейшие схемы дедуктивных умозаключений.

10.Понятие соответствия между элементами двух множеств. Способы задания соответствий. Соответствие обратное и противоположное данному.

11.Взаимно-однозначные соответствия. Равномощные множества.

12.Отношения на множестве. Способы их задания. Свойства отношений на множестве.

……………………………………………И Т. Д.

Список использованной литературы

Математика Л.П. Стойлова

Похожие записи