基本解釋
已經(jīng)證明具有正確性、可以作為原則或規(guī)律的命題或公式，如幾何定理。
詞語來源
該詞語來源于人們的生產(chǎn)生活。
引用解釋
1.確定的法則或道理?！俄n非子·解老》：“凡理者，方圓、短長、麤靡、堅脆之分也。故理定而后可得道也。故定理有存亡，有死生，有盛衰。夫物之一存一亡，乍死乍生，初盛而后衰者，不可謂常。” 宋 陸游 《上殿札子》：“臣聞天下有定理決不可易者，饑必食，渴必飲，疾必藥，暑必箑，豈容以他物易之哉。” 清 百一居士 《壺天錄》卷下：“《書》云：‘作善降祥。’此定理也?！?魯迅 《偽自由書·從盛宣懷說到有理的壓迫》：“這種壓迫的‘理’寫在布告上：‘借債還錢本中外所同之定理，租田納稅乃千古不易之成規(guī)?！?/p>
詞語造句
1、那么散度定理究竟講的是什么？
2、為什么這個看上去不是一個新的定理呢？
3、下面是一個基本定理,它給出了，無需計算積分就得到結(jié)果的辦法。
4、許多數(shù)學家只是把這些惱人的問題簡單地棄置一旁，而忙于類似定理證明這樣更有趣的事務。
5、很了不起啊，一旦你們證出來了，一旦你們證明了,這個平行軸定理可行，當然，你們可以一直,為自己的便利利用它。
6、由于我們在進行不正式的證明，所以我不會為所使用的公理命名，也不會嘗試去證明那些用來令證明有效的中間定理。
7、它的逆命題就是下面這個定理。
8、你擁有的定理越多，你就會變得更強大。
9、雖然在數(shù)學領域也有一些新的進展，例如對著名的四色定理的證明，1但是基本的材料卻保持不變。
10、微積分基本定理，不是曲線積分的，告訴我們，如果對函數(shù)的導數(shù)積分，就會得回原函數(shù)。
11、我希望促進的那類文化是足夠廣博的，它包含的東西遠遠超過一本書或一條定理。
12、就某方面來說，我們正關上這扇物理問題的大門，同時我們開啟了一扇更大的門，通向以后量子層面的能量均分定理測試。
13、它演示了自動化技術、TAL和自動化定理證明，從而驗證了操作系統(tǒng)中和運行時復雜的低級代碼的安全性。
14、皮埃爾.德.費馬在1637年發(fā)現(xiàn)這個定理，但證明可是在這集動畫片播出前不久才剛剛公布的。
15、散度定理為我們提供了一種,計算向量場通過閉曲面的通量的方法。
16、隨著研究繼續(xù)深入到這段古老歷史的邊緣，畢達哥拉斯定理是否會被一個古老的巴比倫文人的名字來取代，仍然有待于進一步的觀察。
17、可以把動能轉(zhuǎn)為熱量，這點在功能定理,中是非常好的。
18、它演示了少量帶有自動化定理證明功能，經(jīng)過驗證的代碼它能夠支持任意數(shù)量的TAL代碼。
19、在2000年發(fā)表的一篇學術論文里，李建議了這個可應用于信用風險的定理，涵蓋了從債券到房屋抵押貸款的一切。
20、用完全不同的方法來計算它們，并且有幾個定理，把它們相互聯(lián)系起來。
21、手表定理是指一個人有一只表時，可以知道現(xiàn)在是幾點鐘，而當他同時擁有兩只表時卻無法確定。
22、公布一個程序的源代碼與公布一個定理的證明是一樣的。
23、很快也會看到關于通量的定理。
24、定理是基本的原理，我們可以將其組合起來以獲得更多的成果。
25、阿羅不可能性定理論證了沒有一種選舉的方法總是可以給出“正確”的結(jié)果。
26、半個世紀前，IBM的赫伯特·格勒恩特爾編寫了一個程序，據(jù)稱再現(xiàn)了歐幾里德幾何定理，但是，批評家們說它過于依賴程序員提供的規(guī)則。
27、那部分是數(shù)學的東西，即散度定理。
[查看更多]
