可计算性逻辑的英文

• computability logic

• "可"英文翻译    approve
• "计算"英文翻译    count; compute; calculate; r ...
• "性"英文翻译    nature; character; dispositi ...
• "逻辑"英文翻译    logic
• "不可计算性" 英文翻译 :    uncomputability
• "可计算性" 英文翻译 :    calculability; computability
• "部分可计算性" 英文翻译 :    partial computability
• "可计算性刻划" 英文翻译 :    characterization of computability
• "可计算性理论" 英文翻译 :    computability theory; recursion theory
• "可行可计算性" 英文翻译 :    feasible computability
• "实用可计算性" 英文翻译 :    practical computability
• "算盘可计算性" 英文翻译 :    abacus computability
• "图灵机可计算性" 英文翻译 :    turing computability
• "预测可计算性函数" 英文翻译 :    predictably computable function; predictablycomputablefunction
• "可计算性与计算复杂性" 英文翻译 :    computability and complexity of computing
• "可计算性的等价定义" 英文翻译 :    equivalent definitions of computability
• "可计算函数逻辑" 英文翻译 :    logic for computable function; logic of computable functions
• "构造性逻辑" 英文翻译 :    constructive logic; intuitionistic logic
• "排它性逻辑" 英文翻译 :    exclusive disjunction
• "线性逻辑" 英文翻译 :    linear logic
• "可计数 可计算" 英文翻译 :    countenable
• "可计算" 英文翻译 :    calculability
• "磁性逻辑元件" 英文翻译 :    logitron
• "磁性逻辑组件" 英文翻译 :    logitro
• "高抗扰性逻辑" 英文翻译 :    hnil high noise immunity logic

• The primary area of his research interests is logic and its applications in computer science
  可计算性逻辑（这次课程的题目） - -是他近年提出来的。