离散数学论文英文

universal全称existantial存在generalize推广specialize指定

太难了，估计没有人回答的。请朋友自己自力更生吧。

我不太懂一生黑白皮皮提出的问题，建议等其他网友的回答。

1、全称推广规则：universal generalization；

2、全称特指规则：universal specification；

3、存在推广规则：existential generalization；

4、存在特指规则：existential specification。

扩展资料：

离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。

通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，为将来参与创新性的研究和开发工作打下坚实的基础。

全称推广规则 universal generalization

全称特指规则 universal specification

存在推广规则 existential generalization

存在特指规则 existential specification

全称推广规则：universal generalization；

全称特指规则：universal specification；

存在推广规则：existential generalization；

存在特指规则：existential specification；

用来在证明时，需要添加或摘去谓词逻辑的时候：在证明的时候你需要有P（C）成立来推出Q（C）成立时，这时候题设条件只有任意x P(x)，则采用UI来去掉”任意“符号。

离散数学”中的布尔代数：基于0、1这两个整数，我们额外赋予它们一些性质与运算，此情况下所组成的系统我们成为布尔代数，这也就是我们在写程序时常常看到的boolean值。

扩展资料：

离散数学可以看成是构筑在数学和计算机科学之间的桥梁，因为离散数学既离不开集合论、图论等数学知识，又和计算机科学中的数据库理论、数据结构等相关，它可以引导人们进入计算机科学的思维领域，促进了计算机科学的发展。

参考资料来源：百度百科-离散数学

你还是自己写吧，这些我们实在不能帮你的啊，你分数也很低啊。呵呵