演绎体系相关论文
义务教育阶段的数学除了工具性与基础性外,还兼具了思维训练、数学精神培养的使命。新课程改革在着力建立一个全新的大众数学、生活......
课堂教学是教学的基本形式,是学生获取信息、锻炼提高多种能力和养成一定思想观念的主渠道。数学复习课作为数学课堂教学的一种重要......
该文介绍了DoD资深的广泛应用的TCSEC与最新的CC基础上的ISO/IEC15408标准的一些基本概念,着重比较了二者对于如何用安全性,如何对安......
高等数学教科书是经过逻辑加工完成了的数学形式,是一个严格的演绎体系,呈现为由“概念—公式—定理—范例”组成的纯数学系统。我们......
《"认识逻辑学"笔谈》系本刊2009年第1期起新辟的专栏。本期特邀《认识逻辑学———关于"转识成智"的逻辑研究》一书的作者张盛彬......
文章综述了课题组继《 的公理化诠释》和《 的公理化诠释》的研究之后,对于《荀子》所开展的公理化诠释之进程. 先秦哲学中最具系......

