PAGEPAGE-11-重庆交通大学学生实验
报告
软件系统测试报告下载sgs报告如何下载关于路面塌陷情况报告535n,sgs报告怎么下载竣工报告下载
实验课程名称 离散数学 开课实验室数学实验室学院理学院专业信息与计算科学学生姓名谭冰学号631122020212班级 2班开课时间2011至2012学年第二学期教师评语:总成绩教师签名目录TOC\o"1-1"\h\z\uHYPERLINK\l"_Toc311805495"实验一：教材第17页习
题
快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题
(1)(b);教材第39页习题(4)(b)…………3.=\*MERGEFORMATHYPERLINK\l"_Toc311805496"实验二：教材第127页习题(2)(b);教材第113页习题(2)(b)9实验一（此实验包含两题）一、实验内容从键盘输入两个命题变元P和Q的真值，求它们的非，合取，析取，条件和双条件的真值。求任意一个命题公式的真值
表
关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf
。二、实验目的熟悉掌握命题逻辑中的联接词，真值表，主范式等，进一步能用它们来解决实际问题。三、实验环境MATLAB软件的编程环境实现四、实现两题的算法与原理（教材第17页习题（1）（b），39页习题（4）（d））根据析取，合取的定义可用简单的算术运算求出结果，并将结果转换成逻辑值。同样根据等价关系可将条件式及双条件式转换成析取和合取的运算。五、实验数据及结果分析实验所用函数：functiony=Not(x)ifx==0y=1;elsey=0;endfunctionm=Vee(x,y)ifx==0&y==0m=0;elsem=1;endfunctiony=Wedge(P,Q)ifP==1&Q==1y=1;elsey=0;endfunctiony=If(P,Q)y=Vee(Not(P),Q);endfunctiony=Hh(P,Q,R)y=Vee(Wedge(P,R),If(P,Q));endfunctiony=Ss(P,Q,R)y=Wedge(If(P,Wedge(Q,R)),If(Not(P),Wedge(Not(Q),Not(R))));endA=[000001010011100101110111];P=A(:,1);Q=A(:,2);R=A(:,3);In=input(‘请输入含有三个变元的命题公式：’);S={‘真值表为’};T=num2str([P,Q,R,In]);T%保存命名为Zzb'此为求(P→(Q∧R))∧(¬P→(¬Q∧¬R))主析取范式、主合取范式的程序，并判断是否为重言式,以K代替其真值'P=[00001111];Q=[00110011];R=[01010101];'PQR'Z=[P;Q;R]'K=Wedge(If(P,Wedge(Q,R)),If(Not(P),Wedge(Not(Q),Not(R))));'主析取范式：'A=[];V=[];fori=find(K)switchicase1A=[A,'（¬P∧¬Q∧¬R)∨'];case2A=[A,'(¬P∧¬Q∧R)∨'];case3A=[A,'(¬P∧Q∧¬R)∨'];case4A=[A,'(¬P∧Q∧R)∨'];case5A=[A,'(P∧¬Q∧¬R)∨'];case6A=[A,'(P∧¬Q∧R)∨'];case7A=[A,'(P∧Q¬∧R)∨'];case8A=[A,'(P∧Q∧R)'];otherwise'此为永假式'endendA'主合取范式'fori=find(Not(K))switchicase1V=[V,'(P∨Q∨R)∧'];case2V=[V,'(P∨Q¬∨R)∧'];case3V=[V,'(P∨¬Q∨R)∧'];case4V=[V,'(P∨¬Q∨¬R)∧'];case5V=[V,'(¬P∨Q∨R)∧'];case6V=[V,'(¬P∨Q∨¬R)∧'];case7V=[V,'(¬P∨¬Q∨R)∧'];case8V=[V,'(¬P∨¬Q∨¬R)'];otherwise'此为永真式'endendVifall(K)==1'K是重言式'else'K不是重言式'end%保存文件名为ZyP17(1)(b):（P∧R）∨(P→Q)运行过程及结果：>>P=[00001111],Q=[00110011],R=[01010101]P=00001111Q=00110011R=01010101>>Zzb本程序可以求真值表,请输入含有三个变元的命题公式:Vee(Wedge(P,R),If(P,Q))T=00010011010101111000101111011111P39(4)(d)：(P→(Q∧R))∧(¬P→(¬Q∧¬R))运行过程及结果：>>Zyans=此为求(P→(Q∧R))∧(¬P→(¬Q∧¬R))主析取范式、主合取范式的程序，并判断是否为重言式,以K代替其真值ans=PQRZ=000001010011100101110111ans=主析取范式：A=(¬P∧¬Q∧¬R)∨(P∧Q∧R)ans=主合取范式V=(P∨Q¬∨R)∧(P∨¬Q∨R)∧(P∨¬Q∨¬R)∧(¬P∨Q∨R)∧(¬P∨Q∨¬R)∧(¬P∨¬Q∨R)ans=K不是重言式六、收获与体会通过实验使我了解了一些数理逻辑问题可以通过用计算编程的
方法
快递客服问题件处理详细方法山木方法pdf计算方法pdf华与华方法下载八字理论方法下载
来解决，一些定理的
证明
住所证明下载场所使用证明下载诊断证明下载住所证明下载爱问住所证明下载爱问
同样也可以用计算机通过将命题符号化来编程解决。由于计算机运行速度很快，而数理逻辑值只有0和1值，只要用程序合理的表述问题，那么就能将问题解答出来。再次，它提高了我的计算机编程能力，使我感觉到了编程的乐趣，提供给我无穷的继续学习编程语言的的动力。实验二（此实验包含两题）一、实验内容求有限集上给定关系的自反，对称和传递闭包。求有限集上等价关系的数目。求解商集，输入集合和等价关系，求相应的商集。二、实验目的掌握关系的概念与性质，基本的关系运算，关系的各种闭包的求法。理解等价类的概念，掌握等价类的求解方法。三、实验环境MATLAB软件的编程环境实现四、实验原理和实现过程（教材第127页习题（2）（b）；教材第113页习题（2）（b））1.先写出要求解的函数，将其保存。然后在软件中输入相应的矩阵或集合，再利用函数求出相应的结果。2.写一个M文件，输入一个关系R，判断其是否具有自反性。五、实验数据及结果分析实验所用函数：functionZ=Cup(A,B)C=A+B;Z=ones(size(C));Z(find(C==0))=0;endfunctionZ=Warshall(A)Z=A;lengthZ=length(Z);forj=1:1:lengthZfori=1:1:lengthZifZ(i,j)==1Z(i,:)=Cup(Z(i,:),A(j,:));endendendendfunctiony=Mm(A,B)a=max(A);M=zeros(a,a);[i,j]=size(B);fora=1:1:ib=B(a,1);c=B(a,2);M(b,c)=1;end[s,r]=size(M);ford=1:1:sfore=1:1:rifd==econtinue;endendendifM(d,e)==1'此关系具有自反性'else'此关系不具有自反性'endendP127（2）（b）：求关系R={
,,,}的传递闭包。实验过程及结果:>>A={'a','b','c'};R={'','','',''};C=[110;001;010];>>Warshall(C)ans=111011011P113（2）（b）：A={1,2,3,4}，R={<1,3>,<1,4>,<2,3>,<2,4>,<3,4>},判断R是否具有自反性。实验过程及结果：>>A=[1,2,3,4];R=[1,3;1,4;2,3;2,4;3,4];>>Mm(A,R)ans=此关系不具有自反性六、收获与体会写这个程序花了不少时间，而且时间相对集中，除了上课外，，在电脑前都是在做这个，连续做了几天，刚开始时并没有完全按照软件步骤去写，而是知道总体方框后，一个模块一个模块去求解，至于每个模块怎么写，则是在写的过程中逐步建立和完善的。
浙公网安备 33021202002483