Данный курс лекций является кратким введением в теорию анализа параллельной структуры программ и алгоритмов. Рассматриваются графовые модели программ, понятия операционной и информационной зависимостей, конечные графы и истории, обсуждается взаимосвязь между различными графовыми моделями, вводится понятие графа алгоритма, рассматриваются его свойства. Кратко описывается идея построения графа алгоритма для линейного класса программ на основе анализа их исходного текста. Вводятся базовые понятия потенциала параллелизма программ и алгоритмов, ярусно-параллельной формы графа алгоритма и пространства итераций, исследуются их свойства и характеристики. Рассматриваются различные виды параллелизма в программах. Излагаются основы эквивалентного преобразования программ, приводятся примеры элементарных методов преобразования циклических конструкций. Обсуждается зависимость степени параллелизма программ от формы записи алгоритма и выбора структур данных. Основные понятие излагаемой теории сопровождаются примерами, объясняется методика работы с графом алгоритма на практике.