Теория и технология программирования : Конспект лекций