Категоральная абстрактная машина: конспект лекций. Введение в вычисления