2,結構與解釋、聯結詞的標準化、滿足關係、推論關係、疊閤引理與同構引理。
評分不錯
評分13,可判定性、Godel不完備性定理。
評分12,寄存器機、寄存器機的停機問題、一階邏輯的不可判定性、二階邏輯的不完備性。
評分1,點綫麵的相互關係、方嚮和角度與平行、恒等和疊閤與對稱、嚮量的加法和減法、嚮量與數量的乘法、內積、外積、混閤積、嚮量對於給定基底的坐標。
評分3,形式化與可形式化。
評分13,麯麵的大範圍性質、Riemann與僞Riemann空間中的張量、僞微分同胚的單參數群、嚮量場的指數映射。
評分Gooooooooooooooooooooooood
評分8,仿射直綫與仿射平麵的公理化模型、平麵上的綫性方程、凸幾何、仿射幾何的基本定理、仿射空間、有限維凸幾何、Caratheodory與Radon引理、Helly定理。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 windowsfront.com All Rights Reserved. 靜流書站 版權所有