44. Эквивалентные соотношения. Префиксная нормальная форма

45. Основы теории алгоритмов. Понятие об алгоритме

46. Три типа алгоритмических моделей

47. Машины Тьюринга как модели алгоритмов

48. Алгоритмы решения задач теории графов

49. Конечный автомат и его описание

50. Автомат с памятью

51. Представления автомата

52. Связь между моделями Мили и Мура

53. Автомат с абстрактным состоянием. Булев автомат

54. Понятие о регулярных выражениях алгебры событий

55. Задачи абстрактной теории конечных автоматов

56. Комбинаторные задачи и методы комбинаторного поиска

57. Задачи подсчета числа комбинаторных решений

58. Метод производящих функций.

59. Метод включений и исключений

60. Задача о кратчайшем покрытии и методы ее решения