МГТУ "Станкин", кафедра прикладной математики
Двузначная логика:
- Функции алгебры логики.
- Суперпозиция и формулы.
- Булева алгебра.
- Алгебра Жегалкина.
- Нормальные формы логических функций.
- Минимизация функций.
- Полнота и замкнутость.
К-значная логика:
- Элементарные функции.
- Основные свойства элементарных функций.
- Основные формы функций.
- Представление функций полиномами.
- Полнота и замкнутость.
Элементы теории графов:
- Способы задания графов.
- Изоморфизм. Плоские графы. Реализуемость в R3.
- Пути. Цепи. Циклы. Расстояния.
- Подграфы. Связность.
- Поиск путей в графах и минимальных путей в орграфах.
- Деревья и леса.
- Взвешенные графы.
Комбинаторика:
- Мощность множества. Правила суммы, произведения, степени.
- Размещения. Перестановки. Сочетания.
- Производящие функции.
Двузначная логика:
- Функции алгебры логики.
- Суперпозиция и формулы.
- Булева алгебра.
- Алгебра Жегалкина.
- Нормальные формы логических функций.
- Минимизация функций.
- Полнота и замкнутость.
К-значная логика:
- Элементарные функции.
- Основные свойства элементарных функций.
- Основные формы функций.
- Представление функций полиномами.
- Полнота и замкнутость.
Элементы теории графов:
- Способы задания графов.
- Изоморфизм. Плоские графы. Реализуемость в R3.
- Пути. Цепи. Циклы. Расстояния.
- Подграфы. Связность.
- Поиск путей в графах и минимальных путей в орграфах.
- Деревья и леса.
- Взвешенные графы.
Комбинаторика:
- Мощность множества. Правила суммы, произведения, степени.
- Размещения. Перестановки. Сочетания.
- Производящие функции.