《数学模型》课程教学大纲 Mathematics Modeling 课程编号:课程性质:专业基础理论课/ 选修 适用专业:信息安全、统计开课学期:4 学时数:56 学分数:3.5 编写年月:2006年6月修订年月:2007年1月 执笔者:陈学松 一、课程的性质、目的及任务 随着科学技术和计算机的迅速发展,数学向各个领域的广泛渗透已日趋明显,数学不仅在传统的物理学、电子学和工程技术领域继续发挥着重要的作用,而且在经济、人文、体育等社会科学领域也成为必不可少的解决问题工具。“数学建模”课是培养学生在实际问题中的数学应用意识、训练学生把科技、社会等领域中的实际问题按照既定的目标归结为数学形式,以便于用数学方法求解得出更深刻的规律和属性,提高学生数学建模素质的一门数学应用类课程。因此,设立数学建模课程的意义在于:提高学生的数学素质和应用数学知识解决实际问题的能力,大力培养应用型人才。本课程是沟通实际问题与数学工具之间联系的必不可少的桥梁。是一门充分应用其它各数学分支的应用类课程,其主要任务不是“学数学”,而是学着“用数学”,是为培养善于运用数学知识建立实际问题的数学模型,从而善于解决实际问题的应用型数学人材服务的。通过本课程的学习,使学生较为系统的获得利用数学工具建立数学模型的基本知识、基本技能与常用技巧,培养学生的抽象概括问题的能力,用数学方法和思想进行综合应用与分析问题的能力,并着力导引实践—理论—实践的认识过程,培养学生辩证唯物主义的世界观。 二.课程教学基本要求 通过本课程的学习,使学生了解数学建模是利用数学知识构造刻划客观事物原型的数学模型,利用计算机解决实际问题的一种科学方法。掌握数学建模的基本步骤,即从实际问题出发,遵循“实践——认识——实践”的辨证唯物主义认识规律,紧紧围绕建模的目的,运用观察力、想象力和逻辑思维,对实际问题进行抽象、简化、反复探索、逐步完善,直到构造出一个能够用于分析、研究和解决实际问题的数学模型。会利用数学知识和计算机解决问题,并能够撰写符合要求的数学建模论文。 三.课程教学基本内容、重点和难点 本课程的目的不是向学生传授系统的数学知识,而是将已学过的知识灵活运用到实际问题当中。其教学要求是逐步培养学生能够将实际问题“翻译”为数学语言,并予以求解,然后再解释实际现象,继而应用于实际的思想方法,最终提高学生的数学素质和应用数学知识
广工2013年数值计算方法期末试卷
1、舍入误差是( )产生的误差。 A 只取有限位数 B 模型准确值与用数值方法求得的准确值 C 观察与测量 D 数学模型准确值与实际值 2、设求方程()0=x f 的根的牛顿迭代收敛,则它具有_ __收敛。 A 线性 B 至少平方 C 平方 D 三次 3、用1+3x 近似表示3 1x +所产生的误差是( )误差。 A 舍入 B 观测 C 模型 D 截断 4、3.141580是π的有( )位有效数字的近似值。 A 6 B 5 C 4 D 7 5、用选主元法解方程组b AX =,是为了_ ___。 A 提高运算速度 B 减少舍入误差 C 增加有效数字 D 方便计算 6、求解线性方程组Ax =b 的LU 分解法中,A 须满足的条件是( )。 A 对称阵 B 正定矩阵 C 任意阵 D 各阶顺序主子式均不为零 广东工业大学考试试卷 ( A ) 课程名称: 数值计算方法 试卷满分 100 分 考试时间: 年 月 日 (第 周 星期 ) 题 号 一 二 三 四 五 六 七 八 九 十 总分 评卷得分 评卷签名 复核得分 复核签名 一、 单项选择题(每题3分,共45分)
A y=?(x)与x 轴交点的横坐标 B y=x 与y=?(x)交点的横坐标 C y=x 与x 轴的交点的横坐标 D y=x 与y=?(x)的交点 8、用列主元消去法解线性方程组?? ? ??-=+--=-+-=+-1 340921 43321321321x x x x x x x x x ,第1次消元,选择 主元为( ) 。 A -4 B 3 C 4 D -9 9、采用全主元消去法解线性方程组,程序结束后,得到的跟踪数组为:z(1)=3, z(2)=2, z(3)=1; 解为:c x b x a x ===321,,。那么该方程组的最终解3 21,,x x x 分别为( ) A c b a ,, B a c b ,, C b a c ,, D a b c ,, 10、为求方程x 3-x 2-1=0在区间[1.3,1.6]内的一个根,把方程改写成下列形式,并建立相应的迭代公式,迭代公式不收敛的是( )。 A 1 1:,1 1 12 -=-= +k k x x x x 迭代公式 B 2 121 1:,11k k x x x x +=+ =+迭代公式 C 3 /1212 3 )1(:,1k k x x x x +=+=+迭代公式 D 1:,12 2 3 +==-k x x x x 迭代公式
2006-2007学年第2学期 2005级《离散数学2》期末考试试题(A卷) 考试时间:2007年6月班级_______________________ 学号_____________________ 姓名_____________________ 请将答案写在答题纸上,写明题号,不必抄题,字迹工整、清晰; 请在答题纸和试题纸上都写上你的班级,学号和姓名,交卷时请将试题纸、答题纸和草纸一并交上来。 一.综合体(30分,每题3分) 1. 求( 1 3 5 ) (2 5 4 ) (3 4 ) 2. 只有两个生成元的循环群一定是有限循环群吗?并说明理由。 3. 有限循环群中是否一定存在周期与群的元数相等的元素? 4. 下面哪个是域GF( 16)的真子域 (A)GF (6) ;(B)GF ⑷;(C)GF(8);(D)GF(16) 5. 有限布尔代数的元素个数必定是如下哪个形式? (A)2n;(B)n 2 ;(C)2 n;(D)4n. 6. 下列代数系统(S, *)中,哪个是群? (A) S={0,1,3,5},* 是模7的乘法;(B) S是有理数集合,*运算是普通乘法; (C) S是整数集合,*是普通乘法;(D) S={1,3,4,9},* 是模11的乘法。 7. 设A={0,1,2,3,4},运算为模5加法,请给出A的所有子群。 8. n元恒等置换是奇置换还是偶置换?对换呢? 9?请给出一个有余,但不是分配格的例子。 10.设R是模12的整数环,R={0,1,2,…,11},下面哪一个是极大理想: (A) 6R; (B)2R; (C)4R; (D)8R 二.计算题(25分,每题5分) 1. 计算分圆多项式①24(X). 2. 设(Z,+)为整数加法群,(C*,??)为非零复数的乘法群,令 f: n -i n ,是Z到C*中的同态映射,请求出f的同态核。 3. 在R上求出x+2除2X5+4X3+3X2+1所得的商式和余式。 4. 设G是3次对称群,H是由I和(13)作成的子群,求H得所有右陪集。 5. 设A={0,1,2,3,4,5}, 运算为模6加法,请给出A中所有元素的周期。 三.(10分)证明或者反驳:f(x)=3x 5+5X2+1 四.(10分)设(G, *)是群,(A, *)和(B,*)是它的两个子群,C={a*b|a € A, b€ B}.证明:若*满足交换律,则(C, *)也是(G,*)的子群。 五.(10分)设Z是整数集合,X={(a,b)|a,b € Z},定义X上的二元运算①和。 如下:对任意(ab) ,(a 2,b2)€ X,有: (a1b"e (a2,b2)= (a+a?,b1+b2), (a1bJ O (a2,b2)= (ax a2,b 1X b),其中,+,x分别是整数加法与乘法。 证明:(X,?,O)是环,如果此环有零因子请给出它们
数据库原理实验报告 学院计算机学院 专业计算机科学与技术班级2011 级7 班 学号3111XXXX 姓名XXX 指导教师明俊峰 (2013 年11 月)
计算机学院计算机专业2011(7)班学号:3111 姓名:协作者:________ 教师评定: 实验__一__题目__ 数据库及基本表的建立 _ 实验__二__题目__ 设计数据完整性 __ 实验__三__题目__ 查询数据库 __ 实验平台:SQL Server 2005
计算机学院计算机专业2011(7)班学号:3111 姓名:协作者:________ 教师评定: 实验题目一、数据库及基本表的建立 一、实验目的 1、掌握SQL SERVER的查询分析器和企业管理器的使用; 2、掌握创建数据库和表的操作; 二、实验内容和要求 1、分别使用SQL语句、企业管理器(Enterprise Manager)创建数据库; 2、使用SQL语句、企业管理器(Enterprise Manager)创建数据库表; 三、实验主要仪器设备和材料 1.计算机及操作系统:PC机,Windows 2000/xp; 2.数据库管理系统:SQL sever 2000/2003/2005; 四、实验方法、步骤及结果测试 创建一个教学管理数据库SC,其描述的信息有:学生信息、课程信息、教师信息、学生选课成绩、授课信息、班级信息、系部信息、专业信息。 创建:student表(学生信息表)、course表(课程信息表)、teacher表(教师信息表)、student _course表(学生选课成绩表)、teacher_course表(教师上课课表)等。 1、创建数据库: 确定数据库名称;数据库用于学生管理,命名为SC 确定数据库的位置;要求:数据文件和日志文件分别存储在E盘自己的目录下。 确定数据库的大小;根据实际的数据量确定数据文件的初始大小为30MB,日志文件的初始大小为3MB。 确定数据库的增长;根据实际情况,确定数据文件按20%增长,日志文件按1MB增长。(1)、利用查询分析器(Query Analyzer),使用SQL语句指定参数创建数据库; 1
本科高等数学离散数学试题及答案 一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=____________________; ρ(A) - ρ(B)=__________________________ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = __________________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B=_________________________;A-B=_____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是______________________, ________________________, _______________________________. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。
广东工业大学计算机科学与技术张法光 离散数学C语言上机题 Anyview 可视化编程作业系统 二元关系章节编程题 EX 01 6.01③试设计一算法, 实现集合的卡氏积运算。 实现下列函数: /** * 进行两个集合的卡氏积运算 * @param pA:要进行卡氏积运算的集合 * @param pB:要进行卡氏积运算的集合 * @return: 将pA和pB进行卡氏积运算后得到的集合 */ pCartersianSet CartesianProduct(pOriginalSet pA, pOriginalSet pB) { pCartersianSet pC=createNullCartersianSet(); //空卡 for(resetOriginalSet(pA);!isEndOfOriginalSet(pA);nextOriginalSetPos(pA)) { // 空卡←序偶插入← 建立序偶← 条件语句 for(resetOriginalSet(pB);!isEndOfOriginalSet(pB);nextOriginalSetPos(pB)) OrderedCoupleInsertToCartersianSet(pC,createOrderedCouple(getCurrentOriginalSetElem(pA),g etCurrentOriginalSetElem(pB))); } return pC; } 02 6.02②试设计一算法, 给定集合A、集合B和集合C,判断集合C是否为A到B的一个二元关系。 实现下列函数: /** * 给定集合A、集合B和集合C,判断集合C是否为A到B的一个二元关系。 * @param pA:集合A * @param pB:集合B * @param pC:集合C * @return: 如果集合C是A到B的一个二元关系,则返回true,否则返回false。 */
一、填空题 1设集合A,B,其中A={1,2,3}, B= {1,2}, 则A - B=__{3}__________________; ρ(A) - ρ(B)=___________________{3},{1,3},{2,3},{123}______ . 2. 设有限集合A, |A| = n, 则|ρ(A×A)| = _____2^(n^2)_____________________. 3.设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________. 4. 已知命题公式G=?(P→Q)∧R,则G的主析取范式是_______________________________ __________________________________________________________. 5.设G是完全二叉树,G有7个点,其中4个叶点,则G的总度数为__________,分枝点数为________________. 6设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B=_________________________; A?B=_________________________;A-B=_____________________ . 7. 设R是集合A上的等价关系,则R所具有的关系的三个特性是__自反,对称,传递 ____________________, ________________________, _______________________________. 8. 设命题公式G=?(P→(Q∧R)),则使公式G为真的解释有__________________________,_____________________________, __________________________. 9. 设集合A={1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R2= {(2,1),(3,2),(4,3)}, 则 R1?R2 = ________________________,R2?R1 =____________________________, R12 =________________________. 10. 设有限集A, B,|A| = m, |B| = n, 则| |ρ(A?B)| = _____________________________. 11设A,B,R是三个集合,其中R是实数集,A = {x | -1≤x≤1, x∈R}, B = {x | 0≤x < 2, x∈R},则A-B = __________________________ , B-A = __________________________ , A∩B = __________________________ , . 13.设集合A={2, 3, 4, 5, 6},R是A上的整除,则R以集合形式(列举法)记为___________ _______________________________________________________. 14. 设一阶逻辑公式G = ?xP(x)→?xQ(x),则G的前束范式是__________________________ _____. 15.设G是具有8个顶点的树,则G中增加_________条边才能把G变成完全图。 16. 设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除,写成与之对应的命题公
自动化学院自动化专业班学号 姓名实验时间2011.3.14 教师评定 实验题目数据定义 实验报告一 一、实验目的与要求 目的:使用SQL语言实现数据库的创建、删除;基本表的创建、删除、更新工作;以及索引的创建、删除工作。 要求:1、在SQL SERVER 2000查询分析器中,利用SQL语言中CREATE、DROP 命令实现数据库的创建及删除工作。 2、在SQL SERVER 2000查询分析器中,利用SQL语言中CREATE、ALTER及DROP命令进行基本表的创建、更新、删除工作,并实现基本表中各类完整性约束条件的限定。 3、在SQL SERVER 2000查询分析器中,利用SQL语言中CREATE、ALTER及DROP命令进行基本表中索引的创建、更新、删除工作。 4、完成上述工作后,在SQL SERVER 2000企业管理器中,查看是否成功创建实验所要求数据库、基本表、各类完整性约束条件及索引等内容。 二、实验方案 所有实验内容必须在SQL Server 2000的查询分析器中完成,设置查询分析器的结果区为Standard Execute(标准执行)或Executed Grid(网格执行)方式.发布执行命令.并在结果区中查看查询结果,如果结果不正确则需要进行修改,直到正确为止。要求完成如下内容: 1.定义数据库 定义一个借阅数据库,要求所定义的数据库大小为1M,且数据库名称为Labery_学号。 2.定义下列数据库基本表 在所定义的借阅数据库Labery_学号中,按要求定义如下数据库表: 1)书(book)
列名别名类型及长度是否可为空书号bno char(8)否 类别category varchar(10)否 书名title varchar(40)否 出版社press varchar(30)是 年份book_year Int否 作者author char(20)是 价格price decimal(7,2)否 总藏书量book_total Int否 2)借书证(card) 列名别名类型及长度是否可为空卡号cno char(7)否 姓名name char(8)否 单位department varchar(40)是 类别type char(1)否 3)借书记录(borrow) 列名别名类型及长度是否可为空卡号cno char(7)否 书号bno char(8)否 借书日期borrow_date smalldatetime否 还书日期return_date smalldatetime是 3.完整性约束条件: 主要内容为: 1)确定各基本表的主码; 2)确定各基本表的外码; 3)要求在定义各基本表的同时,确定如下完整性约束条件 1、定义各基本表主码,并且要求主属性不能为空; 2、如果有外码,定义各基本表外码; 3、要求检查借书证中属性Type的值是否为('T','G','U','F')); 4、借书记录borrow基本表中borrow_date默认日期为当前时间。4)确定各基本表哪些字段需要建立索引。
13-7,一个动量为p 的电子,沿题13-7图示方向入射并能穿过一宽度为D ,磁感应强度为B 的均匀磁场区域,则该电子出射方向与入射方向的夹角α为(C) (A) p e B D 1c o s - (B) ep BD 1sin - (C) p eBD 1sin - (D)ep BD 1cos - ? 解:电子进入磁场后做匀速圆周运动,所偏离角度?即为其轨迹所对应圆周角,易知:R=Be p ; 所以p eBD =?sin ,所以答案是C 。 13-9,单闸半圆形线圈半径为R ,通电流I 。在均匀磁场B 的作用下从图示位置转过30°时,它所受磁力矩的大小和方向分别是(D ) (A)IB R 241 π,沿图面竖直向下 (B)IB R 2 41 π,沿图画竖直向上 (C) IB R 243π,沿图面竖直向下 (D)IB R 243π,沿图面竖直向上 I B 解:转过30°后,磁矩的方向与B 夹角为60°,所以,B ×m M =,所以IB R M 24 3π= ,由右手螺旋定理知,方向沿图面竖直向上。
13-16,一截面形状为矩形,面积为S 的直金属条中通有电流I ,金属条放在磁感应强度为B 的均匀磁场中,B 的方向垂直金属条的左右侧面,如图所示。则金属条的上侧面将积累电荷,载流子所受的洛伦兹力m F = nS IB 。(设单位体积的载流子数为n ) 解:此题中,pvB F m =,nqvS I =,所以,结合两式可得:nS IB F m =。 13-29,如图所示,一带电量为q 的粒子,以速度v 平行于一均匀带电长直导线运动。设导线单位长度带电量为λ,并载有传导电流I 。粒子应以多大速度运动,才能使其保持在一条与导线距离为a 的平行直线上? λ v I q 解:分析题意可知,导体周围有电场和磁场,且二者相等时符合题意。 qE F e =方向沿径向向外 q v B F B = 方向沿径向向内 且有: a E 02πελ= a I B πμ20= 所以由二者相等可得,I v 00μελ=
离散数学作业4 离散数学图论部分形成性考核书面作业 本课程形成性考核书面作业共3次,容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习,基本上是按照考试的题型(除单项选择题外)安排练习题目,目的是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握.本次形考书面作业是第二次作业,大家要认真及时地完成图论部分的综合练习作业. 要求:学生提交作业有以下三种方式可供选择: 1. 可将此次作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,完成作业后交给辅导教师批阅. 2. 在线提交word文档 3. 自备答题纸,将答题过程手工书写,并拍照上传. 一、填空题 1.已知图G中有1个1度结点,2个2度结点,3个3度结点,4个4度结点,则G的边数是15 . 2.设给定图G(如右由图所示),则图G的点割集是 { f },{ e,c} . 3.设G是一个图,结点集合为V,边集合为E,则 G的结点度数之和等于边数的两倍. 4.无向图G存在欧拉回路,当且仅当G连通且不含奇数度结 点. 5.设G=
8.结点数v与边数e满足e=v - 1 关系的无向连通图就是树. 9.设图G是有6个结点的连通图,结点的总度数为18,则可从G中删去条边后使之变成树. 10.设正则5叉树的树叶数为17,则分支数为i = 4 . 二、判断说明题(判断下列各题,并说明理由.) 1.如果图G是无向图,且其结点度数均为偶数,则图G存在一条欧拉回路. 答:错误。应叙述为:“如果图G是无向连通图,且其结点度数均为偶数,则图G存在一条欧拉回路。” 2.如下图所示的图G存在一条欧拉回路. 答:错误。因为图中存在奇数度结点,所以不存在欧拉回路。 3.如下图所示的图G不是欧拉图而是汉密尔顿图.
电气工程及其自动化考研总况 一、全国电气工程及其自动化专业学校排名 1.清华大学 2.西安交通大学 3.华中科技大学 4.浙江大学 5.重庆大学 6.天津大学 7.哈尔滨工业大学 8.上海交通大学 9.华北电力大学10.东南大学11.西南交通大学12.沈阳工业大学13.中国矿业大学14.华南理工大学15.南京航空航天大学16.北京交通大学17.武汉大学18.哈尔滨理工大学19.四川大学20.河海大学21.哈尔滨工程大学22.郑州大学23.广西大学24.陕西科技大学 二,电气工程与自动化专业 (1)业务培养目标: 业务培养目标:本专业培养在工业与电气工程有关的运动控制、工业过程控制、电气工程、电力电子技术、检测与自动化仪表、电子与计算机技术等领域从事工程设计、系统分析、系统运行、研制开发、经济管理等方面的高级工程技术人才。 业务培养要求:本专业学生主要学习电工技术、电子技术、自动控制理论、信息处理、计算机技术与应用等较宽广领域的工程技术基础和一定的专业知识。学生受到电工电子、信息控制及计算机技术方面的基本训练,具有工业过程控制与分析,解决强弱电并举的宽口径专业的技术问题的能力。
(2)主干课程: 主干学科:电气工程、控制科学与工程、计算机科学与技术 主要课程:电路原理、电子技术基础、计算机原理及应用、计算机软件基础、控制理论、电机与拖动、电力电子技术、信号分析与处理、电力拖动控制系统、工业过程控制与自动化仪表等。高年级可根据社会需要设置柔性的专业方向模块课及选修课。 主要实践性教学环节:包括电路与电子基础实验、电子工艺实习、金工实习、专业综合实验、计算机上机实践、课程设计、生产实习、毕业设计。 主要实验:运动控制实验、自动控制实验、计算机控制实验、检测仪表实验、电力电子实验等 (3)修业年限: 四年 (4)授予学位: 工学学士 (5)相近专业: 微电子学自动化电子信息工程通信工程计算机科学与技术电子科学与技术生物医学工程电气工程与自动化信息工程信息科学技术软件工程影视
1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={