（多选）下列说法正确的是A计算思维不是概念化，是程序化B计算思维的两大核心特征是抽象和自动化C计算机只要能实现逻辑运算，就能实现各种算数运算D计算思维是实验和逻辑思维的结合