關(guān)于我們
書(shū)單推薦
新書(shū)推薦

數(shù)理邏輯的思想和方法

數(shù)理邏輯的思想和方法

定  價(jià):98 元

叢書(shū)名:日月光華·哲學(xué)書(shū)系

        

  • 作者:昂揚(yáng) 編著 林勝?gòu)?qiáng)、李晟 修訂
  • 出版時(shí)間:2024/1/1
  • ISBN:9787208187207
  • 出 版 社:上海人民出版社
  • 中圖法分類(lèi):B0 
  • 頁(yè)碼:
  • 紙張:
  • 版次:1
  • 開(kāi)本:16開(kāi)
9
7
1
8
8
7
7
2
2
0
0
8
7

讀者對(duì)象:大眾

先有思想的形式化還是先有形式化的思想?思想的形式化重要還是形式化的思想重要?本書(shū)將系統(tǒng)闡述從萊布尼茨到哥德?tīng)柕臄?shù)理邏輯的思想和方法:不僅構(gòu)造命題邏輯、謂詞邏輯的公理系統(tǒng)、自然推理系統(tǒng)以及系統(tǒng)內(nèi)定理的操作規(guī)則和技巧等思想的形式化方法,同時(shí)也進(jìn)一步探討這些形式化方法所包含的生動(dòng)活潑的思想(這是本書(shū)的鮮明特色),便于人們“徜徉”數(shù)理邏輯“秀山麗水”的本質(zhì)與全貌。本書(shū)避免使用過(guò)于復(fù)雜和煩瑣的數(shù)學(xué)證明和推導(dǎo),通過(guò)本書(shū),讀者會(huì)了解到不太一樣的數(shù)理邏輯和邏輯哲學(xué)。
 你還可能感興趣
 我要評(píng)論
您的姓名   驗(yàn)證碼: 圖片看不清?點(diǎn)擊重新得到驗(yàn)證碼
留言?xún)?nèi)容