相關詞條
-
數學演算2
"類別:休閒遊戲 語言:中文
遊戲信息 遊戲簡介 -
邏輯演算
邏輯演算是用形式化方法處理邏輯推理,特別是數學中所用推理。由於形式化了的推理過程與代數演算具有相似性,故也稱之為邏輯演算。
邏輯演算 正文 配圖 相關連線 -
λ演算
λ演算,λ(Lambda(大寫Λ,小寫λ)讀音:lan b(m) da(蘭畝達)['læ;mdə])演算是一套用於研究函式定義、函式套用和遞歸的形式系統...
-
演算
演算,是一個漢語辭彙,拼音:yǎn suàn,釋義是按照一定的原理或公式計算。
基本內容 -
網路演算
網路演算是一種基於最小加代數和最大加代數的網路性能分析工具,網路演算分為確定性網路演算和隨機網路演算,確定性網路演算最初由Cruz在1990年提出。
網路演算歷史 網路演算分類 網路演算主要工具 網路演算性質 -
演算稿
演算稿,顧名思義,就是對演算推理過程的記錄,修改和注釋的綜合。 隨著計算機技術的發展,演算稿和原始碼的意義逐漸融合。 在很多成熟行業,演算稿成為辦公室之...
定義 作用 軟體產品 -
數學思想方法
《數學思想方法》是2004年中央廣播電視大學出版社出版的圖書,作者是顧泠沅。該書主要介紹數學思想方法的兩個源頭、數學思想方法和幾次重要轉折、數學的真理性...
內容簡介 作品目錄 基礎概念 思維方法 演算方法 -
數學年譜
數學年譜也叫數學編年史。
-
SKI組合子演算
組合子演算是一個計算系統,它是對無類型版本的 演算中所有運算都可以用三個組合子S、K和I來表達。 在這個系統中的所有函式可以只使用S、K、I的字母表和圓...
術語簡介 相關詞條 -
數學危機
數學危機是數學在發展中種種矛盾,數學中有大大小小的許多矛盾,比如正與負、加法與減法、微分與積分、有理數與無理數、實數與虛數等等。但是整個數學發展過程中還...
概述 第一次 第二次 第三次