computability
Matin D. Davis, Computability, Complexity, and Languages, Academic Press, 1983.
《可计算性、复杂性和语言》,清华大学出版社，北京，1989。
This makes classical logic a special fragment of computability logic.
这使经典逻辑成为可计算性逻辑的特殊片段。
Being semantically constructed, as yet computability logic does not have a fully developed proof theory.
正在做着语义构造，至今可计算性逻辑仍没有完全开发出证明论。
Models for mathematical (and philosophical) questions of computability (Turing,1936; Post).
数学或哲学和可计算性问题模型。
The classical concept of truth turns out to be a special, zero-interactivity-degree case of computability.
真理的经典概念转变为可计算性的特殊的零交互度的情况。
Computability, rationality and practicality of this approach are explained through practical case studies.
通过应用案例，论证了这一方法的可运算性、合理性和实用性。
Keywords: Language, Intelligence, Knowledge, Computability, NLP, planned languages.
关键字：语言,智能,语义,分解,知识,可计算性,计划语言
The desired requirements for a tolerance model for part are: completeness,compatibility,computability and validity.
提出了一种基于关键特征和图的零件公差建模方法。
Hence meaningful concepts of "intuitionistic truth" and "linear-logic truth" can be derived from the semantics of computability logic.
因为"直觉真理"和"线性逻辑真理"的有意义的概念可从可计算性逻辑的语义中推导出来。
The advent of the electronic business based on comput er network brings new opportunity and challenge to enterprise.
以计算机网络为基础的电子商务正在全球范围内迅速兴起，给企业带来了新的机遇与挑战。
LI Guanghui.Aerodynamic computability and analysis of estate car with carrier[D].Beijing:Beijing University of Aeronautics and Astronautics,2004.
[2]李广辉.带行李架的旅行车的空气动力学计算与分析[D].北京:北京航空航天大学,2004.
Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level.
定义了这种游戏扮演机器所意味的东西，可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。
Abstract: Computability of the generalized solution operations of the initial - value problems for heat equation is studied.
中文摘要: 研究了带初值的热传导方程广义解的可计算性。
VAIDYA V G, FRANK J, ALEXANDRA J R. Evaluation of some mathematical models for tumor growth[J]. Int J Bio-Med Comput, 1982(13): 19-35.
阮晓钢,胡日查.模拟脑肿瘤生长动态的细胞自动机研究[J].生物医学工程学报,待发表.
The following table shows some of the classes of problems (or languages, or grammars) that are considered in computability theory (blue) and complexity theory (green).
下面的表格指出了在可计算性（蓝色）和复杂性理论（绿色）应当考虑的一些种类的问题。
Luo J W.Oscillation of hyperbolic partial differential equations with impulsives.J Comput Appl Math,2002,133 (2):309 -318.
张立琴.具有不依赖于状态脉冲的双曲型偏微分方程的振动准则.数学学报,:.
Since computability issues play a major role in Artificial Intelligence and Machine Learning, I would like to take the opportunity to comment on that and ...
由于可计算性问题中发挥重要作用人工智能和机器学习，我想借此机会发表意见和 ...
Besides classical logic, linear logic (understood in a relaxed sense) and intuitionistic logic also turn out to be natural fragments of computability logic.
除了经典逻辑之外，线性逻辑(在不严格的意义上理解)和直觉逻辑也转变成可计算性逻辑的自然片段了。
Cobb J, Claremont DJ.Transducers for foot pressure measurement: Survey of recent development Med Bio Eng Comput, 1995,33:525-533.
庞伯友张国栋.中国正常成人半地行走时足底持重点三维力测定[J].生物医学工程学杂志,:.
Li Y, Zhang JL, Feng D.A parallel prefetching method in RAID oriented to media server[J].J Comput Res Develop, 2002, 39(11):1526-30.
[5]李宇,张江陵,冯丹.一种面向视频播放系统的RAID并行预取技术及实现[J].计算机研究与发展,2002,39(11):1526-30.
BEYAR R, SIDEMAN S, DINNAR U.Cardioac assist by intrathoracic and abdominal pressure variations: a mathematical study[J] Med&Biol Eng&Comput, 1984,22:507-515.
结合临床对各项生理特性进行计算机仿真，将为医学研究提供一种新的强有力的研究手段。
In the light of the interrelation between each influencing factor between ports, levels of VTMS are determined and the standards for the levels are established.A comput...
文中还就港口之间各主要影响因素的相互关系,从总体上划分了港口VTMS的等级,并建立了等级标准。
For a more advanced graduate course, computability theory and computational complexity theory are also covered.
高级课程中还包括了可计算理论和计算复杂性理论。
In general, questions of what can be computed by various machines are investigated in computability theory.
一般而言，计算性理论研究的问题是：什么是能够被各种机器计算的问题。
Finally, the solution operations of heat equation is Turing - computable by use of computability of convolutions is proved.
最后，运用广义函数卷积的可计算性质得到最后证明。
Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful.
作为前者的保守扩展的同时，可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。
Computability theory examines the limitations of various theoretical models of the computer including the most powerful known model - theTuring machine.
离散数学是通用名称的数学领域的最普遍有益的理论计算机科学。这包括可计算性理论，计算复杂性理论和信息理论。
They will be able to use these methods in subsequent courses in the design and analysis of algorithms, computability theory, software engineering, and computer systems.
尔后课程中将可利用这些方法来设计与分析算法、可计算理论、软件工程与计算机系统。
The MSc Forensic Computing and Security allows you to specialise in the diversity of issues concerning the security, compliance and investigation of large comput...
硕士法医的计算和安全允许你专注于有关安全，规范和大型计算机系统的调查问题的多样性。
By applying spectra of matrix to the computation of panel data model, one can convert such computation as in-computability or complexity into computability or simplicity.
摘要将矩阵谱分解的方法运用于平行数据模型的计算中，使难以进行的计算变成可能、复杂的运算变得简单。
They are formalized as games played by a machine against its environment, and computability means existence of a machine that wins the game against any possible behavior by the environment.
它们被形式化为机器扮演的针对它的环境的游戏，而可计算性意味着存在着一个机器针对经由环境的任何可能行为赢得了游戏。
Based on the NP complete theory, and setting off from the problem's computability and complexity, the principle and realizing process of the greed algorithm are proposed in this paper.
在NP完全理论的基础上，从问题的可计算性与复杂性出发，提出贪心算法的实现原理与实现过程。
At the same time a successful application of one conceptual pump design example is obtained，which shows the three potential advantages，computability，reusability and exchangeability.
并进一步将该模型应用于泵的原理方案设计的一实例中，得到了一个较为完整的水泵原理设计流程，表明此模型具有可操作性、可重用性、可交换性等特点。
BEYAR R, KISHON Y, SIDEMAN S, DINNAR U.Computer studies of systemic and reginal blood flow mechanisms during cardiopulmonary resuscitation[J] Med&Biol Eng&Comput, 1984,22: 499-506.
同时，这种仿真模型对循环系统特性的刻画也较为全面和细致，生理仿真的实验结果在波形和定量上与人体检测的结果是相吻合的。
With the use of computability theory dividing whole-word coding into two parts: writing-input coding and computational coding, an method of none keyboard mapping for spelling language is proposed.
本文依据可计算性理论，提出了拼音文字非键盘映射编码方法，将整词编码分为输写码与计算码。
Computability and Complexity in Analysis
分析中的可计算性与复杂性
Bibliographic Database for Computability Theory
可计算行理论数据库
On the computability of real numbers
关于实数的可计算性
comput er assisted language learning
计算机辅助语言学习
large integrated monolithic array comput
大规模集成单片阵列计算机
Theory of Computability and Some Key Question in Theory of Linguistics
可计算性和语言学理论的几个关键问题
Research on Interactive Computability and Its Topological Approaches
交互可计算性和拓扑方法的研究
with the programming language Scheme used to crystallize computability constructions and as an object of study itself.
关于电脑程序语言计划习惯于用明确性的运算结构，就如一个自学的对象??
still it is hard to (overestimate) the influence of BG on comput(ing).
比尔盖兹在计算机领域中的影响现在仍然很难估量。
Keyword： all-paralleling AT feeding systems; current distributing; fault locator; the operation mode; data acquisition and computability
关键词：全并联AT供电；电流分布；故障测距；运行模式；数据采集合成
Keywords Sandwich Injection M olding;Comput er-based Simulation;Penetration Length of Core Melt;
夹芯注塑成型;计算机模拟分析;芯层熔体穿透深度;
Park J,Sandberg I W.Universal approximation using radial basis function networks.Neural Comput,1991(3):246
杨威,那成烈.废水中和微机控制系统.甘肃工业大学学报,2002,28(3):65
Bassi J S, Moor A. Managing data storage in the network Plank [J]. IEEE Intemet Comput, 2001, 5(5): 50
郝卫东,刘鸿涛,文哲明.企业网组建指南[M].北京:清华大学出版社,2001
Computability and Complexity of Computing
可计算性与计算复杂性
[9]Lao Q, Wang ZM, Sha SQ, et al.CT diagnosis of cervical lymph node tuberculosis[J].Chin Comput Med Imaging, 1997,3(3) :166-168.
劳群,王朝明,沙水泉,等.颈淋巳结结核的CT诊断[J].中国医学计算机成像杂志,1997,3(3):166-168.