9,模群及其基本域。
评分7,初等類、初等等價結構、二階邏輯。
评分1,字母錶、一階邏輯語言的項與形式、項與形式的歸納、自由變量與語句。
评分11,同餘群、同餘群的模形式、單連通流形上的函數的整體連續。
评分11,同餘群、同餘群的模形式、單連通流形上的函數的整體連續。
评分3,形式化與可形式化。
评分1,復數域、復平麵、復平麵上的直綫與半平麵、擴充平麵及其球麵錶示、冪級數。
评分11,正規算法、Turing機。
评分4,代換、矢列式法則、結構法則與聯結詞法則、可推導聯結詞法則。
本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 tushu.tinynews.org All Rights Reserved. 求知書站 版权所有