数理逻辑的英文
发音:
"数理逻辑"怎么读"数理逻辑"的汉语解释用"数理逻辑"造句
英文翻译手机版
- mathematical logic
- "公式 (数理逻辑)" 英文翻译 : formula (mathematical logic)
- "句子 (数理逻辑)" 英文翻译 : sentence (mathematical logic)
- "量化 (数理逻辑)" 英文翻译 : quantification
- "文字 (数理逻辑)" 英文翻译 : literal (mathematical logic)
- "高级数理逻辑" 英文翻译 : advanced numerical logic; artificial intelligence & its architecture
- "数理逻辑基础" 英文翻译 : fundations of mathematical logic
- "数理逻辑轮廓" 英文翻译 : profile of mathematical logic
- "现代数理逻辑" 英文翻译 : modern mathematical logic
- "【数学】符号逻辑,数理逻辑。" 英文翻译 : symbolic logic
- "处理逻辑" 英文翻译 : processing logic
- "心理逻辑" 英文翻译 : psychologic
- "哲理逻辑" 英文翻译 : philosophical logic
- "成组处理逻辑" 英文翻译 : grouprocessing logic
- "群组处理逻辑" 英文翻译 : gpl grouprocessing logic
- "因果推理逻辑" 英文翻译 : post hoc logic
- "中断处理逻辑" 英文翻译 : interrupt handling logic
- "加工逻辑, 处理逻辑" 英文翻译 : processing logic
- "数据管理逻辑规则" 英文翻译 : data management logic
- "逻辑数理智力" 英文翻译 : logical-mathematical intelligence
- "数理" 英文翻译 : mathematical physics
- "数理的" 英文翻译 : mathematical
- "数理化" 英文翻译 : mathematics physics and chemistry
- "数理解" 英文翻译 : number comprehension
- "逻辑" 英文翻译 : logic 有学问而且合逻辑地辩论 argue with learning and logic; 逻辑上的错误 an error in logic; 数理逻辑 mathematical logic; 合乎逻辑 logical; 按照这种逻辑 according to that kind of reasoning; 这是什么逻辑 ? what sort of logic is that?; 逻辑包含 logical inclusion; 逻辑比较 logic comparison; logical comparison; 逻辑变换 logical conversion; 逻辑变量 logic variable; 逻辑 (型)变量 logical variable; 逻辑变项 [数学] logical variable; 逻辑表 logical table; 逻辑表达式 logical expression; 逻辑差 logical difference; 逻辑常数 logical constant; 逻辑程序 logical program; 逻辑错误 logical error; 逻辑代数 logic algebra; boolean algebra; algebra of logic; 逻辑单元 logical block; logic unit; 逻辑电路 logic circuit; logical circuit; 逻辑段 logical segment; 逻辑范畴 logical categories; 逻辑方法 logical method; 逻辑方阵 logical square; 逻辑分析 logic analysis; 逻辑分析法 analysis; 逻辑符号 logic symbol; logical symbol; 逻辑赋值语句 logical assignment statement; 逻辑关系 logical relation; 逻辑规格 logical specification; 逻辑规律 logical laws; 逻辑规则 logic rules; 逻辑函数 logical function; 逻辑恒量 logical constant; 逻辑机 logical machine; 逻辑级 logic level; 逻辑计算机 logical computer; 逻辑记录 [自动化] logical record; 逻辑解释 logical interpretation; 逻辑经验论 [哲学] logical empiricism; 逻辑经验论者 logical empiricist; 逻辑矩阵 logic matrix; 逻辑卡片 logic card; 逻辑连接 logical link; 逻辑连接词 logical connective; 逻辑连接符 [数学] logical connectives; logical connector; 逻辑连结 logical connection; 逻辑矛盾 logical contradiction; 逻辑曲线 [统计学] logistic curve; 逻辑设备表 logical unit table; 逻辑设计 [自动化] logic design; logical design; 逻辑实证论 [哲学] logical positivism; 逻辑实证论者 logical positivist; 逻辑实证主义 logical positivism; 逻辑史 history of logic; 逻辑数学 logical mathematics; 逻辑思维 logical thinking; 逻辑特征 logical implication; disjunction; 逻辑条件语句 logical if statement; 逻辑图 [自动化] logic diagram; logical chart; 逻辑推演 logical deduction by reasoning; 逻辑网络 logical net (work); 逻辑文件 logical file; 逻辑项 logical term; 逻辑型 logical type; 逻辑形l grammar; 逻辑原子论 [哲学] logical atomism; 逻辑运算 logical calculus; logical operation; 逻辑障碍[心] paralogia; 逻辑哲学 philosphy of logic; 逻辑正确 logically true; 逻辑证明 logical proof; 逻辑值 logic value; logical value; 逻辑制表 logic tab; 逻辑重音 logical accent; 逻辑主义 logicism; logicistic; 逻辑主语 [语言学] logical subject
- "数理科学" 英文翻译 : mathematical sciences
- "数理经济学" 英文翻译 : economatrix; matekon; mathematic economics; mathematical economics
例句与用法
- Several factors in mathematical logic translation
数理逻辑翻译中的几个因素 - Methods based on the semantic theory of nonclassical logic
方法非经典数理逻辑的语义理论。 - A . g . hamilton : logic for mathematicians . cambridge university press , 1978
陆钟万:面向计算机科学的数理逻辑(第二版) ,科学出版社2002 。 - Those who are “ numbers and logic smart ” excel at math and science
具有“数理逻辑智能”的人,在数学和自然科学方面表现出有杰出的才能。 - L . t . f gamut : logic , language , and meaning . the university of chicago press , 1991
李小五:数理逻辑? ?现代逻辑学讲义,中山大学出版社2005 。 - There are advantages and disadvantage in both induction and deduction , and they are intertwined
究其实,争论是由逻辑观传统形式逻辑和现代数理逻辑的不同引起的。 - He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英国bristol university颁发的数理逻辑和计算理论的理学硕士学位。 - R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陈慕泽余俊伟:数理逻辑基础? ?一阶逻辑与一阶理论,中国人民大学出版社2003 。 - This paper shows that the methods of mathematical logic may have a broad application and also valuable to human ' s daily thinking
这说明,数理逻辑的方法可以有广泛的运用,它对于日常思维同样有重要的价值。 - This is an article about mathematical logic , its are basic the thought is to stem from the true reason that considers a theory to prove end at result of a kind of calculative
这是一篇关于数理逻辑的文章,其基本思想是出于想把理论的真理性论证归结于一种计算的结果。
- 更多例句: 1 2
其他语种
百科解释
数理逻辑是数学的一个分支,其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。
详细百科解释
相关词汇
数理逻辑的英文翻译,数理逻辑英文怎么说,怎么用英语翻译数理逻辑,数理逻辑的英文意思,數理邏輯的英文,数理逻辑 meaning in English,數理邏輯的英文,数理逻辑怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。