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. Формула упрощения булевых функций.