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

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解

1学科基础课平台必修课 《概率论与数理统计 B》 《高等数学 A1》 《高等数学 A2》 《大学物理实验》 《数学物理方法 A》 《线性代数》 《力学》 《热学》 《电磁学》 《光学》 《原子物理学 B》 《核物理专业导论》 2学科基础课平台选修课 《画法几何与工程制图》 《电工电子实训》 《模拟电子技术 B》 《数字电子技术 B》 《蒙特卡罗方法》 《核工业概论 B》 《科学计算方法》 《放射化学》 《电路原理》 《核事业发展史》 《辐射成像 B》 《核仪器概论》 《核能经济与分析》 《工程流体力学》 3专业课平台必修课 《原子核物理 B》 《核电子学 C》 《核物理专业毕业实习》 《核物理生产实习》 《核物理毕业设计（论文）》 《核物理专业认识实习》 《理论力学 B》 《电动力学》 《热力学与统计物理》 《量子力学》 《近代物理实验》 4专业课平台选修课 《反应堆物理分析 C》 《核聚变与等离子体》 《粒子物理导论》 《核医学 B》 《加速器原理及应用》 《辐射剂量与防护 C》 《辐射剂量与防护实验》 《固体物理》 《核物理实验数据处理方法》 《核辐射探测 C》 《核辐射探测与核电子学实验》 《核辐射剂量与防护实验》 《计算物理》 《微剂量学》 《核科学技术专业英语》 《虚拟仪器技术》 《核测量仪器》 《同位素示踪》 《肿瘤放射物理学》 《CT 原理》 《环境学导论》 《能谱分析》 《反应堆安全分析 A》

图是一类相当广泛的实际问题的数学模 型，有着极其丰富的内容，是数据结构 等课程的先修内容.学习时应掌握好图论 的基本概念、基本方法、基本算法；善 于把实际问题抽象为图论的问题，然后 用图论的方法解决问题

求导数的方法称为微分法。用定义只能求出 一些较简单的函数的导数(常函数、幂函数、 正、余弦函数、指数函数、对数函数),对于 比较复杂的函数则往往很困难。本节我们就来 建立求导数的基本公式和基本法则,借助于这 些公式和法则就能比较方便地求出常见的函 数—初等函数的导数,从而是初等函数的求 导问题系统化,简单化

1、行列式 1.n行列式共有n2个元素,展开后有n!项,可分解为2行列式 2.代数余子式的性质: ①、A,和a的大小无关 ②、某行(列)的元素乘以其它行(列)元素的代数余子式为0; ③、某行(列)的元素乘以该行(列)元素的代数余子式为|A| 3.代数余子式和余子式的关系:M=(-1)AA=(-1)M 4.设n行列式D:

求导数的方法称为微分法。用定义只能求出 一些较简单的函数的导数（常函数、幂函数、 正、余弦函数、指数函数、对数函数），对于 比较复杂的函数则往往很困难。本节我们就来 建立求导数的基本公式和基本法则，借助于这 些公式和法则就能比较方便地求出常见的函 数——初等函数的导数，从而是初等函数的求 导问题系统化，简单化