Mathematical Logic
数理逻辑：一种研究数学和逻辑之间关系的学科，主要关注形式系统、证明理论、模型论和递归论等领域。
Mathematical Logic网络翻译
数理逻辑(Mathematical Logic)是一门边缘性学科,它是用形式化方法研究推理中前提与结论之间的形式关系的科学,也就是用专门的符号和数学方法来处理、研究演绎方...
数字逻辑... First-order logic一阶谓词演算或一阶逻辑 Mathematical Logic数字逻辑 combinational logic组合逻辑 ...
数学逻辑简介数学逻辑（Mathematical logic）是与数学基础，理论..
Mathematical Logic常用短语
1. Archive for Mathematical Logic：数理逻辑档案
2. Discrete Mathematics and Mathematical Logic：离散数学与数理逻辑
3. Elementary Mathematical Logic：数理逻辑入门
4. applied mathematical logic：[数] 应用数理逻辑
5. Fundamentals of mathematical logic：数学逻辑基础
6. Mathematical logic in asia：数理逻辑在亚洲
Mathematical Logic双语例句
Mathematical logic can produce some great trivia.
数学逻辑能够推理一些极其细微的现象。
In mathematical logic in the study is the main target of all kinds of calculus.
在数理逻辑中研究的主要对象是各种演算。
I learn the formulas that have been proved by mathematical logic and empirical evidence.
我学到的是已经被数学推理和实际经验所证明的公式。
相关单词
- mythologyn. 神话，神话故事；错误的信念，谬误；神话学
- municipalityn. 市政当局；自治市
- mountebankn. 江湖郎中，骗子 vi. 行骗；走江湖卖假药
- milkmann. 牛奶商；送奶工人；挤奶员工 n. （Milkman）人名；（英）米尔克曼
- midgetn. 侏儒；（非正式）矮子，小东西；（修饰语）少年（业余运动）的 adj. 极小的，小型的 n. （Midget）（美、加、澳）密德杰特（人名）
- metropolisn. （国或地区的）首都，首府；大都会，大城市；教会省份的首领；殖民地的起源城市或国家 【名】 （Metropolis）（英）梅特罗波利斯（人名）
- meteorologyn. 气象状态，气象学
- merry go round旋转木马
- maturityn. （思想行为、作品等）成熟；发育成熟，长大成人；到期；（债券等）偿还期；（保险单、证券等）有固定到期日的票据
- matriculationn. 入学考试；大学入学许可；录取入学
- mathematiciann. 数学家 善作数字计算的人
- marketingn. 促销，营销 v. 推销，促销；出售；做买卖（market 的现在分词形式）
- manifestationn. 表现，显现；表现形式；（鬼魂或神灵）出现，显灵；示威运动
- mailmann. 邮差，邮递员
- lockoutn. 闭厂，停工