§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法

数值模拟是依据被模拟对象的数学或逻辑模型,利用计算机进行实验的一种技术.已成为与理论分析,实验室实验并列的重要研究方法

7-1 概述 7-2 只读存储器ROM 7-3 随机存储器RAM 7-4 存储器容量的扩展 7-5 用存储器实现组合逻辑函数

统计学习方法即机器学习方法，是计算机及其应用领域的一门重要学科。本书分为监督学习和无监督学习两篇，全面系统地介绍了统计学习的主要方法。包括感知机、k近邻法、朴素贝叶斯法、决策树、逻辑斯谛回归与最大熵模型、支持向量机、提升方法、EM算法、隐马尔可夫模型和条件随机场，以及聚类方法、奇异值分解、主成分分析、潜在语义分析、概率潜在语义分析、马尔可夫链蒙特卡罗法、潜在狄利克雷分配和PageRank算法等

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

• QuartusⅡ软件的安装方法和工程的基本设计流程； • 通过简单的实例演示各流程以及常用工具的使用方法，熟悉QuartusⅡ软件的用户界面、常用工具和设计流程； • 宏功能模块的配置和SignalTapⅡ逻辑分析仪的使用方法

2.1 C的数据类型 2.2 常量与变量 2.3 整型数据 2.4 实型数据 2.5 字符型数据 2.6 变量赋初值 2.7 各类数值型数据间的混合运算 2.8 算术运算符和算术表达式 2.9 赋值运算符和赋值表达式 2.10 关系运算、逻辑运算、条件运算 2.11 逗号运算符和逗号表达式

• 2.1 变量及其赋值 • 2.2 矩阵的初等运算 • 2.3 元素群运算 • 2.4 逻辑判断与流程控制 • 2.5 基本绘图方法 • 2.6 M文件及程序调试

等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法

TMS320C54x芯片是一种特殊结构的微处理器， 为了快速地实现数字信号处理运算，采用了流水线指 令执行结构和相应的并行处理结构，可在一个周期内 对数据进行高速的算术运算和逻辑运算。 本章主要介绍TMS320C54x芯片的硬件结构，重 点对芯片的引脚功能、CPU结构、内部存储器、片 内外设电路、系统控制以及内外部总线进行了讨论