摘要： 阅读全文

摘要： 阅读全文

摘要： 阅读全文

摘要： 1、首先理解消解算法的思想，分为s0,s1,s2三个集合，每次循环之后将新出现的简单析取式加入s2中，之后将s2赋值给s1，将上一次的s1赋值给s0，再次进行消解，若中间过程出现完全消解，即得到0，直接得结果，不能得到可满足式，若之后的循环中s2中再无新元素加入，则可得到可满足式2、重要思想，利用字 阅读全文

摘要： 阅读全文

摘要： 离散数学（Discrete mathematics）是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。离散的含义是指不同的连接在一起的元素，主要是研究基于离散量的结构和相互间的关系，其对象一般是有限个或可数个元素。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时 阅读全文

摘要： 阅读全文

摘要： 我是一位学习软件技术的新生，在来到学校之前我根本没有接触过这门学科，对这门学科有点了解的时候是在高考之后，而那时对这门学科的了解也只是知道赚钱多、就业岗位多。来到学校之后，接触到这门专业时，赚钱多的基础是建立在自己的技术之上的，所以最基本的是要确保自己不会挂科，而且要融汇贯通。 阅读全文