单项选择题 20世纪50年代中期，世界上最早的启发式程序“逻辑理论家”，用他证明了数学名著（）中的38个定理。

单项选择题 大数据不仅仅是技术，关键是（）。

单项选择题 就目前的技术而言，要成为大数据，存储至少要达到（）级另以上。