КОМПЛЕКСНАЯ РАБОЧАЯ ПРОГРАММА - часть 8

13. Понятие графа. Способы задания графов.

14. Ленточная сложность.

15. Сигнатуры. Диаграмма сигнатуры.

16. Алгоритм Форда.

17. Синтаксические диаграммы.

18. Взаимная рекурсия.

19. Форма Бэкуса-Наура

20. Планарность. Теорема Понтрягина-Куратовского.

21. Формальные языки.

22. Корневые деревья. Независимые циклы.

23. Декартово произведение множеств.

24. База и ядро графа.

25. Булевы функции, стрелка Пирса, и «штрих Шеффера».

26. Алгоритмы подстановки термов.

27. Неравенство Крафта, код Левенштейна.

28. Теорема Шеннона I, оптимальное кодирование.

29. Код Хаффмана.

30. Энтропия и стоимость кодирования марковских источников.

31. Теорема Шеннона II.

32. Теорема Гильберта-Мура, блочное кодирование.

33. Неблочное кодирование.

34. Код Ходака.

35. Арифметический код Рассанена.

36. Универсальное кодирование.

37. Кодирование Штарькова-Бабкина, оценка его избыточности.

38. Кодирование Зива-Лелепеля, оценка избыточности.

39. Метод универсального кодирования Рябко-Элайеса.

40. Обратная теорема кодирования и теорема Шеннона для дискретного канала без памяти.

41. Код Хемлинга, граница Хемлинга, коды. Граница Варламова-Гильберта, закон Цимфа.

42. Теорема о свойстве конгруэнции семантической эквивалентности для подстановок.

43. Алгоритмы Маркова.

44. Функциональные понятия теории множеств. Аксиоматика теории множеств.

45. Связный список. Представление и работа с ним.

46. Формула упрощения булевых функций.