相關詞條
-
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算，允許量化陳述的公式，是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
一階形式語言
所謂一階(形式)語言，就是用狹義謂詞演算範圍內的邏輯概念所表達的語言，具體地說，就是用個體變元、個體常元、函式符號、關係符號或稱謂詞符號（一般包括等號在...
基本介紹 相關概念 -
一階保持
一階保持（Frst-order hold、FOH）是一種重建信號的數學模型，可以透過傳統的數位類比轉換器（DAC）及稱為積分器的模擬電路完成。一階保持可...
簡介 基本的一階保持 延遲一階保持 預測型一階保持 相關條目 -
一階微分形式不變性
一階微分形式不變性是指：無論u，v是自變數還是中間變數，函式z=f(u,v)的全微分形式是一樣的。此性質的好處是：一方面是可以不用區分變數直接利用一元函...
定義 在隱函式求導中的套用 在複合函式求偏導中的套用 -
一階導數
導數（英語：Derivative）是微積分學中重要的基礎概念。一個函式在某一點的導數描述了這個函式在這一點附近的變化率。導數的本質是通過極限的概念對函式...
歷史 定義 性質 導數與微分 可導的條件 -
一階偏微分方程
一階偏微分方程是最簡單的一類偏微分方程。一階偏微分方程的幾何理論有悠久的歷史淵源，以後經過É.(-J.)嘉當等人的發展，在幾何學、力學和物理學中都有重大的意義。
定義 偏微分方程 套用 -
一階系統
凡是可用一階微分方程描述的系統稱一階系統。
簡介 一階系統的重要參數 一階負反饋系統的重要參數 -
一階公式
一階公式first order formula 一階邏輯的合式公式，在形式化的一階語言中遞歸地定義的公式。設 是一階邏輯的一個形式語言， 含邏輯符號和非...
名稱 簡介 -
一階算術
一階算術(first order arithmetics)遞歸論研究的內容之一是刻畫初等數論的一階形式理論.表述這種理論的語言為一階算術語言丫.它除了含有通常一階語言的內容外，還含有等詞一，個體常元0(零)，一元常...
-
一階模態
一階模態是外力的激勵頻率與物體固有頻率相等的時候出現的，此時物體的振動形態叫做一階振型或主振型。 模態是機械結構的固有振動特性，每一階模態都對應有特定的...
