lambda calculus中文是什么意思

發(fā)音:

中文翻譯
造句

lambda可定義函數(shù)
Λ-遞歸函數(shù)
Λ演算
λ演算
無(wú)類(lèi)型 lambda 演算
無(wú)類(lèi)型lambda演算
演算

lambda n. 1.希臘語(yǔ)第十一個(gè)字母〔Λ,λ 與英語(yǔ)字母L相當(dāng)〕 ...
calculus n. (pl. calculuses, -li ) 1. ...
normalization property (lambda-calculus) 規(guī)范化性質(zhì)
simply typed lambda calculus 簡(jiǎn)單類(lèi)型 lambda 演算; 簡(jiǎn)單類(lèi)型lambda演算
typed lambda calculus 有類(lèi)型 lambda 演算; 有類(lèi)型lambda演算
lambda n. 1.希臘語(yǔ)第十一個(gè)字母〔Λ,λ 與英語(yǔ)字母L相當(dāng)〕。 2.微升〔百萬(wàn)分之一升〕。 3.λ粒子( ＝ lambda particle)。
calculus n. (pl. calculuses, -li ) 1.【醫(yī)學(xué)】結(jié)石，石；積石；牙垢。 2.【數(shù)學(xué)】運(yùn)算，演算；微積分(學(xué))。 calculus of finite differences 【數(shù)學(xué)】差分演算(法)，差分學(xué)。 calculus of variation 變分法[學(xué)]。 differential [integral] calculus微[積]分(學(xué))。 urinary calculus【醫(yī)學(xué)】尿結(jié)石。
bacteriophage lambda λ噬菌體
lambda (λ) 微升
lambda angle λ角
lambda bacteriophage λ噬菌體
lambda binding λ約束
lambda chain 輕鏈,λ鏈:免疫球蛋白輕鏈型式之一
lambda computation λ計(jì)算
lambda definition λ定義
lambda electronics 拉姆達(dá)電子公司
lambda exonuclease λ核酸外切酶
lambda expression lambda表達(dá)式; λ表達(dá)式
lambda factor λ因子
lambda hyperon λ 超子。
lambda immunoglobulin λ免疫球蛋白
lambda matrix λ矩陣
lambda notation λ記法
lambda parameter λ參數(shù)
lambda particle 拉姆達(dá)超子; 拉目達(dá)粒子; 粒子

"查查詞典"手機(jī)版

千萬(wàn)人都在用的超大詞匯詞典翻譯APP

例句與用法

The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language
本文的特色體現(xiàn)在: ( 1 )提出了可以描述動(dòng)態(tài)模糊性問(wèn)題的演算的變形方法; ( 2 )提出了可以解決動(dòng)態(tài)模糊性問(wèn)題的dfl程序設(shè)計(jì)語(yǔ)言的操作語(yǔ)義模型,并對(duì)該模型的正確性和可靠性進(jìn)行了證明; ( 3 )提出了dfl程序設(shè)計(jì)語(yǔ)言的基本框架結(jié)構(gòu)。
The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc , dfo , dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics
主要內(nèi)容包括:變形傳統(tǒng)的演算,以更好地描述具有動(dòng)態(tài)模糊性的問(wèn)題;通過(guò)bnf描述了dfl程序設(shè)計(jì)語(yǔ)言的抽象語(yǔ)法;通過(guò)一個(gè)三元組< dfsc , dfo , dfss >給出了dfl程序設(shè)計(jì)語(yǔ)言的操作語(yǔ)義模型;給出了dfl程序設(shè)計(jì)語(yǔ)言的基本框架結(jié)構(gòu);給出了該操作語(yǔ)義模型的一些應(yīng)用實(shí)例;通過(guò)hoare邏輯和基本指稱語(yǔ)義對(duì)本文所定義的操作語(yǔ)義模型的正確性和可靠性進(jìn)行了證明。由此可見(jiàn),本文從全新的角度定義了一種可以處理動(dòng)態(tài)模糊問(wèn)題的程序設(shè)計(jì)語(yǔ)言。

百科解釋

Lambda calculus (also written as λ-calculus or called "the lambda calculus") is a formal system in mathematical logic and computer science for expressing computation by way of variable binding and substitution. First formulated by Alonzo Church, lambda calculus found early successes in the area of computability theory, such as a negative answer to Hilbert's Entscheidungsproblem.

詳細(xì)百科解釋

其他語(yǔ)種釋義

lambda calculusとは意味：《コ》ラムダ計(jì)算式

推薦英語(yǔ)閱讀

lambda calculus的中文翻譯，lambda calculus是什么意思，怎么用漢語(yǔ)翻譯lambda calculus，lambda calculus的中文意思，lambda calculus的中文，lambda calculus in Chinese，lambda calculus的中文，lambda calculus怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。