運算元演算（operational calculus）是1993年公布的數學名詞。
基本介紹
- 中文名：運算元演算
- 外文名：operational calculus
- 所屬學科：數學
- 公布時間：1993年
公布時間,出處,
公布時間
1993年，經全國科學技術名詞審定委員會審定發布。
出處
《數學名詞》第一版。
運算元演算
相關詞條
- 運算元演算
運算元演算（operational calculus）是1993年公布的數學名詞。公布時間1993年，經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
- 有限差演算
有限差演算是運用符號運算元及其運算規則處理插值、級數求和以及差分方程求解等問題的形式演算方法。又稱為離散微積分學、有限差分學。簡介 有限差分演算即通常所稱的差分演算(caleulus of difference)，是一種運用符號運算元及其運算規則處理插值...
- 蘊涵命題演算
在數理邏輯中，蘊涵命題演算是只使用叫做蘊涵或條件的一個連結詞的經典(二值)命題演算。用公式表達，這個二元運算被指示為“implies” “如果 ..., 則 ...”, “→”, 等等。作為運算元的實質完備性 單獨的蘊涵作為邏輯運算元不是完備...
- 模態運算元
模態邏輯是在命題邏輯和謂詞邏輯基礎上引入模態運算元及相應的公理而形成的。最基本的模態邏輯有模態命題邏輯和模態謂詞邏輯，它們相應形式化後的公理系統分別稱為模態命題演算系統和模態謂詞演算系統，是一門古老的邏輯分支。早在亞里士多德時...
- 可計算性邏輯中若干Cirquent演算系統的研究
本項目對CoL理論中的若干Cirquent演算系統進行了研究，具體內容如下：(1)研究帶有Cluster的Cirquent演算系統；(2)研究同時帶有Cluster和Rank的Cirquent演算系統；(3)研究帶有復發運算元的Cirquent演算系統的可判定性；(4)研究多根Cirquent...
- 命題演算分離規則
他用a、b、c等表示項詞，用△，I代表運算元，採用前置號的方法，Aab表示所有a是b，Iab表示有的a是b。將Eab(所有a不是b)定義為Iab的否定，Oab(有的a不是b)定義為Aab的否定。用下面4條公理：(一)Aaa (二)Iaa (三)Abc∧Aab...
- 跡類運算元
在數學中，跡類運算元（英語：Trace class）是一個滿足如下條件的緊運算元，可以為其定義跡，使得跡有限且與基底的選擇無關。跡類運算元本質上與核型運算元相同，但是許多作者將希爾伯特空間上的核型運算元這一特殊情況稱為“跡類運算元”，而將“...
- 冪零李群上次拉普拉斯運算元的分析
本項目研究海森堡型群上與次拉普拉斯運算元相關的調和分析問題。研究工作在具有高維中心的海森堡型群上開展。主要研究內容和結果包括：（1）次拉普拉斯運算元和中心變數的偏拉普拉斯運算元的聯合泛函演算與Stein-Tomas型的限制性定理； （2）波方程...
- 運算元半群和李群上的微分運算元
本項目研究李群上的微分運算元。李群上的微分運算元理論與熱核、奇異積分理論、調和分析等密切相關。隨著分析方法的引入，李群上微分運算元的Lp正則性、函式演算和Riesz變換成為熱點。本項目計畫用運算元半群中的方法統一地建立李群上微分運算元的函式...
- 線性運算元數值域的幾何特徵
(2) 通過對運算元進行分類，根據各類運算元的特點，藉助函式演算，譜分析等工具研究各種運算元數值域的幾何特徵, 包括運算元數值域的角點、邊界點、內點的性質，以及有限維成立的一些結論在無限維空間中的討論。(3) 探討其它領域中出現的有關運算元...
- 相關於運算元的Orlicz-型函式空間的實變理論
得到了其上的一個跡定理. 在歐式空間, 強Lipschitz區域和齊型空間上, 建立了與運算元(包括有界解析泛函演算和k-Davies-Gaffney估計的1-1角型運算元, 具有非負局部可積位勢的帶磁場的Schrödinger運算元, 有高斯性質的散度型橢圓運算元)相關...
- 布爾運算
布爾用數學方法研究邏輯問題，成功地建立了邏輯演算。他用等式表示判斷，把推理看作等式的變換。這種變換的有效性不依賴人們對符號的解釋，只依賴於符號的組合規律 。這一邏輯理論人們常稱它為布爾代數。20世紀30年代，邏輯代數在電路系統...
- 高階函式
在數學中它們叫運算元(運算符)或泛函。微積分中的導數就是常見的例子,因為它映射一個函式到另一個函式。高階函式計算機科學 在無類型 lambda演算,所有函式都是高階的;在有類型 lambda演算(大多數函式式程式語言都從中演化而來)中,高階...
- 系統F
系統F，也叫做多態lambda演算或二階lambda演算，是有類型lambda演算。它由邏輯學家Jean-Yves Girard和計算機科學家John C. Reynolds獨立發現的。系統F形式化了程式語言中的參數多態的概念。簡介 正如同lambda演算有取值於（rang over）函式...
- 廣義函式簡史
1.1 海維賽德的運算元演算 2 1.1.1 電磁學的貢獻，運算元演算的源泉 3 1.1.2 符號運算法則與d函式 6 1.2 狄拉克函式的引進 11 第2章 傅立葉變換和微分方程解的推廣 17 2.1 傅立葉變換的推廣 17 2.1.1...
- 進程代數
進程代數是關於通信並發系統的代數理論的統稱。 20世紀70年代後期，英國學者RMnner和C. A.R，分別提出了通信系統演算和通信順序進程，開創了用代數方法研究通信並發系統的先河。 此後這一研究方向興盛不衰，出現了眾多類似而又 相互區別的...
- 模態邏輯
模態邏輯，邏輯的一個分支，它研究必然、可能及其相關概念的邏輯性質。形式模態邏輯使用模態判決運算元表示模態。簡介 模態邏輯，或者叫(不很常見)內涵邏輯，是處理用模態如“可能”、“或許”、“可以”、“一定”、“必然”等限定的句子的...
- 不變子空間問題
關於U+的不變子空間問題，有稱為博靈定理的如下結果：運算元U+沒有非平凡的約化子空間，M是U+的不變子空間的充要條件是M=φH，這裡φ是H中幾乎處處等於 1的函式。1978年W.S.布朗藉助於函式演算的方法證明：次正常運算元(即正常...
- 差分(數學用語)
首先我們來看在“無限演算”中所使用的 Df(x) = Limit[f(x+h)-f(x),h -> 0]這是定義微分運算元D的性質。“有限演算”基於由 Δf(x)=f(x+1）-f(x)定義在差分運算元Δ的性質上。差分與微分有許多類似的性質（事實上微分可...
- 阿佩爾序列
其中後一個等式是在以x為不定元的多項式構成的線性空間中的線性運算元S的定義式。並定義：為S的逆運算元，其中的係數ak是形式冪級數的逆係數。這樣得到 在影子演算的約定中，運算元T一般被用來代表阿佩爾序列 {pn}，可以定義對數運算元：運用...
- 不動點組合子
那么，不動點運算元fix的定義是x=f\ x。使得對於任何函式 f 不動點組合子它們可以用非遞歸的lambda抽象來定義，在 lambda演算中的函式都是匿名的。然而在命令式程式語言中的遞歸，或許限制只能以呼叫函式名稱作為參數來實作。在函式式...
- 亥維賽,O.
亥維賽對數學物理方法也有較大貢獻，他認識到運算元演算對研究瞬變過程的重要意義，使分析複雜電路的運算簡化為代數運算；實際上他預見到拉普拉斯變換將在電工學中廣泛套用，並提出他自己的運算元演算的準經驗方法。還有δ函式的運用，也是他...
- 高階邏輯
高階邏輯的一個實例是構造演算。高階函式在數學和計算機科學中，高階函式是至少滿足下列一個條件的函式:接受一個或多個函式作為輸入輸出一個函式在數學中它們也叫做運算元(運算符)或泛函。微積分中的導數就是常見的例子，因為它映射一個...
- 模糊推理
王國俊教授於1996年建立了模糊命題演算的形式系統L~*，之後在系統L~*的框架中，從語義上為模糊推理規則構建了邏輯基礎。1999年又基於只。蘊涵運算元提出了糊推理的全蘊涵三I算法，這是比Zadeh提出的如今在控制領域中廣泛套用的CRI方法更為...
