一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

（1)精确逻辑(传统逻辑)的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中,命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题,组合成另一个命题的过 程

一、选择题(每题3分。请将答案的序号填入划线内)。 1.空间力偶矩是 ①代数量; ②滑动矢量; ③定位矢量; ④自由矢量

第1章 逻辑代数基础 第3章 组合逻辑电路 第4章 触发器 第5章 时序逻辑电路 第2章 门电路 第6章 脉冲波形的产生和整形 第7章 大规模与超大规模集成电路

工程实践中有多种振动问题,如桥梁或建筑物的振 动,机械机件、飞机机翼的振动,及一些稳定性分析和 相关分析可转化为求矩阵特征值与特征向量的问题 1已知A=(an)mn,求代数方程q(1)=det(I-A)=0 的根。φ(λ)称为舶特征多项式,一般有n个零点,称 为的特征值 2设为伯的特征值,求相应的齐次方程(4/-A)x=0 的非零解(即求Ax=λx的非零解),x称为矩阵A对应 于孔的特征向量

显然,a不是厄米算符,a≠a。但ata是厄米算符,(ata)=a'a。 问题:aa是什么力学量? [a=0,∴与i共同本征态,只要求解了首的本征方程,就求解了 的本征方程

在解决线性方程组是否有解的判别条件之后, 我们知道在秩A=秩A=n(方程组未知量个数)时, 方程组有唯一解。在秩A=秩A