English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу
 ТДФ Теория дискретных функций – лекции и семинары для студентов 1 курса (II поток)
 Ташкентский филиал Ташкентский филиал МГУ им. М.В. Ломоносова
 Семинары расписание специальных семинаров кафедры МаТИС
 Курсы расписание специальных курсов кафедры, программа курсов
 Практикум cпециальный математический практикум кафедры МаТИС, III курс
 Студенты список студентов кафедры по курсам и группам, расписание занятий, выпускники
 Магистратура информация для поступающих в магистратуру
 Аспирантура информация для аспирантов и поступающих в аспирантуру; списки аспирантов

Перейти к полному списку специальных курсов кафедры

Программа экзамена по спецкурсу "Дискретный анализ и интеллектуальные системы"

Руководители курса: проф. Кудpявцев В.Б., проф. Гасанов Э.Э., н.с. Галатенко А.В.
Время и место проведения: понедельник 16:45 в ауд. 12-05.

 

Функциональные системы

1. Теорема о критериальности системы предполных классов в конечно-порожденной ФС.

2. Теорема о критериальности системы предполных классов в .

3. Алгоритм построения всех -множеств в .

4. Лемма о в .

5. Лемма о в .

6. Лемма о при в .

7. Теорема Кузнецова о критериалности класса множеств сохранения -множеств в .

8. Теорема о совпадении множества предполных классов с множеством максимальных элементов частичного порядка классов сохранения -множеств в .

9. Алгоритм построения частичного порядка классов сохранения -множеств.

10. Алгоритм распознавания полноты конечных систем в .

11. Предполные классы в и их -множества.

12. Существование счетных замкнутых классов в без предполных классов.

13. Существование замкнутых классов в с не менее, чем счетным множеством, предполных классов.

14. Теорема Розенберга о классификации минимальных замкнутых классов, содержащих тождественную функцию.

15. Предполнота классов сохранения множеств констант в .

16. Предполнота классов сохранения эквивалентности в .

17. Предполнота класса самодвойственных функций в .

18. Предполнота класса монотонных функций в .

19. Предполнота класса линейных функций в .

20. Критериальность предполных классов Яблонского.

 

Минимизация булевых функций

21. Минимизация булевских функций. Функция Шеннона сложности ДНФ для б.ф.

22. Геометрическая модель минимизации б.ф. Теорема о простых импликантах б.ф.

23. Алгоритм Блейка. Теорема о сильных расширениях СокДНФ.

24. Теорема о МДНФ монотонной б.ф.

25. Тупиковая ДНФ. Алгоритм построения ТДНФ.

26. Теорема о ДНФ типа .

27. Регулярная грань. Теорема о ДНФ типа .

 

Кодирование

28. Алфавитное кодирование. Префиксные коды. Однозначность декодирования префиксных кодов.

29. Обращение схемы кодирования. Однозначность обратной префиксной схемы кодирования.

30. Длина схемы кодирования. Нетривиальное разложение. Критерий однозначности декодирования (Теорема Маркова).

31. Граф арифметической схемы кодирования. Алгоритм распознавания неоднозначности декодирования.

32. Теорема Макмиллана об однозначной схеме кодирования (неравенство Макмиллана).

33. Теорема Макмиллана о существовании префиксной схемы кодирования.

34. Код с минимальной избыточностью (код Хаффмена). Оптималное кодирование.

35. Кодовое дерево Хаффмена. Его свойства. Алгоритм построения кода Хаффмена.

36. Код Хемминга. Информационные и проверочные биты. Минимальное расстояние между кодовыми словами.

Наверх

   © 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru