欧拉于1736年研究并解决的七桥问题，属于计算机科学方法论的3个过程中的（）

A、抽象

B、实验和论证

C、理论

D、A和B