单项选择题

20世纪30年代末至今，数理逻辑发展为两个演算加上四论，两个演算指的是命题演算和谓词演算，其中四论不包括下列哪一项？（）

A.递归论
B.证明论
C.模型论
D.推理论

你可能感兴趣的试题

单项选择题

典型神经网络模型包括（）。

A.多层感知器
B.反馈网络模型
C.对向传播网络和小脑神经网络
D.其它选项都是

单项选择题

以下人物不属于数理逻辑三大派的代表人物的是（）。

A.罗素
B.莱布尼兹
C.希尔伯特
D.布劳威尔