相關詞條
-
軀體形式障礙
軀體形式障礙是一種被認為以持久的擔心或相信各種軀體症狀的優勢觀念為特徵的神經症。病人因這些症狀反覆就醫，各種醫學檢查陰性和醫生的解釋均不能打消其疑慮。由...
簡介 描述 病因 症狀 檢查 -
思維形式障礙
包括聯想障礙以及思維邏輯障礙。
思維形式障礙 相關條目 -
布魯斯[美國流行音樂形式]
藍調（英文：Blues，解作“藍色”，又音譯為布魯斯）是一種基於五聲音階的聲樂和樂器音樂，它的另一個特點是其特殊的和聲。藍調起源於過去美國黑人奴隸的靈魂...
特點 藍調精神 歌詞 音樂形式 和聲 -
思維形式
思維形式，思維藉以實現的形式。概念、判斷、推理、證明是不同的思維形式。具有不同結構的判斷形式、推理形式、證明形式也是不同的思維形式。在具體思維中，思維形...
主要形式 基本解釋 哲學名詞 宗教學名詞 醫學名詞 -
會計核算形式
會計核算形式也稱“會計核算組織程式”“賬務處理程式”，它是指在會計循環中，會計主體採用的會計憑證、會計賬簿、會計報表的種類和格式與記賬程式有機結合方法和...
作用 分類 原則 具體要求 其他影響 -
形式語義學
形式語義學（formal semantics），是程式設計理論的組成部分，以數學為工具，利用符號和公式，精確地定義和解釋電腦程式設計語言的語義，使語義...
簡介 發展歷程 分類 發展形式語義學的迫切性 -
肚皮舞[阿拉伯風情舞蹈形式]
肚皮舞（阿拉伯語：قص شرقي 或 رقص بلدي），是一種帶有阿拉伯風情的舞蹈形式，起源於中東地區，並在中東和巴基斯坦、印度、伊朗等其他受阿拉伯文...
概述 特點 起源與發展 現狀 主要風格 -
肚皮舞[阿拉伯風情的舞蹈形式]
肚皮舞（阿拉伯語：قص شرقي 或 رقص بلدي），是一種帶有阿拉伯風情的舞蹈形式，起源於中東地區，並在中東和巴基斯坦、印度、伊朗等其他受阿拉伯文...
概述 特點 起源與發展 現狀 主要風格 -
形式邏輯學
“形式邏輯”就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由於本質上“形式邏輯”是知性邏輯，所以現代數理邏輯沒有超出“形式邏輯”即傳統邏輯的範疇。...
定義 釋義 邏輯學 簡介 含義 -
形式驗證
所謂形式驗證，是指從數學上完備地證明或驗證電路的實現方案是否確實實現了電路設計所描述的功能。形式驗證方法分為等價性驗證、模型檢驗和定理證明等。
原理 方法 優點
