程序正确性证明是用______来证明程序正确性的方法。
参考答案：数学的方法
可以进行EFIS显示的DU（显示组件）有几个？（）
A.2个
B.3个
C.4个
D.6个
能提高透射电镜成像衬度的光阑是（）
A、第二聚光镜光阑
B、物镜光阑
C、选区光阑
D、索拉光阑
