单项选择题

19世纪,英国数学家巴贝奇()。

A.提出了符号逻辑的思想
B.发明了计算尺
C.研发出了世界上第一台电子计算机
D.制造出差分机