视频提到的几个影响人工智能发展的数学工具，包括（）A笛卡尔坐标系B微积分C二进制编码D三段论逻辑思维