Содержание
17.Теоретико-множественный смысл частного целого неотрицательного числа и натурального. Определение частного через произведение. Теоремы существования частного с доказательством. Правило деление суммы на число и числа на произведение.
18.Теоремы о делимости суммы, разности и произведения на число с доказательством.
19.НОД, НОК. Способы нахождения. Алгоритм Евклида.
20.Понятие числового выражения и его значения. Числовые равенства и неравенства. Основные свойства истинности числовых равенств и неравенств с доказательством.
21.Понятие уравнения с одной переменной и его решения. теоремы о равносильности уравнений с доказательством.
22.Понятие неравенство с одной переменной и его решение. теоремы о равносильности равенств с доказательством.
Выдержка из текста
7.Понятие предиката. Операции над предикатами: отрицание, эмпликация. Правило нахождения множества истин отрицания, эмпликации.
8.Высказывания, отрицания, квантеры.
9.Понятие умозаключений. Простейшие схемы дедуктивных умозаключений.
10.Понятие соответствия между элементами двух множеств. Способы задания соответствий. Соответствие обратное и противоположное данному.
11.Взаимно-однозначные соответствия. Равномощные множества.
12.Отношения на множестве. Способы их задания. Свойства отношений на множестве.
……………………………………………И Т. Д.
Список использованной литературы
Математика Л.П. Стойлова