本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

本章是数理逻辑中的最基本内容， 是下一章的基础.本章主要讲述命 题与联结词、命题公式、恒真命 题、等价式、蕴涵式及范式等基 本内容；能将自然语言符号化； 能用等价式、蕴涵式等进行命题 演算和推理；能用逻辑推理的方 法解决一些实际问题

第一章 AutoCAD概况 AutoCADAutodesk是美国公司1982年推出的通用绘图软件, 十几年来版本几经更新功能日臻完善。可以灵活方便地绘 制用户所需的任意图形;它内嵌的 Autolisp语言扩展了 AutoCaD计算处理功能,命令扩充功能等。从而使用户可以 在 AutoCAD上开发自己的专用软件;它提供了多种与高级语 言和数据库连接的方式,如IGES,DXF的转换程序以AES,ARX 接口等。可以方便地实现与多种系统资源共享

位运算,按二进制位进行运算,位运算的运算对象是二进制的位,位运算速度快,效率高,节省存储空间 只能对整型数据(包括字符型)进行位运算。负数以补码形式参与运算，注意与逻辑运算区别

指针是C语言中的一个重要概念。掌握指针的用 法,可使程序简洁、高效、灵活,但并不难学 为了了解什么是指针,先看一个小故事 地下工作者阿金接到上级指令,要去寻找打开密电 码的密钥,这是一个整数。几经周折,才探知如下 线索,密钥藏在一栋三年前就被贴上封条的小楼中

定理设A是数域K上的n阶方阵.如果A的特征值全属于K,则A在K上相似于 Jordan形矩阵,并且在不计 Jordan块顺序的意义下 Jordan形是唯一的. 证明:此定理就是上一定理用矩阵的语言叙述出来 Jordan标准形的计算方法:

（1）16位微处理器； （2）采用高速运算性能的HMOS工艺制造，芯片上集成了2.9万只晶体管； （3）使用单一的+5V电源，40条引脚双列直插式封装(DIP)； （4）时钟频率为5MHz~10MHz，基本指令执行时间为0.3ms~0.6ms

第2章Java基本语法 2.1Java语言的基本组成 2.2变量和直接量 2.3数据类型 2.4运算符与表达式 2.5Java语句及其控制结构 2.6数组

第一节模块的设计 第二节系统功能调用 第三节在C++中使用汇编语言

I 目 录 第一部分 专业 一、学科基础课程 《高等数学 I》 《力学 I》 《热学》 《高等数学 II》 《电磁学 I》 《普通物理实验 I》 《光学》 《普通物理实验Ⅱ》 二、专业教育必修课程 《数学物理方法》 《理论力学》 《原子物理学》 《电动力学 I》 《量子力学 I》 《热力学统计物理》 《近代物理实验 I》 《毕业论文》 三、专业教育选修课程 《计算机组装与维护》 《中学物理实验教具设计》 《中学物理教学技能综合训练Ⅰ（语言训练）》 《中学物理教学技能综合训练 II（书写训练）》 《小学科学》 《小学科学实验教具设计》 《中学物理常用仪器维修》 II 《通用技术》 《小学科学实验研究》 《中学物理实验教学研究与技能训练》 《物理学史》 《中学物理竞赛》 《物理教学资源开发》 《中学物理试题研究与设计》 《中学物理教学技能综合训练 III（说课训练）》 《中学物理教学技能综合训练 IV（试讲训练）》 《教育技能综合测试》 《中学物理疑难分析》 《力学 II》 《电磁学 II》 《电工学》 《模拟电子线路》 《概率与数理统计》 《场论与线性代数》 《数字电子线路》 《程序设计语言》 《高频电子线路》 《普通物理实验Ⅲ》 《现代物理专题》 《单片机原理与技术》 《原子核物理学》 《电动力学 II》 《音响设备技术》 《嵌入式系统开发》 《电视技术》 《应用物理技术》 《量子力学 II》 III 《MATLAB 数值分析》 《近代物理实验 II》 《JAVA 编程基础》 《Android 基础》 《激光原理与应用》 《Mathematica 与数字化物理学》 《固体物理学》 第二部分 职业 一、职业理论基础必修课程 《中学物理教育》 《教师语言训练》实践 《书写技能训练》实践 《教育技术与技能训练》 《班级管理》 二、职业技能训练选修课程 《多媒体课件制作》 《教育研究方法》 《教师专业发展》 《中学综合实践活动》 《基础教育改革》 《微格教学训练》 《中学物理教材分析与研究》 三、职业实践必修课程 《见习 Ⅰ》 《见习 Ⅱ》 《见习 Ⅲ》 《见习 Ⅳ》 《教育实习》 四、创新创业教育课程 《创新创业教育》 IV 《中学物理教育创新创业实践指导》