本書闡述同調(diào)代數(shù)的基本理論與方法，包括范疇、模、同調(diào)、同調(diào)函子與一些環(huán)、譜序列等五章.另外還有兩個附錄，闡述正則局部環(huán)的理論與Serre問題

辛幾何是近十幾年發(fā)展起來的新的重要數(shù)學(xué)分支。本書是辛幾何(辛流形)的入門性讀物。全書共分六章，分別是：代數(shù)基礎(chǔ)，辛流形,余切叢，辛G-空間，Poisson流形，一個分級情形。前三章是重要的基本概念，后三章論述有關(guān)的應(yīng)用

本書是作者在常微分方程定性理論的多年教學(xué)和科研工作的基礎(chǔ)上寫成的，著重介紹平面定性理論的主要內(nèi)容和方法，重點是：平面奇點，極限環(huán)的存在，唯一性及個數(shù)，無窮遠(yuǎn)奇點，二維周期系統(tǒng)的調(diào)和解，環(huán)面上的常微系統(tǒng)，二維流行上的結(jié)構(gòu)穩(wěn)定性。本書各章均附有習(xí)題

本書上冊論述了有限群的基本知識，下冊著重介紹有限群的一些新成果、發(fā)展動向以及有限群的某些較專門的部分，如卡特子群、傳輸理論、超可解群等

本書共六部分，分上、下兩冊。下冊包括第三、四、五章和兩個附錄。第三章陳述邏輯演算的重言式系統(tǒng)，并研究自然推理系統(tǒng)和重言式系統(tǒng)的關(guān)系。第四章研究邏輯演算的可靠性和完備性問題。笫五章討論了邏輯演箅如何應(yīng)用于陳述具體的數(shù)學(xué)理論，并且研究了在數(shù)學(xué)中引進(jìn)定義的形式化問題。附錄(一)陳述帶量詞的命題邏輯；附錄(二)定義了斜形證明，

本書共六部分，分上、下兩冊.上冊包括緒論、第一章和第二章.緒論對數(shù)理邏輯的性質(zhì)，邏輯演算的大概內(nèi)容.以及閱讀以后各章所需要的預(yù)備知識作了簡要的說明.第一章構(gòu)造命題邏輯和一階邏輯的形式系統(tǒng)，介紹演繹邏輯的基本規(guī)則.第二章研究邏輯演算的重要系統(tǒng)特征