Лекции

1. Понятие высказываний. Основные логические операции;

2. Формулы логики. Таблица истинности и методика ее построения;

3. Законы логики;

4. Равносильные преобразования формул логики.

К лекции приложена презентация: Алгебра высказываний.

1. Понятие булевой функции. Способы задания ДНФ, КНФ;

2. Операциядвоичного сложения и ее свойства;

3. Многочлен Жегалкина;

4. Основные классы функций. Полнота множества. Теорема Поста.

К лекции приложены презентации:

1. Общие понятия теории множеств. Способы задания. Основные операции над множествами и их свойства;

2. Мощность множеств. Графическое изображение множеств на диаграммах Эйлера-Венна. Декартово произведение множеств;

3. Отношения. Бинарные отношения и их свойства. Теория отображений;

4. Алгебра подстановок.

К лекции приложена презентация: Основы теории множеств.

1. Понятие предиката. Логические операции над предикатами;

2. Кванторы существования и общности. Построение отрицаний к предикатам, содержащим кванторные операции.

К лекции приложена презентация: Предикаты.

1. Основные понятия теории графов. Виды графов: ориентированные и неориентированные графы;

2. Способы задания графов. Матрицы смежности и инциндентности для графа;

3. Эйлеровы и гамильтоновы графы. Деревья.

К лекции приложены презентации:

1. Основные определения теории алгоритмов. Машина Тьюринга.

К лекции приложены презентации:

Дискретная математика