λ演算（英語：lambda calculus，λ-calculus）是一套從數學邏輯中發展，以變數綁定和替換的規則，來研究函式如何抽象化定義、函式如何被應用以及遞迴的形式系統。它由數學家阿隆佐·邱奇在20世紀30年代首次發表。lambda演算作為一種廣泛用途的計算模型，可以清晰地定義...

分子量可以用化學式計算而得，是分子质量与12C质量的1/12之比值。若是網狀固體，則會用化學計量方式計算．稱為式量（英语：formula unit）。 由量子力學定律的演算，分子有固定的平衡几何狀態——鍵的長度和之間的角度。純物質都是由相同几何結構的分子組合而成的。分子的化學式和結構是決定它的特質，尤其是它的化學活性的兩要素。...

演算連繫到了一起。皮埃爾·德·費馬声称他借用了丢番图的成就，引入了“准等式”（adequality）概念，表示兩個項在除卻一個無窮小誤差項下等同。而把無窮小量與有限差分演算連繫起來的工作，是由約翰·沃利斯、伊薩克·巴羅和詹姆斯·格雷果里完成的。後兩者在1670年左右證明了微積分第二基本定理。...

哥德爾構造了一個特殊的命題 G，它的語意是： 「本命題不可證明」 形式化來說，這是利用"對角化法（Diagonalization）"構造出的命題，類似於「這句話是錯的」的悖論，但這次是在數學系統內嚴格定義的。 具體而言，哥德爾引入了一個公式 Proof(x, y)，表示「數字編碼為 x 的命題由編碼為...

演算的變異方法來近似求解。 將整個物理系統細分為更簡單的部分具有以下優點： 精確表示複雜的幾何形狀。 可以描述多樣的材料特性。 輕鬆表示整體解決方案。 精確描述局部現象。 該方法的工作流程包括 （1）將問題的域劃分為子域的集合，每個子...

演算裝置能加快思考速度，像在看慢動作般的情形下看破敵人下一瞬間的行動，演算加速最快可達到兩千分之一秒，被聖天子稱為最強的矛。 現在為了得知有關父母的真相而努力向IP排名前十進行挑戰，並立志要打倒所有的階段Ｖ原腸動物來改善受詛之子遭歧視的現狀。 原本IP排行123452名，在第一卷擊敗蛭子...

數學中，对应、映射、变换通常都是函数的別稱，但也可能有別的意思，如在拓扑學的映射有时代表的是连续函数。 在類型論的λ演算中，「對應關係」可以是作為一個原始概念（也就是無定義名詞），而不像上述的定義把函數視為集合的衍伸物。 函數的值域或像是定义域中所有元素的像之集合。...

演算能力。 最後與芳川桔梗以槍近身對峙，但最後還是被她槍殺而死。死前對芳川說「溫柔這個詞果然不適用於妳，妳現在是堅強了」。 木山春生（木山 春生（きやま はるみ），Kiyama Harumi，聲：田中敦子） 松定博士（松定（まつさだ），Matsusada）...

定為「雖然異常並且損壞，但其存在為貴重的樣本資料」，准許再次進行連結，而在同步時發現里克所給予的「心」是多麼的沉重（過去同步時間從未超過3秒，但是這次卻超過4分鐘），最後典開機凱種全兵裝對抗吉普莉爾，對著本身連結體創造出了「對未知用戰鬥演算...

Sight） 關於精灵之眼的介紹，將在下方『魔法』條目中會詳以敘述。 人工魔法演算領域 使用精神構造干涉魔法，將「人工魔法演算领域」殖入意識領域中，但人工魔法演算领域性能比天生魔法演算领域差，使得無法使用多工序的魔法。 達也的人造虛擬魔法演算空間位於意識領域，所以無論啟動式記述的魔法式是何種魔法，他都能以「己...

constructor），賦值運算子（copy assignment operator operator=）以及解構式（destructor）。另外，C++也為所有的類別定義了數個全域算子（如operator delete及operator new）。當使用者有需要時，也可以提供自訂的版本改寫上述的函式。...

证明论 希尔伯特演绎系统 自然演绎 相继式演算 柯里-霍华德同构 递归论 λ演算 组合子逻辑 公理化集合论 二階邏輯 哥德尔不完备定理 直觉逻辑（构造性逻辑） Heyting代数 中间逻辑 直觉类型论 多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑（子结构逻辑） 线性逻辑 相干逻辑 非单调逻辑...

算子上的。系统的状态可以用一个元素为实数的向量表示。随着离散时间的每一个增加，这个线性算子就会作用在当前状态上，产生一个新的状态，并也会带入一些噪声，同时系统的一些已知的控制器的控制信息也会被加入。同时，另一个受噪声干扰的线性算子产生出这些隐含状态的可见输出。...

塔斯基悖论正是豪斯多夫所用技术的一个推广应用。 逻辑学家常常对逻辑上不一致的命题使用“悖论”一词，例如说谎者悖论或者罗素悖论。巴拿赫 - 塔斯基悖论并非这种意义上的悖论，它是一个已证明的定理，只因为违反直觉才被称为悖论。由于其证明明确地用到选择公理，这种反常的结论被用作反对使用该公理的理据。...

智力、「蜃氣樓」的德鲁伊系统的高性能情報處理與演算能力、魯路修施加在朱雀身上「活下去的Geass」、「蘭斯洛特．阿爾比昂」的超卓性能下成功以「F.L.E.I.J.A. 消除器」抵銷「愛之女神」。 在《奪回的Rozé》中尼娜開發出搭載了高性能情報處理與演算能力的最新型「F.L.E.I.J.A....

(cdr z) (z (lambda (p q) q))) 這樣定義出來的cons、car和cdr，滿足恆等式(car (cons x y))等於x，和(cdr (cons x y))等於y。甚至递归也可以表示为利用λ演算的Y组合子。 词法作用域的介入，通过在某些形式的λ表示法，和在工作编程语言中...

有6枚要塞級擬似太陽爐，母艦主電腦為量子型演算系統Veda。 據變革者首腦里朋斯所言，本艦之建造目的是為人類與宇宙未知種族對話作準備。 從第一季起一直以光學迷彩隱藏在月球背面，第二季第23話首次出擊，對抗天上人，政變軍及純源。 80m GN粒子束粒子炮利用360度軌道環以環繞母艦來進行掃射，並有大...

者與真夜聚會中支持深雪。 是分家中的次代中少數正常看待達也的親人之一（另外只有文彌和亞夜子是真心看待），因母親對司波兄妹使用「誓約」魔法以束縛達也的能力而對他感到抱歉。目前想要繼續讀研究所，接受家族的資助，研究以精神干涉系魔法來治疗過度使用魔法演算領域的問题，也負責封印寄生物和保护司波兄妹的工作。...

Domain）上，包含的函式庫類別從smart_ptr這種類通用函式庫，到boost-filesystem这种檔案系統的作業系統抽象層，甚至能夠利用Boost來開發額外的函式庫或是給進階的C++使用者利用，例如MPL。 演算法 并行计算 thread（页面存档备份，存于互联网档案馆） - 執行緒 context（页面存档备份，存于互联网档案馆）...

斯及克洛等人的協助下完成的新型機甲兵，搭載的自動控制系統為ZCF製造的最新型導力演算器《卡佩爾III》，處理容量為第一世代機甲兵的數十倍。由於是以騎神前啟動者的數據為基礎，調整到最適合個人習慣的狀態，是他人無法操縱的設定，因此保有前所未見的高功率及操作性。 提爾鋒S 黎恩的專用機，以黎恩的數據為基礎，並以《灰之騎神...

数学是研究數量、结构以及空间等概念及其变化的一門学科，屬於形式科學的一種。數學利用抽象化和邏輯推理，從計數、計算、量度、對物體形狀及運動的觀察發展而成。數學家們拓展這些概念，以公式化新的猜想，以及從選定的公理及定義出發，嚴謹地推導出一些定理。 純粹數學的知識與運用是生活中不可或缺的一環。對數學基本概念的完善...

Fitch發表了針對DNA序列的演算法，成為最著名的演算法。 簡約法利用系統發生學上的離散資料作為特徵所構成的矩陣估計一個或多個最佳的系統發生樹，而這些資料來源可能是有遺傳關係的多個物種或多個族群，之後最大簡約法在可能的親緣樹中挑選需最少步驟可形成者，視為最佳的親緣關係樹。最大簡約法可使用於分析大多...

1990年代中期，擁有人工智能的虛擬寵物開始出現，如Petz和Tamagotchi。大約在同一時間，Creatures這款人工智慧程式成為「第一個在人工生命與遺傳演算上成熟的商業化應用程序」。2000年《模擬市民》改善小電腦人物的遊戲模式，成為至今最為成功的生命模擬遊戲。2008年的《孢子》也是生命模擬遊戲之一。...

509認證，之後利用非對稱加密演算來對通訊方做身份認證，之後交換對稱密匙作為會话密匙（Session key）。這個會談密匙是用來將通訊兩方交換的資料做加密，保证两个应用间通信的保密性和可靠性，使客户與服务器应用之间的通信不被攻击者窃听。...

篇報告主要是為了證明循環處理程式的死角，亦即停機問題的存在。圖靈也以演算法概念為通用計算機（純理論裝置）作出定義，後來稱為圖靈機，取代哥德爾漸趨累贅的通用語言。除了記憶體限制，現代電腦已經具備圖靈完全的條件，也就是說，現代電腦的演算法執行力已與通用圖靈機相當。記憶體限制有時也被視為一般用途電腦與特殊用途電腦的差別。...

条命令访问多条记录的概念；其次，它消除了指定如何访问记录的需求（即无论是否使用索引）。 SQL最初基于关系代数和元组关系演算，包含多种类型的语句，这些语句可被非正式地归类为以下子语言：数据查询语言（DQL）；数据定义语言（DDL）；数据控制语言（DCL）；数据操作语言（DML）。 SQL...

基斯開創所謂的隨機音樂（法語：musique stochastique），是使用數學機率系統的一種作曲方法。一組受參數控制的不同機率演算法被用來創作樂曲。澤納基斯利用電腦創作曲子，包括為弦樂4重奏而寫的《ST/4》與為管弦樂團而寫的《ST/48》（兩首均完成於1962年）、《莫西瑪-阿莫西瑪》（M...

当然，也可能在任意介质中编码进2个以上的符号。比如在导线上用0，1，2，3伏特去编码一种有4个符号的字符集，或者利用打孔卡的洞的不同大小。但实践上，在一个很小的、高速的、低功耗的电路中噪声是个关键因素。它使分辨多个可能出现的符号变得困难。所以电路设计者们选择了高、低2种电压而不是4种。 由于上面的原因计算机使用二值逻辑电路。最常见...

者要一段時間才會發現自己受傷了（HP也不會減少），道具也是被破壞後一陣子才會發現（明明拿出道具箱了卻取不出道具），缺點為無法同時消除葛蓓菈和敵人的痛覺，若是葛蓓菈開啟自己的痛覺，則被攻擊的人不會感到疼痛 甘蒂·卡內吉 主職業：〈疫病王〉 外號：〈絕國〉 創胎：軍團·武器·演算型【惡性神威...

Azure 虛擬網路內自由劃分需要的子網路與IP位址空間。Azure 虛擬網路提供了三種基本位址空間供選擇 (都是 IP 位址中已定義的私人網路範圍)： 10.0.0.0 172.16.0.0 192.168.0.0 網路管理人員可利用 CIDR 的網路劃分法來定義主位址空間 (例如 10.0.0.0/8...

\lambda ^{\left(n\right)}]} 利用EM演算法求解的缺點是當網路模型較大時，在計算上比較複雜；即使當期數夠多時，EM演算法僅能提高估計上的準確性並無法解決計算上的複雜。 針對EM演算法的缺點，Vardi在1996年提出一種較為可行的方法，即利用動差法來估計參數解。 假設當各條連結流量觀測的期數夠多時，根據中央極限定理...