排序方式: 共有2条查询结果,搜索用时 7 毫秒
1
1.
高等数学是大学理工科专业的一门必修课.为了能让学生更准确、更全面地理解高等数学中的基本概念和重要知识点,教师在高等数学课堂教学中可以适当地应用信息化手段辅助课堂教学,将传统教学手段和现代教学手段有机结合起来,以提升课堂教学质量.笔者以广西民族大学2018级软件工程专业为例,讨论分析如何使用先进的信息化手段改进传统教学方式. 相似文献
2.
提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好. 相似文献
1