- •Вопросы 1й семестр 1 курс
- •Высказывания. Дизъюнкция. Конъюнция, импликация. Типы теорем. Доказать дизъюнктивную форму импликации. Доказать принцип контрапозиции.
- •1. 3.1. Высказывания
- •Понятие вектора. Линейная зависимость и линейная независимость векторов. Доказать теоремы о линейной зависимости.
- •Вектор (Гиббс) – математический объект, характеризуемый скалярной величиной, направлением и геометрическим характером сложения.
- •Доказать существование и единственность разложения по базису на плоскости и в пространстве.
- •Доказательство:
- •Скалярное произведение. Доказать его свойства.
- •Свойства скалярного произведения:
- •Дистрибутивность: .
- •Векторное произведение. Доказать его свойства.
- •Свойства векторного произведения:
- •Антикоммутативность: .
- •Дистрибутивность:
- •Смешанное произведение. Доказать критерий компланарности векторов.
- •Получить уравнение плоскости и прямой в пространстве.
- •Определение эллипса. Доказать его свойства.
- •Свойства эллипса
- •Доказательство:
- •Определение гиперболы. Доказать ее свойства.
- •Свойства гиперболы
- •Определение параболы. Доказать ее свойства.
- •Свойства параболы
- •Повехности второго порядка. Полчить уравнения цилиндрических поверхностей и поверхностей вращения.
- •3. Двуполостной гиперболоид:
- •Цилиндрические поверхности
- •9 . Гиперболический параболоид
- •Алгебраическая, тригонометрическая и показательная формы комплексного числа. Получить формулу Муавра и формулу извлечения корня n-ой степени из комплексного числа.
- •Решение:
- •Основная теорема алгебры. Доказать ее следствия.
- •Доказательство:
- •Доказательство леммы:
- •Доказательство:
- •Числовые множества, замкнутость. Показать непрерывность действительной оси. Понятие твг и тнг.
- •Бмп. Доказать свойства бмп.
- •Предел числовой последовательности. Доказать единственность предела последовательности.
- •Последовательности бывают:
- •Бмп (бесконечно малые последовательности);
- •3. Неограниченные;
- •Пример. Последовательность ограничена, но не является бмп.
- •Показать существование предела последовательности Бернулли. Число e.
- •Доказать принципы компактности и полноты.
- •Доказать основные теоремы о пределах.
- •Доказать существование первого замечательного предела.
- •Доказать существование второго замечательного предела.
- •Непрерывность функции. Доказать критерий непрерывности.
- •Сравнение функции в окрестности точки. Доказать формулы эквивалентности.
- •Производная функции (определение. Геометрический и физический смысл). Доказать правила дифференцирования.
- •Доказать теоремы о производной композиции функции, производная обратной функции и производной функции, заданной параметрически.
- •Доказать формулы для производных основных элементарных функций.
- •Дифференциал функции. Геометрический смысл производной и дифференциала.
- •Геометрический смысл дифференциала
- •Дифференциал функции
- •Физический смысл дифференциала
- •Первообразная и неопределенный интеграл. Доказать свойства неопределенного интеграла.
- •Доказать теоремы Лагранжа, Коши и Лопиталя.
- •Доказать формулу Тейлора.
- •Монотонность и экстремумы функции. Доказать необходимое и достаточное условие.
- •Выпуклость функци. Доказать необходимое и дотаточное условие для точки перегиба функции.
- •Конструкция определенного интеграла Римана.
- •Доказать свойства определенного интеграла и формулу Ньютона-Лейбница. Не Формула Ньютона-Лейбница
- •Несобственные интегралы первого рода. Признаки сходимости.
- •Несобственные интегралы второго рода. Признаки сходимости.
Вопросы 1й семестр 1 курс
Высказывания. Дизъюнкция. Конъюнция, импликация. Типы теорем. Доказать дизъюнктивную форму импликации. Доказать принцип контрапозиции.
1. 3.1. Высказывания
Определение 1. Высказыванием называется любое верифицируемое повествовательное предложение, т.е. предложение, относительно которого можно утверждать истинно оно или ложно.
Пример « » – высказывание; «сегодня хорошая погода» – не высказывание (для кого как!).
Определение 2. Предложение, содержащее переменную и обращающееся в высказывание при подстановке конкретных значений называют высказывательной формой.
Пример.
Определение 3. Множество всех возможных истинных интерпретаций высказывания называется смысловым полем (интерпретация – это форма представления информации).
Смысловое поле задано на своём универсуме – множестве всех возможных интерпретаций. Это позволяет высказывания, как и множества, изображать кругами Эйлера. В этом случае характеристическая функция для высказываний имеет вид:
.
A – высказывание, а – его интерпретация.
Определение 4. Сложным называется высказывание, составленное из простых с помощью логических операций: ù – неверно, что; – конъюнкция; – дизъюнкция; – импликация; – эквивалентность; и кванторов: – существует, – для всех, - тавтология (всегда истинно).
Опишем эти операции, используя понятие смыслового поля:
или ù А – неверно, что А;
–дизъюнкция («или»), совокупность (disjunctio – различие);
–конъюнкция («и»), система (conjunctio – союз);
–импликация, теорема (implictio – тесно связывать);
– эквивалентность (или ).
Это описание позволяет составить таблицы истинности для этих операций.
A |
B |
|
|
|
|
|
и |
и |
л |
и |
и |
и |
и |
и |
л |
л |
и |
л |
л |
л |
л |
и |
и |
и |
л |
и |
л |
л |
л |
и |
л |
л |
и |
и |
Теперь можно точно дать определения.
Определение 5 Дизъюнкцией двух высказываний и называется новое сложное высказывание , которое истинно тогда и только тогда, когда истинно хотя бы одно из высказываний или .
Определение 6. Конъюнкцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда истинны оба высказывания А & В.
Определение 7. Эквиваленцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда оба эти высказывания А и В истинны или оба ложны.
Определение 8. Импликацией двух высказываний и называется новое сложное высказывание , которое ложно тогда и только тогда, когда высказывание истинно, а высказывание ложно.
Импликация называется ещё теоремой. Тогда говорят, что достаточное условие для , – необходимое условие для . Теорема называется прямой, – обратной, – противоположная прямой, – противоположная обратной.
Теорема 3.Теорема эквивалентна дизъюнкции .
Теорема 1.Теорема эквивалентна теореме .
Теорема 2.Теорема эквивалентна .