莫紹揆(1917- 2011),教授。廣西桂平人。1939年畢業於中央大學教學係。曾在中央大學、中山大學任教。1947年起,先後在瑞士蘇黎世高級工業大學和法國巴黎大學等校學習。建國後,曆任南京大學副教授、教授,中國邏輯學會副理事長。從事數理邏輯研究。在邏輯演算、多值邏加、悖論、遞歸論、集閤論等方麵有所建樹,提齣若乾新的見解。編著有《數理邏輯導論》、《遞歸數論》、《遞歸論》、《算法論》。
數理邏輯是采用數學方法來研究推理的一門科學,本書通俗地介紹數理邏輯的基本內容、主要結構、最新的發展,以及研究工作的前沿課題。
發表於2024-11-12
數理邏輯概貌 2024 pdf epub mobi 電子書 下載
圖書標籤: 數學 數理邏輯 邏輯學 邏輯與數學 數學 哲學 CS
數學開始的必須學的東西。。。。
評分典型的中國老教授寫的那種不讓人看懂的文風。不過,就我學過看得懂的部分而言,作者水平的確高,言簡意賅,講齣一堆新東西,澄清瞭我當時(及前幾天)好多睏惑。
評分因為要修 Descrete Mathematicas 的關係草草的翻瞭一遍, 書中好些內容講述有些簡略, 如 ZF 公理係統, 幾乎不加說明的直接給齣瞭若乾條規則. BTW, 據說應明生的離散講的很好, 從曆史到現實, 不知道數理邏輯方麵有什麼較為好的入門書
評分因為要修 Descrete Mathematicas 的關係草草的翻瞭一遍, 書中好些內容講述有些簡略, 如 ZF 公理係統, 幾乎不加說明的直接給齣瞭若乾條規則. BTW, 據說應明生的離散講的很好, 從曆史到現實, 不知道數理邏輯方麵有什麼較為好的入門書
評分很淺
數理邏輯概貌 2024 pdf epub mobi 電子書 下載