COMPUTABILITY
計(jì)算機(jī)科學(xué)

        有關(guān)內(nèi)容參見:Algorithms,Theoryof;Decidability.可計(jì)算性是函數(shù)的一個(gè)特性。定義域?yàn)镈和范圍為R的函數(shù)f有一個(gè)確定的對(duì)應(yīng)關(guān)系。通過(guò)這個(gè)對(duì)應(yīng)關(guān)系使R范圍的單個(gè)元素f(x)(稱為值)和D定義域的每個(gè)元素x(稱為變?cè)?聯(lián)系起來(lái)。如果存在這樣一    （本文共 461 字 ）     [閱讀本文] >>