下列说法正确的是()
A. 存在一个计算机程序,能够自动判定任何一个数学命题是否成立
B. 存在一个形式推理系统,能够得到所有成立的数学命题
C. 存在数学定理,可以应用自动定理证明器进行自动证明
D. (无)
唐代进士及第后在曲江举行的庆祝大会又名()
A. 曲江宴
B. 芙蓉宴
C. 杏园宴
D. 关宴
对于高速公路、一级公路,夏季温度高、高温持续时间长、重载交通及山区和丘陵区上坡路段、服务区、停车区等行车速度慢的路段,尤其是汽车荷载剪应力大的层次,宜采用()。
A. 稠度小、60o C粘度大的沥青
B. 稠度小、60o C粘度小的沥青
C. 稠度大、60o C粘度大的沥青
D. 稠度大、60o C粘度小的沥青
信仰民俗有如下一些基本特点:
A. 神秘性
B. 功利性
C. 民族、区域性
D. 认同纽带