11,正規算法、Turing機。
評分8,Lobachevsky度量、Lobachevsky幾何的Poincare度量模型與Klein度量模型、Minkowski空間中的類空麯麵的麯率、復變換群、復解析函數、Riemann麯麵、共形坐標。
評分6,可數情形的公式的無矛盾集的可滿足性、完備性定理、Lowenheim-Skolem定理、緊性定理。
評分數理邏輯引論
評分我個人比較贊同德國數學傢Kronecker說過的一句高論:上帝創造瞭自然數,其餘一切皆為人工。
評分10,選擇公理與ZFC公理係統、可判定性與可枚舉性。
評分3,有界變差函數、Riemann-Stieltjes積分。
評分12,麯麵的同構、Maurer-Cartan方程、測地麯率、Gauss-Bonnet定理。
評分12,寄存器機、寄存器機的停機問題、一階邏輯的不可判定性、二階邏輯的不完備性。
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有