Главная
Случайная страница
Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Требования государственного образовательного стандарта
Логические операции, формулы логики, законы алгебры логики; понятие функции алгебры логики, представление функций в совершенных нормальных формах, многочлен Жегалкина; основные классы функций, полнота множества функций, теорема Поста; основные понятия теории множеств, теоретико-множественные операции и их связь с логическими операциями; логика предикатов, бинарные отношения и их виды; элементы теории отображений и алгебры подстановок; основы алгебры вычетов и их приложение к простейшим криптографическим шифрам; метод математической индукции; алгоритмическое перечисление основных комбинаторных объектов; основные понятия теории графов, характеристики графов, эйлеровы и гамильтоновы графы, плоские графы, деревья, ориентированные графы, бинарные деревья; элементы теории автоматов.
СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
№
| Содержание лекционного курса
| Объём в часах
| Темы практических занятий
|
| Введение.
|
|
|
| Основные понятия теории множеств, операции над множествами, диаграммы Эйлера-Венна, доказательство тождеств методом включений; элементы теории отображений; алгебра подстановок; алгоритмическое перечисление основных комбинаторных объектов; мощность множества; бинарные отношения и их виды свойства отношений (рефлексивность, симметричность, транзитивность, антирефлексивность, антисимметричность, асимметричность), отношения строгого и нестрогого порядка, отношение эквивалентности, вполне упорядоченные, частично упорядоченные множества), цепь.
|
| ПЗ №1. Множества и отображения.
ПЗ № 2. Мощность множества.
ПЗ № 3. Отношения на множестве.
|
| Основные понятия теории графов;характеристики графов(связный граф, компонента связности, мультиграф, взвешенный, (нагруженный) граф), задачи о нахождении пути в графе);эйлеровы и гамильтоновы графы(эйлерова цепь, эйлеров цикл задача Эйлера, гамильтоновы графы);плоские графы (плоские, планарные графы, формула Эйлера, непланарные графы № 1 и № 2, типа № 1 и типа № 2, матрица смежности, код Харари)деревья (дерево, ордерево, бинарное ордерево, уровень вершины ордерева, глубина ордерева, висячая вершина ордерева и дерева, код Прюфера);ориентированные графы (матрица инциндентности,);бинарные деревья (префиксный код бинарного дерева, способы обхода бинарного ордерева, дерево поиска, атом, список);
|
| ПЗ № 4. Основные понятия теории графов. Поиск путей в графе.
ПЗ № 5. Задача Эйлера. Формула Эйлера.
ПЗ № 6. Неплоские графы. Представление графов матрицами.
ПЗ № 7. Представление графов кодами. Деревья. Деревья и списки.
ПЗ № 8. Контрольная работа № 1
|
| Логические операции, формулы логики, законы алгебры логики; понятие функции алгебры логики, представление функций в совершенных нормальных формах, многочлен Жегалкина; основные классы функций, полнота множества функций, теорема Поста, связь с логическими операциями теоретико-множественных операций, логика предикатов
|
| ПЗ № 9. Высказывания и математические операции. Булевы функции.
ПЗ № 10. Нормальные формы БФ. Двойственность БФ.
ПЗ № 11. Арифметический подход к БФ. Монотонные БФ. Функционально замкнутые классы.
ПЗ № 12. Полнота систем булевых функций.
ПЗ № 13. Контрольная работа № 2
ПЗ № 14. Исчисление предикатов
|
| Метод математической индукции
|
| ПЗ № 15. Метод математической индукции.
|
| Основы алгебры вычетов и их приложение к простейшим криптографическим шифрам;
|
| ПЗ № 16. Приложения алгебры вычетов к простейшим криптографическим шифрам.
|
| Элементы теории автоматов.
|
| ПЗ № 17. Элементы теории автоматов.
|
| Обзорная лекция
|
| |
|