【原文：】美国大学计算机专业设置与研究方向：科学计算与应用数学（Scientific Computing and Applied Math）自然语言处理（natural language processing）编程逻辑与验证（program logic and verification）认知科学（Cognitive Science）科学可视化与建模（Scie