Дискретная математика (1й курс) — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Литература)
(Вопросы к экзамену по курсу «Дискретная математика», 2020 год.)
Строка 6: Строка 6:
 
== Вопросы к экзамену по курсу «Дискретная математика», 2020 год.==
 
== Вопросы к экзамену по курсу «Дискретная математика», 2020 год.==
  
Скоро здесь появится список вопросов к экзамену.
+
===Часть А===
 +
<ol>
 +
<li> Сокращенная дизъюнктивная нормальная форма. Метод ее построения по конъюнктивной нормальной форме (метод Нельсона) (вопрос № 1 только для студентов 2-3 потоков).
 +
<li> Алгоритм построения вектора коэффициентов полинома Жегалкина (с обоснованием).
 +
<li> Двойственность. Класс самодвойственных функций, его замкнутость.
 +
<li> Лемма о нелинейной функции.
 +
<li> Теорема Поста о полноте системы функций алгебры логики.
 +
<li> Теорема о предполных классах.
 +
<li> Теоремы о представлении k-значных функций 2-й формой и полиномами.
 +
<li> Деревья. Свойства деревьев.
 +
<li> Алгоритм построения кратчайшего остовного дерева (с обоснованием).
 +
<li> Теорема о раскраске планарных графов в 5 цветов.
 +
<li> Алгоритм распознавания взаимной однозначности (разделимости) алфавитного кодирования (с обоснованием).
 +
<li> Теорема Маркова о взаимной однозначности (разделимости) алфавитного кодирования.
 +
<li> Неравенство Макмиллана.
 +
<li> Существование префиксного кода с заданными длинами кодовых слов.
 +
<li> Теорема редукции.
 +
<li> Коды с исправлением r ошибок. Оценка функции Mr(n).
 +
<li> Коды Хэмминга. Оценка функции M1(n).
 +
<li> Схемы из функциональных элементов и элементов задержки. Автоматность осуществляемых ими отображений.
 +
<li> Моделирование автоматной функции схемой из функциональных элементов и элементов задержки.
 +
<li> Теорема Мура. Пример автомата, на котором достигается оценка теоремы Мура.
 +
<li> Метод Карацубы построения схемы для умножения, верхняя оценка ее сложности.
 +
</ol>
 +
 
 +
=== Часть В ===
 +
<ol start="22">
 +
<li> Функции алгебры логики. Равенство функций. Тождества для элементарных функций.
 +
<li> Теорема о разложении функции алгебры логики по переменным. Теорема о совершенной дизъюнктивной нормальной форме.
 +
<li> Полные системы. Примеры полных систем (с доказательством полноты).
 +
<li> Теорема Жегалкина о представимости функции алгебры логики полиномом.
 +
<li> Понятие замкнутого класса. Замкнутость классов T0, T1, L.
 +
<li> Класс монотонных функций, его замкнутость.
 +
<li> Лемма о несамодвойственной функции.
 +
<li> Лемма о немонотонной функции.
 +
<li> Теорема о максимальном числе функций в базисе в алгебре логики.
 +
<li> k-значные функции. Теорема о представлении k-значных функций 1-й формой.
 +
<li> Основные понятия теории графов. Изоморфизм графов. Связность.
 +
<li> Корневые деревья. Верхняя оценка их числа.
 +
<li> Геометрическая реализация графов. Теорема о реализации графов в трехмерном пространстве.
 +
<li> Планарные (плоские) графы. Формула Эйлера.
 +
<li> Доказательство непланарности графов K5 и K3,3. Теорема Понтрягина-Куратовского (доказательство в одну сторону).
 +
<li> Теорема о раскраске вершин графа в 2 цвета (теорема Кенига).
 +
<li> Оптимальные коды, их свойства.
 +
<li> Линейные двоичные коды. Теорема о кодовом расстоянии линейных кодов.
 +
<li> Схемы из функциональных элементов. Реализация функций алгебры логики схемами.
 +
<li> Сумматор. Верхняя оценка сложности сумматора. Вычитатель.
 +
<li> Понятие автоматных функций, их представление диаграммой Мура. Единичная задержка.
 +
</ol>
  
 
===Литература===
 
===Литература===
 
<ol>
 
<ol>
 
<li> Собственный конспект лекций.
 
<li> Собственный конспект лекций.
<li> Алексеев В.Б. Лекции по дискретной математике. М.: Инфра-М, 2012.
+
<li> Алексеев В.Б. Лекции по дискретной математике. М.: Инфра-М, 2012. (Вопросы 3-6, 8, 10-36, 38, 40-42)
<li> [[Media:Lectdm.doc|Алексеев В.Б. Лекции по дискретной математике. ВМК, 2004.]] Электронный ресурс.  
+
<li> [[Media:Lectdm.doc|Алексеев В.Б. Лекции по дискретной математике. ВМК, 2004.]] Электронный ресурс. (Вопросы 3-6, 8, 10-36, 38, 40-42)
<li> Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986.  
+
<li> Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986. (Вопросы 1, 3-7, 12-14, 22-31)
<li> Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. М.: Физматлит, 2004.  
+
<li> Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. М.: Физматлит, 2004. (Вопрос 2 (стр. 53-56) и вопрос 39 (задача 4.9 из главы 7))
<li> [[Media:KNIGA1.pdf|Алексеев В.Б. Введение в теорию сложности алгоритмов.]] М.: Издательский отдел факультета ВМК МГУ, 2002.
+
<li> [[Media:KNIGA1.pdf|Алексеев В.Б. Введение в теорию сложности алгоритмов.]] М.: Издательский отдел факультета ВМК МГУ, 2002 (Вопрос 9)
<li> Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. М.: Наука, 1990.
+
<li> Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. М.: Наука, 1990 (Вопрос 37 (стр. 36-37 и 237))
 
</ol>
 
</ol>
 
  
 
[[Категория:Лекционные курсы кафедры МК]]
 
[[Категория:Лекционные курсы кафедры МК]]

Версия 21:15, 5 мая 2020

Лекторы

Вопросы к экзамену по курсу «Дискретная математика», 2020 год.

Часть А

  1. Сокращенная дизъюнктивная нормальная форма. Метод ее построения по конъюнктивной нормальной форме (метод Нельсона) (вопрос № 1 только для студентов 2-3 потоков).
  2. Алгоритм построения вектора коэффициентов полинома Жегалкина (с обоснованием).
  3. Двойственность. Класс самодвойственных функций, его замкнутость.
  4. Лемма о нелинейной функции.
  5. Теорема Поста о полноте системы функций алгебры логики.
  6. Теорема о предполных классах.
  7. Теоремы о представлении k-значных функций 2-й формой и полиномами.
  8. Деревья. Свойства деревьев.
  9. Алгоритм построения кратчайшего остовного дерева (с обоснованием).
  10. Теорема о раскраске планарных графов в 5 цветов.
  11. Алгоритм распознавания взаимной однозначности (разделимости) алфавитного кодирования (с обоснованием).
  12. Теорема Маркова о взаимной однозначности (разделимости) алфавитного кодирования.
  13. Неравенство Макмиллана.
  14. Существование префиксного кода с заданными длинами кодовых слов.
  15. Теорема редукции.
  16. Коды с исправлением r ошибок. Оценка функции Mr(n).
  17. Коды Хэмминга. Оценка функции M1(n).
  18. Схемы из функциональных элементов и элементов задержки. Автоматность осуществляемых ими отображений.
  19. Моделирование автоматной функции схемой из функциональных элементов и элементов задержки.
  20. Теорема Мура. Пример автомата, на котором достигается оценка теоремы Мура.
  21. Метод Карацубы построения схемы для умножения, верхняя оценка ее сложности.

Часть В

  1. Функции алгебры логики. Равенство функций. Тождества для элементарных функций.
  2. Теорема о разложении функции алгебры логики по переменным. Теорема о совершенной дизъюнктивной нормальной форме.
  3. Полные системы. Примеры полных систем (с доказательством полноты).
  4. Теорема Жегалкина о представимости функции алгебры логики полиномом.
  5. Понятие замкнутого класса. Замкнутость классов T0, T1, L.
  6. Класс монотонных функций, его замкнутость.
  7. Лемма о несамодвойственной функции.
  8. Лемма о немонотонной функции.
  9. Теорема о максимальном числе функций в базисе в алгебре логики.
  10. k-значные функции. Теорема о представлении k-значных функций 1-й формой.
  11. Основные понятия теории графов. Изоморфизм графов. Связность.
  12. Корневые деревья. Верхняя оценка их числа.
  13. Геометрическая реализация графов. Теорема о реализации графов в трехмерном пространстве.
  14. Планарные (плоские) графы. Формула Эйлера.
  15. Доказательство непланарности графов K5 и K3,3. Теорема Понтрягина-Куратовского (доказательство в одну сторону).
  16. Теорема о раскраске вершин графа в 2 цвета (теорема Кенига).
  17. Оптимальные коды, их свойства.
  18. Линейные двоичные коды. Теорема о кодовом расстоянии линейных кодов.
  19. Схемы из функциональных элементов. Реализация функций алгебры логики схемами.
  20. Сумматор. Верхняя оценка сложности сумматора. Вычитатель.
  21. Понятие автоматных функций, их представление диаграммой Мура. Единичная задержка.

Литература

  1. Собственный конспект лекций.
  2. Алексеев В.Б. Лекции по дискретной математике. М.: Инфра-М, 2012. (Вопросы 3-6, 8, 10-36, 38, 40-42)
  3. Алексеев В.Б. Лекции по дискретной математике. ВМК, 2004. Электронный ресурс. (Вопросы 3-6, 8, 10-36, 38, 40-42)
  4. Яблонский С.В. Введение в дискретную математику. М.: Наука, 1986. (Вопросы 1, 3-7, 12-14, 22-31)
  5. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. М.: Физматлит, 2004. (Вопрос 2 (стр. 53-56) и вопрос 39 (задача 4.9 из главы 7))
  6. Алексеев В.Б. Введение в теорию сложности алгоритмов. М.: Издательский отдел факультета ВМК МГУ, 2002 (Вопрос 9)
  7. Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. М.: Наука, 1990 (Вопрос 37 (стр. 36-37 и 237))