Gooooooooooooooooooooooooooooood
評分內容專業,通俗易懂,不錯的數理工具書、、、、、、、、、、、
評分程序語言學、語義學的研究從模型論衍生而來,而程序驗證中的模型檢測則從模型論衍生而來。
評分Gooooooooooooooooooooooooooooood
評分連非標準分析都介紹瞭,內容全不全?不僅內容全麵,而且講解易於理解。
評分目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
評分目次:預備知識;數學邏輯基礎;一階邏輯;一階邏輯(連續的);布爾代數;模理論;遞歸理論(連續的);直覺一階邏輯;公理集閤論;非標準分析;一般索引;符號索引。
評分 評分挺好的,值得擁有
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有