Теория логического проектирования: курс лекций