有广义和狭义之分。狭义的数理逻辑,就是指逻辑演算。广义的数理逻辑,除逻辑演算外,还包括集合论、模型论、递归论和证明论。在最广的意义下,凡应用特制人工符号语言和形式化方法研究演绎推理等逻辑问题的各种逻辑理论,都包 (本文共 707 字 ) [阅读本文] >>
海量资源,尽在掌握
 有广义和狭义之分。狭义的数理逻辑,就是指逻辑演算。广义的数理逻辑,除逻辑演算外,还包括集合论、模型论、递归论和证明论。在最广的意义下,凡应用特制人工符号语言和形式化方法研究演绎推理等逻辑问题的各种逻辑理论,都包 (本文共 707 字 ) [阅读本文] >>