圖書標籤: 數學 模型論 計算機科學 代數模型論 邏輯學 數理邏輯 nemlophics MathModelTheory
发表于2024-11-22
代數模型論引論 pdf epub mobi txt 電子書 下載 2024
《代數模型論引論》是代數模型論的一本人門書。第一章介紹代數模型論所需要的模型論的基礎知識。第二章至第九章分彆介紹代數模型論各主要領域在近二三十年來國外的主要研究成果和研究方法,其中包括代數閉域、實閉域、綫性序和偏序結構的模型論等。最後一章介紹可計算模型論。《代數模型論引論》起點較低,具備數學係二、三年級知識的讀者即可閱讀,並具自完備性,以方便閱讀。《代數模型論引論》終點較高,可引導具有數理邏輯基礎知識的讀者進入國際上的研究前沿。各章末均附有習題,以助讀者深入理解《代數模型論引論》內容。
《代數模型論引論》可供高等院校數學、邏輯、哲學以及計算機科學等專業高年級本科生、研究生、教師和相關的科學研究工作者參考,也可作為相關專業研究生的教科書。
評分
評分
評分
評分
代數模型論引論 pdf epub mobi txt 電子書 下載 2024