使地计算机管理职工工资、用计算机进行定理的自动证明，分别属于计算机在( ) 应用领域的应用。