Journal of Changshu Institute of Technology2021，Vol.35Issue(5)：110-115,6.
基于Isabelle/HOL的离散数学实验教学设计与实践
Design and Practice of Discrete Mathematics Experimental Teaching Based on Isabelle/HOL
摘要
关键词
离散数学/实验教学/形式化方法/Isabelle/HOL分类
社会科学引用本文复制引用
钱振江,聂盼红,肖乐,闫海英,严卫,殷旭东,靳勇,龚声蓉..基于Isabelle/HOL的离散数学实验教学设计与实践[J].Journal of Changshu Institute of Technology,2021,35(5):110-115,6.基金项目
江苏省高等教育教学改革研究项目"产教融合背景下应用型本科人工智能行业学院模式的探索与实践(2019JSJG 582) （2019JSJG 582）
江苏省高校"青蓝工程"中青年学术带头人培养对象项目(2019) （2019）
