書就這樣,物流還算快,書的摺扣沒其他傢多
評分大學生適用,專業指導,講解詳細
評分《數理邏輯(第2版)》內容分兩部分:第一部分屬數理邏輯基礎,包含命題演算與謂詞演算的基本知識。第二部分為形式算術與Godel不完備性定理。
評分字體太小,閱讀時影響心情!
評分《數理邏輯(第2版)》對Godel第一不完備性定理、Godel-Rosser定理、Tarski定理及形式算術的不可判定性定理等都提供瞭完整的證明。結閤對Church論題與Turing論題的介紹,對這些定理的意義進行瞭討論。書中還提齣瞭Godel第二不完備性定理的一種易證形式。
評分本科教材,很全麵。數理邏輯近年來發展特彆迅速,主要原因是這門學科對於數學其它分支如集閤論、數論、代數、拓撲學等的發展有重大的影響,特彆是對新近形成的計算機科學的發展起瞭推動作用。反過來,其他學科的發展也推動瞭數理邏輯的發展。正因為它是一門新近興起而又發展很快的學科,所以它本身也存在許多問題有待於深入研究。現在許多數學傢正針對數理邏輯本身的問題進行研究。
評分滿減加券一起買的,簡直不能再白菜,開心
評分書的篇幅過短,有很多概念都沒解釋清楚。
評分好書
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 圖書大百科 版權所有