聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 国外逻辑学习软件初探——兼谈国内逻辑学习软件情况
出处:逻辑学研究 2011年第4期 98-110,共13页
摘要:一、逻辑教学的可视化——逻辑学习软件20世纪中期,人们设想用计算机进行逻辑推理。1956年,国际著名的逻辑... 显示全部
关键词: 逻辑教学 学习软件 计算机科学家 国内 国外 世纪中期 逻辑推理 数学原理
在线阅读 下载全文
找到1条结果
`