跳到主要內容
:::

教育百科logo

:::
146 筆資料,
每頁顯示 筆資料
縮小搜尋結果範圍
適用年級
媒體形式
::: 你是不是要搜尋以下結果
公理語意     
瀏覽人次: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
心思、想法。如:「心意」、「意思」、「意見」、「隨意」、「詞不達意」。
料想、推測。如:「意外」、「意料」、「意想不到」。
情趣。如:「古意盎然」、「詩情畫意」。
情態。如:「睡意」、「醉意」。
願望。如:「滿意」、「稱心如意」、「差強人意」。
    
瀏覽人次:0 收藏人次:0
話。如:「語言」、「國語」、「千言萬語」。
說話。如:「默默不語」、「不言不語」、「語無倫次」。
傳達訊息的動作或信號。如:「旗語」、「手語」。
蟲鳥的鳴叫聲。如:「鳥語花香」。
剛愎自用     
瀏覽人次:0 收藏人次:0
目錄1 出處2 語意3 故事4 相似詞5 相反詞6 例句 出處 左傳宣十二年:「其左先榖,剛愎不仁,未肯用命」 語意 形容人固執己見做事,完全不理會他人的意見 故事 性情倔強,固執己見。明.沈德符.萬曆野獲編.卷上.吏部.大計部院互訐:「各堂上官不從臣言,而都御史高明,剛愎自用,十三道御史豈無一人可斥?高明心懷不公。」或作「剛愎自任」、「剛褊自用」、「剛戾自用」。 相似詞 傲狠自用 相反詞 虛懷若谷 例句 他「剛愎自用」,自以為是,完全...
爾虞我詐     
瀏覽人次:0 收藏人次:0
演變而出,形容人與人之間的互相猜疑,玩弄欺騙手段。典源中的「我無爾詐,爾無我虞」,用的是倒裝句,它的語意其實是「我無詐爾,爾無虞我」,後來用其反意,而成為「爾虞我詐」這句成語。
魂牽夢縈     
瀏覽人次:0 收藏人次:0
目錄1 1.出處2 2.語意3 3.故事內容4 4.相似、相反詞4.1 相似詞4.2 相反詞5 5.例句 1.出處宋 劉過《醉太平》詞:“情高意真,眉長鬢青。 小樓明月調箏,寫春風數聲。 思君憶君,魂牽夢縈。 翠綃香暖銀屏,更那堪酒醒。” 2.語意魂牽夢縈形容十分掛念、思念的樣子。 3.故事內容懷著高潔的情感,真心真意的,修長的眉毛雙垂的鬢發,坐在月光照入的小小樓閣上,調弄著古箏,悠悠的聲音訴說這春天的情緒。我想念著你,掛記著你,整晚為你魂牽夢縈,...
我是貓頭鷹博士,
有問題可以問我喔!
回到頁面頂端圖示