:::
資料庫查詢時間：468.751 ms
共 8 筆資料，
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式：
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
|
歸納斷言法
瀏覽人次:0
收藏人次:0
由Floyd提出的一種對程式正確性證明方法。將一程式分割，並假設其滿足條件，再將其建立驗證條件進行驗證，若所有驗證為真，則表該程式或程式段是正確的。
|
|
歸
瀏覽人次:0
收藏人次:0
返回。如：「歸鄉」、「歸國」、「歸途」、「歸心似箭」。
還給。如：「歸還」、「完璧歸趙」、「物歸原主」。
湊併、聚合。如：「歸併」、「歸納」、「總歸」、「歸類」。
責任屬於。如：「這件事歸我管。」、「這道手續歸他辦。」
依附、順服。如：「萬眾歸心」、「眾望所歸」。
推向別人。如：「歸功」、「歸過」、「歸罪」。
|
|
法
瀏覽人次:0
收藏人次:0
制度、律令。如：「宗法」、「憲法」、「法律」、「法規」、「法外施恩」。
方式、途徑。如：「方法」、「辦法」。
範式、原則。如：「文法」、「語法」。
佛、道等的道理。如：「佛法」、「道法」、「現身說法」。
仿效。如：「效法」、「法古今完人」。
法國：位於歐洲西部的獨立國家。首都巴黎，居民多信仰天主教，法語為主要語。
法子：方法。如：「大家一起想想，有沒有什麼法子可以解決這個問題。」
|
|
言
瀏覽人次:0
收藏人次:0
說、講。如：「難言之隱」、「大言不慚」、「苦不堪言」。
話語、所說的話。如：「格言」、「良言」、「人言可畏」、「言外之意」。
字。如：「七言詩」、「五言絕句」。
學說、言論。如：「一家之言」、「立德、立功、立言」。
|
|
斷
瀏覽人次:0
收藏人次:0
分開、隔絕。如：「砍斷」、「中斷」、「斷絕」、「斷交」、「一刀兩斷」。
判定。如：「斷案」、「診斷」、「當機立斷」。
一定、絕對。如：「斷然」、「斷無此理」、「斷不可行」。
|
|
納
瀏覽人次:0
收藏人次:0
收。如：「出納」、「交納」。
接受。如：「採納」、「接納」、「笑納」。
交付。如：「納稅」、「納糧」。
享受。如：「納福」、「納涼」。
懷疑。如：「納悶」。
驚異。如：「納罕」。
縫補。如：「納鞋底」。
|
|
歸納
瀏覽人次:0
收藏人次:0
歸類、歸結。如：「警察自現有的線索中，歸納出幾條偵查方向。」
|
|
斷言
瀏覽人次:0
收藏人次:0
十分肯定地說。如：「未查明案情前，沒人敢斷言凶手是誰。」
|
 曾經查過此詞彙的人也經常查詢以下字詞： |
貓頭鷹博士