离散数学
教AI的郑老师
计算数学博士,计算机专业教师,中级会计师,中级经济师。目前一边授课,一边带领团队进行研发。主要授课离散数学,Python,人工智能,机器学习等。
展开
-
离散数学第二章习题7(1),8(1),11(1),15(1),16(1)理论证明及程序实现
Python版程序 #先求主析取范式,再求主合取范式习题2-7-1 #析取disjunction #合取conjunction form_c=[]#主合取范式形式 value_c=[]#主合取范式赋值 form_d=[]#主析取范式形式 value_d=[]#主析取范式赋值 #注意变元个数,2个或3个,顺序为p,q,r for p in range(2): for q in range(2): for r in range(2):原创 2022-05-20 16:21:15 · 306 阅读 · 0 评论 -
离散数学2-5(1),2-6(1)理论推导和程序实现
习题2-5(1) #求主析取范式,并求其成真赋值 习题2-5-1 def imp(p,q):#implication蕴涵联结词 return (not p) or q form=[] value=[] for p in range(2): for q in range(2): result=imp(imp(not p,q),(not q) or p)#需要证明的命题 if result==1: form.app.原创 2022-05-20 16:03:31 · 221 阅读 · 0 评论