相關詞條
-
λ演算
λ演算，λ(Lambda（大寫Λ，小寫λ）讀音：lan b（m） da（蘭畝達）['læ;mdə])演算是一套用於研究函式定義、函式套用和遞歸的形式系統...
基本概念 非形式化描述 套用 -
可轉換公司債券融資問題研究
《可轉換公司債券融資問題研究》是2008-8-1經濟管理出版社出版的圖書，作者何媛媛。
圖書信息 編輯推薦 內容簡介 目錄 -
組合子邏輯
競爭的函式抽象的形式化，就是 lambda 演算，它比組合子邏輯更加流行...(1972) 縱覽了組合子邏輯的早期歷史。組合子邏輯和 lambda 演算...特徵。 組合子邏輯可以被看作是 lambda 演算的變體，它把...
數學中的組合子邏輯 計算中的組合子邏輯 lambda 演算概要 組合子演算 -
自然演繹
主義。所以提議了“自然演繹演算”。 — Gentzen...找到了他的自然演繹演算的直接使用。但他不滿意自己證明的複雜性，並在1938年使用他的相繼式演算給出了一個新的一致性證明。在1961年和1962年...
動機 判斷和命題 介入和除去規則 例子 假言推導 -
林惠民
的方便，通訊被簡化為單純的同步。從訊息傳送進程到單純同步演算的過渡由一轉換...π-演算的公理化等方向上取得了突破性進展，其主要貢獻包括：1.設計並實現...的進程演算。這種局限性妨礙了驗證工具的推廣套用。如何克服這種局限性是當時國際...
人物簡介 主要貢獻 研究方向 學習經歷 工作經歷 -
司波達也
與視線，但當達也開發出循環演算系統，並以循環演算系統為基礎開發的CAD銀式...進行的人造魔法師實驗的被實驗者，經由這個實驗獲得人工魔法演算領域以及類似...政府高層從科學家中得知其破壞手段是使用質量─能量轉換魔法所造成的，導致...
角色設定 角色經歷 角色能力 -
溫度調節器
。● 開平方演算在測量流量的場合，使用差壓式流量計時，一般其輸出...PV低輸入進行開平方演算的場合，在輸入小的時候，即使差壓變化幅度小...）則選“Slow”。● 自動演算（AT）自動演算（AT）是對於設定...
簡介 功能 -
數理邏輯發展史：從萊布尼茨到哥德爾
阿克曼函式二 一般遞歸函式第三節 λ轉換演算和丘吉論題一 λ轉換演算二... 萊布尼茨的三段論系統第二節 萊布尼茨創建數理邏輯的指導思想一 理性演算二 普遍語言第三節 萊布尼茨具體構造的演算第七章 邏輯代數第一節 邏輯代數...
-
資料庫系統教程
3.4.3 關係代數操作小結 53 3.5* 關係演算 54... 56 3.5.3 域關係演算 59 3.5.4 域關係演算語言...
人民郵電出版最新 基本信息 目錄 圖書信息 -
數學思想方法
內容簡介《數學思想方法》共分十三章，分為三個部分。第一章至第四章為上篇，主要介紹數學思想方法的兩個源頭、數學思想方法和幾次重要轉...
內容簡介 作品目錄 基礎概念 思維方法 演算方法
