(1) 四个现代化可以简称为“四化”。(2) 信息检索或简称为“搜索”，目前是计算机科学中的一个非常重要的领域。(3) 在谓词演算中，有时将原子公式简称为原子。(4) 个人混合泳，通常简称为“I.M