:::
資料庫查詢時間:894.2775 ms
共 8 筆資料,
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式:
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
公理語意學
瀏覽人次:0
收藏人次:0
係將語意形式化的一種方法,用以證明程式的正確性。其形式如下:設P和Q為述詞公式,S為一組動作(如某程式語言中一組敘述),則
(1)P{S}Q,表示如果在執行S前P成立,則執行S後Q成立。 (2)P1{S1}Q1,P2{S2} Q2,…,Pn{Sn}Qn╱P{S}Q,表示橫線以上的都是公理或定理,則橫線以下也是定理。 |
意
瀏覽人次:0
收藏人次:0
心思、想法。如:「心意」、「意思」、「意見」、「隨意」、「詞不達意」。
料想、推測。如:「意外」、「意料」、「意想不到」。
情趣。如:「古意盎然」、「詩情畫意」。
情態。如:「睡意」、「醉意」。
願望。如:「滿意」、「稱心如意」、「差強人意」。
|
語
瀏覽人次:0
收藏人次:0
話。如:「語言」、「國語」、「千言萬語」。
說話。如:「默默不語」、「不言不語」、「語無倫次」。
傳達訊息的動作或信號。如:「旗語」、「手語」。
蟲鳥的鳴叫聲。如:「鳥語花香」。
|
理
瀏覽人次:0
收藏人次:0
事情的原則、規律。如:「原理」、「道理」、「公理」、「義理」、「真理」。
物質的紋理、組織。如:「肌理」、「木理」、「紋理」。
辦事、處置。如:「處理」、「治理」、「辦理」、「代理」。
修治、使整齊。如:「整理」、「理家」、「理髮」。
對別人的言語行動表示意見或反映的態度。如:「理會」、「置之不理」、「不理你了!」
順序、層次。如:「有條有理」、「這封信寫得條理分明。」
溫習、熟習。如:「理熟了功課」、「書不理不熟」。
自然學科。如:「理化」、「理工」、「理科」。
|
學
瀏覽人次:0
收藏人次:0
研習。如:「學習」、「好學」、「學技術」、「學而不厭」。
模仿。如:「呀呀學語」、「有樣學樣」、「九官鳥會學人說話」。
學問。如:「學術」、「博學」、「求學」、「品學兼優」、「才疏學淺」。
學科。如:「哲學」、「文學」、「科學」、「醫學」、「經濟學」。
學說派別。如:「漢學」、「紅學」、「宋明理學」。
求學的場所。如:「學校」、「小學」、「中學」、「大學」、「學堂」。
|
公
瀏覽人次:0
收藏人次:0
不自私的。如:「公平」、「公正」、「公道」。
大眾的。如:「公物」、「公海」、「公筷母匙」、「公眾人物」、「公共安全」、「北大西洋公約」。
國家的、政府的。如:「公營」、「公家機關」、「公務人員」、「公費留學」。
明白的讓大眾知道。如:「公開」、「公告」、「公布」、「公諸於世」。
大眾的事務。如:「公事」、「辦公」、「公私分明」、「因公忘私」、「假公濟私」。
古代公、侯、伯、子、男五等爵的第一位。
稱謂:A>祖父。如:「外公」。B>丈夫的父親。如:「公婆」。C>尊稱年老或有地位的人。如:「李公」、「趙公」。
屬雄性動物的。如:「公雞」、「公牛」。
公制度量衡的名稱。如:「公斤」、「公尺」、「公升」。
|
語意
瀏覽人次:0
收藏人次:0
話中所包含的意思。宋.朱熹〈跋歐陽文忠公帖〉:「前輩交情篤厚,語意真實,於此可見。」
|
曾經查過此詞彙的人也經常查詢以下字詞:
|
貓頭鷹博士