ДМ ответы. Вопросы_ДМ. Дискретная математика. Вопросы Высказывания. Основные логические операции и их таблицы истинности

• Название: Дискретная математика. Вопросы Высказывания. Основные логические операции и их таблицы истинности
• Анкор: ДМ ответы
• Дата: 02.03.2022
• Размер: 4.69 Mb.
• Имя файла: Вопросы_ДМ .doc
• Тип: Документы; #379924

Дискретная математика. Вопросы

1. 
   Высказывания. Основные логические операции и их таблицы истинности.
   

Стандартными блоками формальной логики являются высказывания. Высказыванием является утверждение, которое может быть истинным (обозначается буквой И) или ложным (обозначается буквой Л).

2. 
   Порядок выполнения логических операций. Дополнительные логические операции и их таблицы истинности.
   

3. 
   Основные законы, вытекающие из свойств логических операций.
   

4. 
   Булевы функции. Основные законы Булевых функций
   

5. 
   Конъюнктивные и дизъюнктивные нормальные формы. Построение СКНФ и СДНФ.
   

6. 
   Многочлен Жегалкина. Построение многочлена Жегалкина.
   

7. 
   Множество, подмножество, способы задания множеств. Операции над множествами. Законы для объединения и пересечения
   

8. 
   Универсальное множество. Соотношения между множествами и соответствующими им множествами истинности. Законы для объединения и пересечения.
   

9. 
   Доказательство равенства множеств (рассмотреть на примере). Соотношения между множествами и составными высказываниями. Законы для дополнений и разности множеств.
   

10. 
    Прямое произведение множеств. Кортежи. Бинарные отношения. Функции.
    

11. 
    Отображение множеств. Отображение сюръективное и инъективное, биективное. Функции.
    

12. 
    Метод математической индукции. При помощи метода математической индукции доказать формулы арифметической и геометрической прогрессии.
    

13. 
    При помощи метода математической индукции доказать формулу для размещений. Перестановки. Сочетания. Комбинаторика с повторениями.
    

14. 
    Размещения с повторениями. Перестановки с повторениями. Сочетания с повторениями.
    

15. 
    Основные понятия теории графов. Маршруты (пути), цепи, циклы.
    

16. 
    Изоморфизм графов. Полные, плоские и планарные графы.
    

17. 
    Операции над графами с примерами.
    

18. 
    Способы задания графов (геометрический, аналитический). Матрицы смежности и инцидетности для ориентированных и неориентированных графов.
    

19. 
    Предикаты. Кванторы. Операции над Кванторами.