Дискретная математика (1-й поток) — различия между версиями
(→Лекции) |
(→Лекции) |
||
| Строка 11: | Строка 11: | ||
'''Алгебра логики''' | '''Алгебра логики''' | ||
| − | Лекция 1. | + | [[dm1-l1-selezn.pdf | Лекция 1]]. Двоичный куб. Наборы, вес набора. Слой n-мерного куба. Частичный порядок на n-мерном кубе. Соседние и противоположные наборы, расстояние между наборами. Лексико-графический порядок на n-мерном кубе. |
| − | Лекция 2. Функции алгебры логики. Таблицы истинности. Существенные и несущественные переменные. Формулы. Тождества. Двойственность. | + | [[dm1-l2-selezn.pdf | Лекция 2]]. Функции алгебры логики. Таблицы истинности. Существенные и несущественные переменные. Формулы. Тождества. Двойственность. |
| − | Лекция 3. | + | Лекция 3. Разложение функций по переменным. Теорема о совершенной ДНФ. Теорема о совершенной КНФ. Полиномы Жегалкина. Теорема Жегалкина. Быстрый способ построения полинома Жегалкина. |
Лекция 4. Полные системы. Полнота некоторых систем. Оператор замыкания. Замкнутые классы. Замкнутость классов T_0, T_1, L, S, M. Леммы о несамодвойственной, немонотонной и нелинейной функциях. | Лекция 4. Полные системы. Полнота некоторых систем. Оператор замыкания. Замкнутые классы. Замкнутость классов T_0, T_1, L, S, M. Леммы о несамодвойственной, немонотонной и нелинейной функциях. | ||
| Строка 24: | Строка 24: | ||
'''Графы''' | '''Графы''' | ||
| − | |||
| − | |||
'''Коды''' | '''Коды''' | ||
| + | |||
| + | '''Алгоритмы''' | ||
'''Автоматы''' | '''Автоматы''' | ||
| − | [[Media: dm1-l-selezn.pdf | Лекция]]: Конечные автоматы-преобразователи (автоматы с выходом). Способы их представления. Отличимость состояний в конечных автоматах. Упрощение автоматов. | + | <!---[[Media: dm1-l-selezn.pdf | Лекция]]: Конечные автоматы-преобразователи (автоматы с выходом). Способы их представления. Отличимость состояний в конечных автоматах. Упрощение автоматов.---> |
Версия 17:51, 6 февраля 2020
Основной курс для студентов 1-го курса, читается во 2-м семестре. Лекции - 3 ч в неделю, семинары - 2 ч в неделю, отчетность - экзамен.
Дополнительная страница по курсу Дискретная математика (1й курс).
Лектор - Селезнева Светлана Николаевна
Лекции
Алгебра логики
Лекция 1. Двоичный куб. Наборы, вес набора. Слой n-мерного куба. Частичный порядок на n-мерном кубе. Соседние и противоположные наборы, расстояние между наборами. Лексико-графический порядок на n-мерном кубе.
Лекция 2. Функции алгебры логики. Таблицы истинности. Существенные и несущественные переменные. Формулы. Тождества. Двойственность.
Лекция 3. Разложение функций по переменным. Теорема о совершенной ДНФ. Теорема о совершенной КНФ. Полиномы Жегалкина. Теорема Жегалкина. Быстрый способ построения полинома Жегалкина.
Лекция 4. Полные системы. Полнота некоторых систем. Оператор замыкания. Замкнутые классы. Замкнутость классов T_0, T_1, L, S, M. Леммы о несамодвойственной, немонотонной и нелинейной функциях.
Лекция 5. Полные системы. Теорема Поста о полноте. Базис в P_2. Теореме о числе функций в базисе P_2. Предполные классы. Теорема о предполных классах в P_2.
Лекция 6. Функции k-значной логики. Таблицы значений. Представление функций k-значной логики в 1-й и 2-й формах. Представление функций k-значной логики полиномами по модулю k.
Графы
Коды
Алгоритмы
Автоматы
