单项选择题

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