1.本文得出了在邏輯的語義問題中,標準命題演算系統(tǒng)的每條公理在邏輯中都是模糊恒真的,但標準命題演算系統(tǒng)的定理,在邏輯中卻不都是模糊恒真的。
2.可以放大,縮小的一副字體。每副字體有它本身的演算法來傳發(fā)完成的數(shù)元圖記。真實字體在后記碼和非后記碼兩種輸出裝置都運作良好然而。
3.討論了三種時間邏輯方法:一階謂詞演算,模態(tài)邏輯及具體化邏輯。
4.數(shù)學(xué)演算題的特點就在于:解題方法雖然不同,但最后的答案一定只有一個,只要演算正確,就可殊途同歸。
5.在這堂課里,這些主題在一種非常特定的演算脈絡(luò)中,被以形態(tài)規(guī)則的方式被重新省視。
6.我們將在課堂上討論各種連接操作演算法的利弊得失,所以大家認真考慮一下每種演算法的利弊。
7.在謂詞演算的反駁樹中,被證明的合式公式。
8.就在北方軍大本營連日連夜進行演算,尋找時機的時候,一個意外事件發(fā)生了。
9.應(yīng)用牽連運動的加速度合成定理,通過嚴格的力學(xué)分析和嚴密的數(shù)學(xué)演算得到了硅微型梳狀線振動驅(qū)動式陀螺儀的活動質(zhì)量的加速度表達式。
10.結(jié)果在拉格朗日的視野中,微積分是關(guān)于函數(shù)的一種代數(shù)形式演算,而函數(shù)是由一個解析表達式給出并且均可展成冪級數(shù)。
11.演算數(shù)學(xué)時,聚精會神都可能犯錯,他竟然還一邊聽著熱門音樂,怎能不錯呢?
12.例如,你可以寫關(guān)于在自然語言處理中使用機器學(xué)習(xí)的報告或機器學(xué)習(xí)中各演算法的抽樣復(fù)雜度的比較整理。
13.在第二章中,作者以譜分解、函數(shù)演算等為工具,給出一些重要的算子不等式與范數(shù)不等式。
14.在數(shù)理邏輯中研究的主要對象是各種演算。
15.之后,美籍邏輯學(xué)家歌德爾一階謂詞演算的完備性定理,這標志著現(xiàn)代邏輯基礎(chǔ)部分的完成。
16.對于吳邪的判斷和演算,逐漸神話,詭異的氣氛開始彌漫。汪家當(dāng)了幾個世紀的捕獵者,現(xiàn)在終于第一次,感受到了當(dāng)獵物的恐懼。南派三叔
17.古老的三體問題在進行充分的演算后,加以解決了。
18.經(jīng)由觀察搜尋過程的效率、收斂的程度與結(jié)果精確度,瞭解各演算法的適用情形。
19.邏輯演算對推理形式有效性的研究,比傳統(tǒng)邏輯更抽象、更嚴格,其原因是形式化方法的運用。
20.根據(jù)激勵的周期特性,運用統(tǒng)計平均的思想,構(gòu)造出一類時域識別反演演算法。
21.第三年則是結(jié)合前兩年的經(jīng)驗與成果,整合于模擬足球機器人隊伍中針對傳球、截球以及射門進行演算法的改進與設(shè)計。
22.在大多數(shù)的情況下,菁英微調(diào)突變式基因演算法,可以在花費較少的迭代數(shù)目時,即準確地收斂到全域最佳解。
23.他的同學(xué)們正在絞盡腦汁地演算初等代數(shù)題。
24.最后,在理論上對熱量表的功耗進行了演算,結(jié)果表明可以實現(xiàn)鋰電池工作的要求。
25.謂詞邏輯:也叫謂詞演算,它研究簡單命題的內(nèi)部結(jié)構(gòu)。
26.數(shù)值方法、標準演算法、利用現(xiàn)來副程式庫之能力。
27.據(jù)說這人會一些旁門之術(shù),現(xiàn)在聽師父說起來,我覺得跟我們白派秘術(shù)其實差不多,這就好像一些復(fù)雜的演算,都是百變不離其宗的。
28.紅外線大氣探測干涉儀的業(yè)務(wù)示蹤氣體的反演算法。
29.一位小學(xué)老師讓學(xué)生演算簡單的加法,有個學(xué)生半天都算不出來。老師不耐煩的說:飯桶,譬如我和你加起來等于多少啊?這學(xué)生想想說:兩個飯桶。
30.首先以最大乘積算子作為模糊集的演算算子,證明了最大乘積算子滿足分配率。
31.培根說過:“讀史使人明智,讀詩使人聰慧,演算使人精密,哲理使人深刻,道德使人高尚,邏輯修辭使人善辯。”。弗蘭西斯·培根
32.數(shù)學(xué)老師要求我們演算題目時,必須像作戰(zhàn)一樣,小心謹慎,步步為營,才不會因一時的疏忽而發(fā)生錯誤。
33.本研究發(fā)展一蟻群最佳化演算法求解越野賽跑問題,此問題可被視為一廣義之旅行推銷員問題,其應(yīng)用范圍極為廣泛。
34.哥白尼體系的真正優(yōu)勢在于以太陽作為靜止不動的參考系,數(shù)學(xué)演算更加簡便。
35.結(jié)果表明,這種線性相位反演算法具有空間分辨力高、對小像差測量精度高的特點,但測量動態(tài)范圍有限。
36.對于數(shù)學(xué),我有一種自討苦吃的癖好,那就是喜歡找最難的題來演算。
37.在定量的意義下使模糊命題演算完全包容經(jīng)典命題邏輯是不可能的。
38.該技術(shù)利用演演算法則處理信號。
39.這種情況下的斷言似乎就需要實現(xiàn)特定的語言擴展,于是一些人建議引入一階謂詞演算。
40.第二個教學(xué)目的是為學(xué)生提供一個對這些演算法和模型進行廣泛應(yīng)用的機會,并且使這些材料與學(xué)生的作業(yè)管理的入門相結(jié)合。
41.討論了清代使用的各種計算手段,指出清代數(shù)學(xué)家在數(shù)學(xué)研究中采用的計算手段和演算方法主要是筆算。
42.趁教師轉(zhuǎn)身在黑板上演算數(shù)學(xué)題的機會,他倆擠眉弄眼,暗示下課后趕緊搶占乒乓球臺,一決勝負。
43.這僅僅是一個巨大的猜想,但是讓我們演算出這引發(fā)的一系列災(zāi)難性連鎖事件。
44.分水嶺分割演算法的不足之處在于過分割,即生成大量的小區(qū)域而使目標物淹沒其中。
45.牛頓用他的微積分,演算出了蘋果如何掉地上的;地球如何拽住月亮,讓月亮繞著軌道跑;太陽如何用這種方式拽著各個行星。
46.本改良型EM演算法修正原EM演算法的步驟E,在該步驟中將邊際期望值取代了條件期望值以求得目標值。
47.與演算的語法研究的同時,還有數(shù)理邏輯的形式語言的語義研究。
48.解交錯演算法是用來將交錯式的影像轉(zhuǎn)換成循序式的掃瞄格式。
49.基于代數(shù)演算法的圓弧插補器,只要改變相應(yīng)的幾個寄存器的予置常數(shù),就可直接插補非圓二次曲線。
50.為能使各決策者在保留各自私有資訊的情況下順利完成工作的分派,我們選擇以反向拍賣法的概念來發(fā)展我們處理這項問題的演算法。
51.生活是一個無法破譯的謎,一萬個人就有一萬個謎;生活是一部無字的書,每個人都有自己的讀法;生活是一道無解的題,無論怎么演算都是徒勞。
52.首先,將制造彈性評估問題建構(gòu)為一個模糊環(huán)境下多屬性決策模式,并提出一種運用MEOWA運算子的語意融合演算法于評估制造彈性。
53.穩(wěn)定器的輸出回饋增益值可藉此演算法給予最佳化。
54.上面提到的事件中的那匹馬,它在意興盎然的歐洲觀眾前表演算術(shù)和其他“智力小測驗”,而這只不過是馴獸師向它下達“指令”的結(jié)果。
55.使用謂詞演算來進行知識的表示和推理,能代表實際應(yīng)用中的許多問題。
56.此研究,我們將連結(jié)全面性演算法與梯度法來找出真正的最佳解。
57.從而形成了模糊謂詞演算一種新的語構(gòu)與語義體系。
58.本文從基于模糊邏輯的量化命題演算出發(fā),探究一個新的數(shù)據(jù)庫查詢機制,用以處理更一般的量化命題意義的模糊數(shù)據(jù)庫查詢。
59.當(dāng)他得知我熟悉歷算,顯得十分興奮,還拿出幾迭早年推演歷日的演算稿紙,連說“很難,沒搞懂”,顯現(xiàn)陳先生多年的苦心追求,令我十分感動。
60.我們利用其拓撲特性,在節(jié)點數(shù)為m的旋轉(zhuǎn)圖上,發(fā)展出三種互斥問題演算法。