单项选择题

A.提出了通用计算机数学模型
B.设计了第一台电子计算机
C.提出了存储程序思想
D.设计了高级程序设计语言