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

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

为了降低硬件开销，越来越多的加法器电路采用传输管逻辑来减少晶体管数量，同时导致阈值损失、性能降低等问题。本文通过对摆幅恢复逻辑与全加器电路的研究，提出一种基于摆幅恢复传输管逻辑（Swing restored pass transistor logic, SRPL）的全加器设计方案。该方案首先分析电路的阈值损失机理，结合晶体管传输高、低电平的特性，提出一种摆幅恢复传输管逻辑的设计方法；然后，采用对称结构设计无延时偏差输出的异或/同或电路，利用MOS管补偿阈值损失的方式，实现异或/同或电路的全摆幅输出；最后，将异或/同或电路融合于全加器结构，结合4T XOR求和电路与改进的传输门进位电路实现摆幅恢复的高性能全加器。在TSMC 65 nm工艺下，本文采用HSPICE仿真验证所设计的逻辑功能，与文献相比延时降低10.8%，功耗延时积（Power-delay product, PDP）减少13.5%以上

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

一、命题演算推理形式系统P(和N)语法 二、语法的核心是推理:a? 三、P是符号演算。 四、公式的含义:真、假、永真等语义

在一元函数积分学中,我们已经知道,定积 分是定义在某一区间上的一元函数的某种特定形 式的和式的极限,由于科学技术和生产实践的发 展,需要计算空间形体的体积、曲面的面积、空 间物体的质量、重心、转动惯量等,定积分已经 不能解决这类问题,另一方面,从数学逻辑思维 的规律出发,必然会考虑定积分概念的推广,从 而提出了多元函数的积分学问题

二重积分的概念和性质 在一元函数积分学中,我们已经知道,定积 分是定义在某一区间上的一元函数的某种特定形 式的和式的极限,由于科学技术和生产实践的发 展,需要计算空间形体的体积、曲面的面积、空 间物体的质量、重心、转动惯量等,定积分已经 不能解决这类问题,另一方面,从数学逻辑思维 的规律出发,必然会考虑定积分概念的推广,从 而提出了多元函数的积分学问题

迄今为止，我们已详细介绍了基本数据类型如整 型、实型、字符型等，也介绍了一种构造类型的数 据—数组，数组中的各元素是属于同一个类型的。 但在处理实际问题时，经常会遇到复杂的数据，只 有这些数据类型是不够的，还需要将不同类型的数 据组合成一个有机的整体，以便于引用。为了能把 这些有一定逻辑联系的数据组成一个整体，C++语 言提供了一种结构体数据类型本章主要介绍由不同 类型数据组成的构造类型的数据，包括结构体类型 共用体类型和枚举类

课程性质与任务 MATLAB语言及其应用是本专业的一门基础工具课。 MATLAB是 MathWorks公司开 发的一套高性能的数值计算和可视化的仿真软件,包括 MATLAB主程序、 SIMUL INK 动态系统仿真包和各种专业工具箱。它基于矩阵运算,集数值计算、图形显示、图 形界面设计等功能和模糊逻辑等30多个专业工具箱于一体,具有极强大的计算功能 和极高的编程效率,特别适合于科学计算、数值分析、系统仿真和信号处理等任 务,对后续专业课程的学习有重要影响

课程教学大纲从教学实施层面，规定了课程在专业教学计划中的地位和作用、教学的基本任务和要求、培养目标的达成和检验、课程的前后逻辑关系等，是保障教学运行与教学质量的重要依据。本教学大纲依据山西大同大学2019版本科专业人才培养方案制定,包含了数学与应用数学、统计学及经济统计学三个专业，由数学与统计学院承担教学任务的课程教学大纲，每个专业39门课程