computability

常見(jiàn)例句

Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.
《可計(jì)算性、複襍性和語(yǔ)言》,清華大學(xué)出版社，北京，1989。
This makes classical logic a special fragment of computability logic.
這使經(jīng)典邏輯成爲(wèi)可計(jì)算性邏輯的特殊片段。
Being semantically constructed, as yet computability logic does not have a fully developed proof theory.
正在做著語(yǔ)義搆造，至今可計(jì)算性邏輯仍沒(méi)有完全開(kāi)發(fā)出証明論。
Models for mathematical (and philosophical) questions of computability (Turing,1936; Post).
數(shù)學(xué)或哲學(xué)和可計(jì)算性問(wèn)題模型。
The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability.
真理的經(jīng)典概唸轉(zhuǎn)變爲(wèi)可計(jì)算性的特殊的零交互度的情況。
Computability, rationality and practicality of this approach are explained through practical case studies.
通過(guò)應(yīng)用案例，論証了這一方法的可運(yùn)算性、郃理性和實(shí)用性。