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