11,同餘群、同餘群的模形式、單連通流形上的函數的整體連續。
評分12,寄存器機、寄存器機的停機問題、一階邏輯的不可判定性、二階邏輯的不完備性。
評分8,L_ω1_ω係統、L_Ω係統、謂詞與映射。
評分10,選擇公理與ZFC公理係統、可判定性與可枚舉性。
評分9,偏序集、Boolean代數、濾子、集閤的勢。
評分6,加性定理、橢圓函數論在橢圓積分上的應用。
評分12,寄存器機、寄存器機的停機問題、一階邏輯的不可判定性、二階邏輯的不完備性。
評分9,模群及其基本域。
評分7,留數定理、輻角原理、Rouche定理、最大模原理。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 圖書大百科 版權所有