信息加密是网络安全体系中重要机制之 一。信息加密的目的是为了保持信息的机密 性，使用恰当的加密标准将在计算机环境中 增加安全性。信息加密通过使用一种编码而 使存储或传输的信息变为不可读的信息，解 密是一个相反的过程。这些编码就是将明文 变成密文的加密算法或数学方法

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

• 离散数学的性质、内容 • 学习此课的目的 • 学习此课的方法 • 命题的表示、命题的演算 • 命题演算中的公式，及其应用 • 命题逻辑推理

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

《专业导论》 《高等数学》 《无机化学-1》 《无机化学-2》 《无机化学实验(一)》 《无机化学实验-二》 《分析化学》 《分析化学实验》 《有机化学-1》 《有机化学实验》 《仪器分析》 《仪器分析实验》 《计算机在化学中的应用》 《中级无机化学》

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用，这里“电子商务”是主语， 而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用系统，这里“电子商务”是主 语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

应用紊流三维数学模型模拟内燃式热风炉内冷风在格子砖柱中的分布,讨论了加设不同宽度不同布置的导流板对气流分布的影响,寻求改善其分布的途径

在实际应用中计算机采用的解线性方程组并 不用克莱姆法则,而是采用高斯消元法。 高斯消元法其实就是中学里学的加减消元法 的推广,现在我们将其用在m个方程n个未知 元的一般情况。 消元法的基本思想是通过消元变形把方程组 化成容易求解的同解方程组