FORMALIZATION OF MANAGEMENT PROCESSES OF EXECUTIVE AUTHORITIES BASED ON THE PRINCIPLES OF MATHEMATICAL LOGIC