2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

第一节 汉语词语与词语翻译机制 第一节 现代汉语句子概述 第二章 现代汉语句子英译 第三节 翻译程序 第四节 可行性翻译

第一章 英美时文选段汉译 第二章 美国总统就职演说选段汉译 第三章 英国名家演说选段汉译 第四章 英美小说选段汉译 第五章 美国文学史选段汉译 第六章 国外翻译理论著作选段汉译

根据俄文版翻译的《斯大林全集》第1-13卷，包括斯大林1901年到1934年1月的著作。本文集则是斯大林1934年到1952年的著作的汇编。文集主要收录斯大林这一时期的文章，讲话和谈话，同时也选收了一部分比较重要的书信和电报。斯大林在第二次世界大战时期给英美政府首脑的书信和电报已收在世界知识出版社出版的《1941-1945年苏联伟大卫国战争期间苏联部长会议主席同美国总统和英国首相通信集》中，本文集未加选用

1.1 命题及联结词 1.2 命题公式与翻译 1.3 真值表和等价公式 1.4 重言式 1.5 范式 1.6 全功能联结词集 1.7 对偶式与蕴含式 1.8 命题逻辑的推理理论

第一节 主要农业技术要求和农机具 一、农业技术要求 二、少耕法 三、耕作机具 第二节 耕层土壤的物理学特性 一、耕层土壤的物理特性 二、耕层土壤的动力特性 第三节 铧式犁的构造和原理 一、铧式犁的类型 二、铧式犁的基本构造 三、铧式犁的翻垡原理 第四节 旋耕机 一、总言 二、旋耕机类型 三、横轴式旋耕机械的理论分析 四、刀齿类型及排列 五、横轴旋耕机的功率消耗 六、横轴式旋耕机组总体分析

一、邓小平:中国改革开放的总设计师 1、政治生涯的三起三落 江西瑞金——文革—1975年反击右倾翻案风 2、毛对邓的评介:人才难得 (1)公道 (2)有水平 (3)厚道,使人不怎么怕 (4)对自己很严格 3、如何开始新的时代 文化大革命——毛泽东——毛泽东思想坚持社会主义,保持社会稳定,开辟新的道路

车辆的稳定性是指车辆行驶或工作时不发生侧滑和失稳倾翻而保持正常工作的性能。车辆的稳定性是滑移和失稳角来评价。车辆的稳定性可分为静稳定性和动稳定性两种情况。 8-1车辆的静稳定性 8-2车辆的动稳定性

实践证明:正确地利用这种对称性质会使网络 的分析得到很大的简化。 具有翻转对称性质的网络绕位于其所在平面上的 a轴(下图中的虚线)转逆时针或顺时针)180°后, 无论在几何上和电气上都保持不变。这种网络由 两个互为镜像的子网络构成