首页> 中文期刊>数学学习与研究：教研版 >数理逻辑中谓词命题符号化的难点解析

数理逻辑中谓词命题符号化的难点解析

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文通过作者多年教授离散数学课程中数理逻辑部分的教学经验，总结谓词命题符号化的学习要点和难点，从而帮助学生更高效地学习好数理逻辑．

著录项

来源
《数学学习与研究：教研版》|2017年第9期|P.6-6|共1页
作者
熊瑜;
展开▼
作者单位

杭州电子科技大学理学院,浙江杭州310018;

展开▼
原文格式 PDF
正文语种 CHI
中图分类数学;
关键词
谓词逻辑; 谓词公式; 命题符号化;
入库时间 2023-07-24 17:08:30

相似文献

中文文献
外文文献
专利

1. 数理逻辑中的命题符号化的几个值得注意的问题 [J] . 王敏 . 科技信息 . 2010,第009期
2. 数理逻辑中谓词逻辑推理错误的分析 [J] . 张微 . 合肥学院学报（自然科学版） . 2012,第004期
3. 函数在谓词逻辑符号化中的应用 [J] . 孙翠先 . 唐山学院学报 . 2016,第006期
4. 离散数学教学中的命题符号化难点讨论 [J] . 何锋 . 计算机教育 . 2007,第017期
5. 离散数学教学中的命题符号化难点讨论 [J] . 何锋 . 计算机教育 . 2007,第09S期
6. 中医教学首要解决的问题之一——正确认识数理逻辑与非数理逻辑体系 [C] . 张成新 ,徐金凤 ,王小鲁 . 全国中西医结合临床教学工作研讨会 . 2010
7. 符号化仿真器小信号模型研究与符号化敏感性在提高模拟电路设计良率中的应用1 [A] . 谭焜元 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号