数学专业英语 -- 数理逻辑入门

mathematical logic 数理逻辑
logical connectives 逻辑连词
a simple proposition 简单命题，指含一个主语和一个动词的命题
a necessary and sufficient condition 一个重要条件
quantifier 量词
inclusive a. 兼容的； exclusive a.互斥的
we are faced with ...我们遇到……
greatest common divisor 最大公约数
lowerest common multiple 最小公倍数
proof of contrapositive 逆否证明，逆否命题的证明
proof of contradiction 反证法
calculus 计算；微积分 ;而微积分的全称：the differential and integral calculus
equivalent to ... 等价于……（这里的equivalent 作形容词）;equivalent of sth 某物的等价物（这里的equivalent作名词）
truth values 真假值，逻辑值
tautology 永真式，恒真式，重言式
phrase in term of ... 用……语言来叙述
method of elimination 消元法
eliminate A from B 从B当中把A去掉
rather than 而不 ;other than 除了……之外

propositional a.命题的

propositional calculus 命题演算

propositional inference 命题推演

propositional connectives 命题连接词

propositional function 命题函数

propositional variable 命题变元

statement n. 语句

statement function 语句函数

satement in programming 程序设计中的语句

compound a.复合的

compound function 复合函数,相当于composite function

compound interest 复利

compound statement 复合语句

compound proposition 复合命题

proof 证明

proof of consistency 一致性证明

proof of contradiction 反证法

proof of induction 归纳证明

proof of theorem 定理证明

direct proof 直接证明

indirect proof 间接证明

inference 推理，推论

inference formula 推理公式

inference of immediate 直接推理

inference of mediate 间接推理

inference of procedure 推理过程

inference rules 推理法则

translation n. 翻译，平移

translation formula 平移公式

translation invariant 平移不变

translation principle 平移原理

translation transformation 平移变换

translation of programs 程序的翻译

translate v. 翻译；translate from A into B 把A语言翻译成B语言

数学专业英语 -- 数理逻辑入门相关推荐

数学专业英语词汇英汉对照
数学专业英语词汇英汉对照 A absolute value 绝对值 accept 接受 acceptable region 接受域 additivity 可加性 adjusted 调整的 altern ...
数学专业英语--无穷级数篇
infinite series 无穷级数 partial sum 部分和 geometric series 几何级数,等比级数 test 检验法 harmonic series 调和级数 p-seri ...
数学专业英语 -- 组合分析和数值分析
combinatorial analysis 组合分析 digress v. 偏离主题 more often than not 往往 one at a time 逐一地,每次一个地 subset of ...
数学专业英语--导数
indefinite intergral n.不定积分 increment n.增量 the tangent line to a curve 一条曲线的切线 concern v.涉及 as is u ...
数学专业英语--定积分
extend ... to... 把--推广到-- deduce vt. 推演,推导: deduce ... from ...由--推出--: =conclude/imply approxima ...
数学专业英语--函数部分
function n. 函数 function of first degree 一次函数 function of one variable 一元函数 function of several varia ...
数学专业英语 -- 函数项级数与序列
conclude ... with ... 以--来结束 be dominated with ... 被--控制 interior to ... 在--的内部:反义词 exterior to . ...
数学专业英语 -- 数值分析篇
numerical analysis 数值分析 numerical stability 数值稳定性 numerical scheme 数值格式 numerical algorithm 数值算法 num ...
计算机应用基础常见英语词汇,数学专业常用英语词汇.doc
数学专业常用英语词汇 A a priori distribution 先验分布 a priori probability 先验概率 a summable a可和的abacus 算盘 abbreviat ...

数学专业英语 -- 数理逻辑入门

数学专业英语 -- 数理逻辑入门相关推荐

最新文章

热门文章