2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

二元关系是一个很重要的概念，它在很多数学领域中都有应用，在计算机科学的如下理论都离不开关系：逻辑设计、 数据结构、 编译原理、 软件工程、数据库理论、 计算理论、 算法分析、 操作系统等； 本章主要介绍：关系的概念及表示方法、关系的性质、关系的运算:关系的复合, 求逆关系, 关系的闭包、三种关系: 等价关系，相容关系, 次序关系

第1章计算机数学语言概述 一、数学问题计算机求解概述 二、计算机数学语言概述 三、关于本书及相关内容

采用高温固相法成功制备了 Li2x−ySr1−xTi1−yNbyO3(x=3y/4, y=0.25, 0.5, 0.6, 0.7, 0.75, 0.8) 锂离子固体电解质，并通过X 射线衍射（XRD）、扫描电子显微镜（SEM）、交流阻抗图谱、恒电位极化等分别研究了各个组分的晶体结构、微观形貌、离子电导率和电子电导率. XRD 显示当 y≤0.70 时，材料为立方钙钛矿型结构，几乎没有杂质相生成. SEM 表明随着掺杂含量 的增加材料的晶粒尺寸逐渐增大. Li0.35Sr0.475Ti0.3Nb0.7O3 锂离子固体电解质有着高离子电导率，为 3.62×10−5 S·cm−1，其电子电导率为 2.55×10−9 S·cm−1，活化能仅为 0.29 eV. 使用以 Li0.35Sr0.475Ti0.3Nb0.7O3 为隔膜的 LiFePO4/Li 半电池经过 100 圈循环后，放电比容量仍有 93.9 mA·h·g−1，容量保持率为 90.72%

2.1 基本分析思路和方法 2.1.1 上策均衡 2.1.2 严格下策反复消去法 2.1.3 划线法 2.1.4 箭头法 2.2 纳什均衡 2.3 无限策略博弈分析和反应函数 2.3.1 古诺的寡头模型 2.3.2 反应函数 2.3.3 伯特兰德寡头模型 2.3.4 公共资源问题 2.3.5 反应函数的问题和局限性 2.4 混合策略和混合策略纳什均衡 2.4.1 严格竞争博弈和混合策略的引进 2.4.2 多重均衡博弈和混合策略 2.4.3 混合策略和严格下策反复消去法 2.4.4 混合策略反应函数 2.5 纳什均衡的存在性 2.6 纳什均衡的选择和分析方法扩展

高温质子导体固体电解质 Ba3Ca1+xNb2−xO9−δ 化学性质稳定，中低温电导率较高，具有较好的应用前景. 采用固相合 成法制备得到了复合钙钛矿相的 Ba3Ca1+xNb2−xO9−δ（x=0、0.10、0.18、0.30）材料. 随着 Ca 掺杂量的增加 Ba3Ca1+xNb2−xO9−δ 样 品的电导率先增加后降低，x=0.18 的样品电导率最高. Ba3Ca1+xNb2−xO9−δ 材料在含氢中的电子空穴迁移数较低，当温度低于 750 ℃ 时，材料中质子导电为主；当温度达 800 ℃ 后，材料中氧离子导电为主. x=0.10 的样品质子迁移数最高，随着掺杂量的 增加样品氧离子迁移数逐渐增大，质子迁移数逐渐降低

采用共沉淀法制备了Ni(OH)2前驱体材料，通过高温固相法制备了LiNiO2和B掺杂LiNiO2（B的摩尔分数为1%），利用X射线衍射（XRD）、里特维尔德（Rietveld）精修、扫描电子显微镜（SEM）、恒流充放电测试、循环伏安（CV）和电化学阻抗谱（EIS）对材料的晶体结构、表面形貌和电化学性能进行了系统性表征.XRD和Rietveld精修结果表明，LiNiO2和B掺杂LiNiO2均具有良好的层状结构，B因为占据在过渡金属层和锂层的四面体间隙位而导致掺杂后略微增大材料的晶格参数和晶胞体积，同时增大了LiO6八面体的间距，进而促进锂离子运输.由于掺杂的B的摩尔分数仅为1%，LiNiO2和B掺杂LiNiO2均表现为直径10 μm左右的多晶二次颗粒，且一次颗粒晶粒尺寸没有明显区别.长循环数据表明B掺杂可以有效提高材料的循环容量保持率，经100次循环后，B掺杂样品在40 mA·g−1电流下的容量保持率为77.5%，优于未掺杂样品（相同条件下容量保持率为66.6%）.微分容量曲线和EIS分析表明B掺杂可以有效抑制循环过程中的阻抗增长

《东北师大学报（哲学社会科学版）》：学前儿童艺术教育生命化价值取向研究（东北师范大学：陈蓉晖、刘霞）

一、文明初曙 二、秦漢帝國 三、第一次南北朝 四、隋唐帝國 五、第二次南北朝 六、大一統時代