數(shù)理邏輯shù lǐ luó jí
怎么讀
基本解釋用數(shù)學的工具和方法研究推理、計算等問題的一門科學，是數(shù)學的一個分支。它的主要內容有：命題演算、謂詞演算、證明論、遞歸論、模型論和公理化集論等。也叫符號邏輯。詞語來源該詞語來源于人們的生產(chǎn)生活。...[查看更多]
http://meilook.com.cn/ciyu_ask_984a8a43ac984a8a_read/
合作QQ：564591 聯(lián)系郵箱：kefu@hao86.com
