基于建模与推理的命题逻辑教学方法研究 | |
袁梦霆; 李清安; 吴黎兵; 何炎祥 | |
刊名 | Computer Education |
2019 | |
期号 | 09 |
关键词 | 命题逻辑 案例教学 软件建模 性质推理 |
ISSN号 | 1672-5913 |
DOI | 10.16512/j.cnki.jsjjy.2019.09.024 |
URL标识 | 查看原文 |
收录类别 | CNKI |
语种 | 中文 |
内容类型 | 期刊论文 |
URI标识 | http://www.corc.org.cn/handle/1471x/4247309 |
专题 | 武汉大学 |
推荐引用方式 GB/T 7714 | 袁梦霆,李清安,吴黎兵,等. 基于建模与推理的命题逻辑教学方法研究[J]. Computer Education,2019(09). |
APA | 袁梦霆,李清安,吴黎兵,&何炎祥.(2019).基于建模与推理的命题逻辑教学方法研究.Computer Education(09). |
MLA | 袁梦霆,et al."基于建模与推理的命题逻辑教学方法研究".Computer Education .09(2019). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论