{\displaystyle x} 的質數個數。 粒子物理學中的π介子。 π键，一类原子轨道“肩并肩”重叠形成的化学键。 渗透压。 計算機科學中的π-演算。 微觀經濟學中的利潤。 經濟學中的物價指數。 白金漢π定理中的無因次量。 西里爾字母的П及拉丁字母的P都是從Π變來。 希腊字母的汉字规范译音. 中国科技术语....

在计算机科学中，π-演算（pi-演算，英语：π-calculus，pi-calculus）是一套进程演算的形式系统，最早由Robin Milner、Joachim Parrow和David Walker于1992年在通信系统演算（英语：Calculus of communicating systems）的基础上设计而成。...

1980年代有两项發明加速計算了π。第一项是發现了新的迭代法去计π的值，計算速度比無窮級數快很多；另一项是發现了可以快速計算大數字乘積的乘法演算法。電腦大部分的工作時間都是在計乘法，這類演算法對現代計π格外重要。這類演算法包括嘉良對馬（Karatsuba）算法、譚曲（Toom－Cook）乘法及以傅里叶变换為基礎的乘法演算法（傅里叶乘法）。...

1980年代的两项發明加速了 π {\displaystyle \pi } 的計算。第一项是人们發现了新的的迭代法去计算π的值，其計算速度比無窮級數會要快很多。另一项是人们發现了可以快速計算大數字乘積的乘法演算法。這類演算法在現代π的計算上格外的重要，因為電腦大部分的工作時間都是在計算乘法。這類演算...

演算的典例主要包括CSP、CCS、ACP，和LOTOS。最近新增的演算包括π演算，环境演算，PEPA，融合演算和联接演算。 虽然目前为止的进程演算种类繁多（包括含有随机行为，定时信息，专门研究基础的的交互的特例），但是所有的进程演算都有以下几个共同特征： 在独立进程之间进行通信（消息传递）时比修改共享变量更能体现交互性；...

在数学中，全纯函数演算（holomorphic functional calculus）是全纯函数的一种函数演算。也就是说其目标在于，对于给定的一个全纯函数 f {\displaystyle f} 和一个算子 T {\displaystyle T} ，希望构造一个对应的算子 f ( T ) {\displaystyle...

演算的一种表述，其不依赖于作为乘法运算符的 T {\displaystyle T} 的特定表示。这就是下一节要做的事情。 现在正式地定义希尔伯特空间 H {\displaystyle H} 上的自伴算子 T {\displaystyle T} 的有界博雷尔函数演算 πT 。设 L ∞...

Tau蛋白，一种与微管结合的蛋白 连续介质力学中的剪应力 高歐拉商數的除數個數（OEIS數列A000005） 类型论中的类型变量，如简单类型λ演算 拓扑学中一个指定的拓扑 圆周率的2倍（2π），即圆的周长与半径之比。 Υ代表： Υ介子，一种粒子 υ代表： 在一些教科書中出現的頻率 速度，在量子力學代表近光速的速度 一個基本粒子...

立方的八个顶点分别对应各自的类型系统，简单类型lambda演算位于表达能力最低的顶点上，而构造演算（calculus of constructions）则位于表达能力最强的顶点上。 一阶依赖类型 λ Π {\displaystyle \lambda \Pi } ，对应于逻辑框架 LF，是通过把简单类型lambda演算的函数空间一般化为依赖乘积类型而获得的。...

⊢ {\displaystyle \vdash } π : A”有一个纯逻辑释义。在类型论中，逻辑观点被调换为更加可计算的对象的观点。在逻辑释义中的命题现在被看作类型，而证明被看作使用lambda 演算写的程序。所以“π : A”的释义是“程序 π 有类型 A”。逻辑连结词也有不同的读法: 合取被看作乘积(×)，蕴涵被读做函数箭头(→)...

{\displaystyle Iter_{max}} ) 子空間追蹤還原演算法和壓縮採樣匹配追蹤還原演算法相似，它們之間只有三個主要的差別。 只從相關向量π裡面尋找出K個最高correlation值的supports，而不是K個。 Ω = Ω ᑌ supp(T(π,K)) 在把K個supports移除過後，再進行一次最小二乘法，讓預估計算的值更精準。...

worker(1) worker(2) worker(3) occam-π（英语：occam-π），是Kent可重定目标occam编译器（KRoC（英语：KRoC））的后期版本所实现的occam变体的共用名字。这个名字反映了将π-演算运算介入到occam，特别是涉及到移动主体（进程）和数据的概念。 Handel-C...

0 與 2 π {\displaystyle 2\pi } 之間。這些角也稱為歐拉角。 歐拉角廣泛地被應用於經典力學中的剛體研究，與量子力學中的角動量研究。 在剛體的問題上, xyz坐標系是全域坐標系，XYZ坐標系是局域坐標系。全域坐標系是不動的；而局域坐標系牢嵌於剛體內。關於動能的演算...

離散傅里葉變換，是連續傅立葉變換在離散樣本上的類比，目前廣泛應用於信號處理、數值分析、數位通信、音訊處理等領域，在快速演算法問世，以及硬體設備的提升後，能夠更廣泛的應用在人們的日常生活當中，也是個非常重要的學問之一。 对于 N {\displaystyle N} 点序列...

在证明论和数理逻辑中，相继式演算（又译矢列演算、矢列式演算、序贯演算）是一阶逻辑（和作为它的特殊情况的命题逻辑）、模态逻辑等逻辑的一类证明演算（英语：Proof_calculus）。第一个相继式演算 L K {\displaystyle LK} 和 L J {\displaystyle LJ} 由格哈德·根岑（Gerhard...

秀爾演算法（英語：Shor's algorithm）是一個于1994年發現的，以數學家彼得·秀爾命名，針對整數分解題目的的量子演算法（在量子計算機上面運作的演算法）。不正式地說，它解決的題目是：給定一個整數 N {\displaystyle N} ，找出它的質因數。在一個量子計算機上面，要分解整數 N...

在数学中，特别是在算子理论和C*-代数理论中，连续函数演算是一种允许将连续函数作用于C*-代数中的正规元的函数演算。 在进阶的理论中，这种函数演算的应用非常自然，以至于往往它甚至不会被提及。毫不夸张地说，连续函数演算将C*-代数与更一般的巴拿赫代数区分了开来，对于后者只能定义全纯函数演算。 对于巴拿赫代数 A {\displaystyle...

q = e − 2 π i N g − q {\displaystyle b_{q}=e^{-{\frac {2\pi i}{N}}g^{-q}}} 由於 N − 1 {\displaystyle N-1} 必為合數，上述之圓周摺積可直接由摺積定理以及其它常用之快速傅立葉轉換演算法求得。然而，若 N...

LF 逻辑框架的情况下，这个语言是 λ Π {\displaystyle \lambda \Pi } -演算。这是与对一阶极小逻辑的命题为类型原理有关的一阶依赖函数类型的一个系统。 λ Π {\displaystyle \lambda \Pi } -演算的关键特征是它由三层的实体组成:...

π ( a | s ) {\displaystyle \pi (a|s)} ，並針對這樣的訓練場景開發特化的演算法。 如今已經有不少深度強化學習演算法來訓練決策模型，不同的演算法之間各有優劣。粗略來說，深度強化學習演算法可以依照是否需要建立環境動態模型分為兩類： 模型基底深度強化學習演算法：建立類神經網路模型來預測環境的獎勵函數...

一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统，也可以稱為：一阶斷言演算、低階斷言演算、量化理論或谓词逻辑。一階邏輯和命題邏輯的不同之處在於，一階邏輯包含量詞。 高階邏輯和一階邏輯不同之處在於，高階邏輯的斷言符號可以有斷言符號或函數符號當做引數，且容許斷言量詞或函數量詞。在一階邏輯的...

羅斯π引理（Ross'π lemma），得名自以撒·麥克·羅斯（英语：I. Michael Ross），是計算最优控制的結果。以產生反馈控制的Caratheodory-π解（英语：Caratheodory-π solution）為基礎，羅斯π引理提到存在基本的时间常数，是一控制系統需要針對其可控制...

質數計算函數π(n)被定義為不大於n的質數之數量。例如，π(11) = 5，因為有5個質數小於或等於11。已知有演算法可比去計算每個不大於n的質數更快的速率去計算π(n)的值。質數定理表示，π(n)的可由下列公式近似給出： π ( n ) ≈ n ln ⁡ n , {\displaystyle...

他另一項主要工作是并发理论（concurrency theory），他提出了许多被广泛研究的并发计算模型：通信系统演算（英语：Calculus of communicating systems）（CCS）、pi演算。 Interview with Robin Milner by Martin Berger （页面存档备份，存于互联网档案馆）...

演算法相比，有一样多的乘法量，却有较少的加法量，且不牺牲数值的准确性。 Bruun以及QFT演算法是不断的把DFT分成许多较小的DFT运算。（Rader-Brenner以及QFT演算法是为了2的指数所设计的演算法，但依然可以适用在可分解的整数上。Bruun演算...

的类型论变体。直觉类型论基于的是命题和等价类的同一一个命题同一于它的证明的类型。这种同一通常叫做柯里-霍华德同构，它最初公式化了命题逻辑和简单类型λ演算。 类型论通过介入包含着值的依赖类型把这种同一扩展到谓词逻辑。类型论内在化了 鲁伊兹·布劳威尔、阿兰德·海廷 和...

帕克斯-麥克萊倫演算法（英語：Parks–McClellan algorithm,又稱為Remez-exchange algorithm、Mini-max algorithm)，為一個用以設計最佳化有限脈衝響應濾波器（finite impulse response filter）的疊代演算法，由James...

演算法變稱為adaptive algorithms。可適性（adaptive）演算法的好壞可由下列幾項標準判定： 收斂速度：演算法在經過多少次重覆運算後可以相當接近最後想要的結果 每次重覆運算（iteration）的計算量 錯誤調整（misadjustment）的大小 LMS演算...

3 ,   2 ,   π ,   e   {\displaystyle 1,\ 2,\ 3,\ {\sqrt {2}},\ \pi ,\ e\ } 是数值常量，它们不是同样意义的常量。 另一种选择是使用小写希腊字母来表示这种元变量谓词。那么，这种字母可以用来表示谓词演算的全部合式公式: wff...

≥ π / 2 + 2 / π ≈ 2.2074 {\displaystyle A\geq \pi /2+2/\pi \approx 2.2074} 。这种沙发状如电话听筒，由一个长为 4 / π {\displaystyle 4/\pi } ，宽为1的矩形的长边上挖去一个半径为 2 / π {\displaystyle...

Bracewell所提出，由於有相當多類似於快速傅立葉變換(FFT)的快速演算法被提出，於是在一般情況下當欲處理之資料為實數時，成為較傅立葉變換有效率之工具。然而，亦有人認為，特別針對實數輸入或輸出所設計之快速傅立葉變換演算法可以達到較相對應之哈特利轉換演算法而少的運算量(見下文)。 在正式定義上，離散哈特利轉換是一種線性可逆函數...