Языковые модели фрагментов исчисления Ламбека с операциями объединения и пересечениядипломная работа (Специалист)