《代數(shù)模型論引論》是代數(shù)模型論的一本人門書。第一章介紹代數(shù)模型論所需要的模型論的基礎知識。第二章至第九章分別介紹代數(shù)模型論各主要領域在近二三十年來國外的主要研究成果和研究方法，其中包括代數(shù)閉域、實閉域、線性序和偏序結(jié)構(gòu)的模型論等。最后一章介紹可計算模型論�！洞鷶�(shù)模型論引論》起點較低，具備數(shù)學系二、三年級知識的讀者即可閱讀，并具自完備性，以方便閱讀�！洞鷶�(shù)模型論引論》終點較高，可引導具有數(shù)理邏輯基礎知識的讀者進入國際上的研究前沿。各章末均附有習題，以助讀者深入理解《代數(shù)模型論引論》內(nèi)容。
《代數(shù)模型論引論》可供高等院校數(shù)學、邏輯、哲學以及計算機科學等專業(yè)高年級本科生、研究生、教師和相關的科學研究工作者參考，也可作為相關專業(yè)研究生的教科書。
|
