數(shù)理邏輯

有廣義和狹義之分。狹義的數(shù)理邏輯,就是指邏輯演算。廣義的數(shù)理邏輯,除邏輯演算外,還包括集合論、模型論、遞歸論和證明論。在最廣的意義下,凡應(yīng)用特制人工符號語言和形式化方法研究演繹推理等邏輯問題的各種邏輯理論,都包 ......    （本文共 707 字 ）     [閱讀本文] >>