相關詞條
-
λ演算
λ演算，λ(Lambda（大寫Λ，小寫λ）讀音：lan b（m） da（蘭畝達）['læ;mdə])演算是一套用於研究函式定義、函式套用和遞歸的形式系統...
基本概念 非形式化描述 套用 -
邏輯演算
邏輯演算是用形式化方法處理邏輯推理，特別是數學中所用推理。由於形式化了的推理過程與代數演算具有相似性,故也稱之為邏輯演算。
邏輯演算 正文 配圖 相關連線 -
洪水演算
套用蓄泄關係把河段或水庫的入流洪水過程轉換成出流洪水過程的計算。根據入流洪水計算出流洪水是水文工作中經常遇到的問題，十分重要。它在性質上屬於明渠非恆定流...
正文 配圖 相關連線 -
即時演算
即時演算，英文為Real Time Rendering。即所有我們眼中看到的是圖像晶片“即時”生成的，其一系列的程式語言經由API（程式接口）翻譯成圖形...
名詞涵義 具體解釋 與術語的區別 -
演算稿
演算稿，顧名思義，就是對演算推理過程的記錄，修改和注釋的綜合。 隨著計算機技術的發展，演算稿和原始碼的意義逐漸融合。 在很多成熟行業，演算稿成為辦公室之...
定義 作用 軟體產品 -
關係演算
關係演算是以數理邏輯中的謂詞演算為基礎的。以謂詞演算為基礎的查詢語言稱為關係演算語言。用謂詞演算作為資料庫查詢語言的思想最早見於Kuhns的論文。把謂詞...
語言ALPHA 語言QBE 元組關係 -
時間反演算符
1932年，Wigner在量子力學中引進了時間反演，乍一看來，這是與空間反演相似的一個分立對稱性，實際上不然。這是用詞不當。嚴格地說，所謂的時間反演對稱...
概念 基本原理 -
互動式定理證明與程式開發：Coq歸納構造演算的藝術
以後的Coq 在套用方面，Coq 提出的要求，在相繼發布的Coq
-
徑流過程預報
淨雨經流域匯流過程，在流域出口斷面形成流量過程。 由淨雨推求流量過程的常用方法有：①單位過程線法。 ②徑流過程預報等流時線法。
流量過程 常用方法 匯流和水力學方法 -
計算系統的形式語義
1.7機率和隨機過程1.8矢列演算、線性邏輯、線性類型系統和線性帶類型λ演算1.8.1從矢列演算講起1.8.2線性邏輯1.8.3線性類型系統第2章...工具書。 目錄第1章數學基礎1.1λ演算1.2格論1.3範疇論1.4不動點...
基本信息 圖書簡介 目錄
