试论数学的形式化与非形式化

• 作者: 刘培文 戴美凤 殷启正
• 来源期刊: 洛阳大学学报
• 学科: 数学
• 关键词: 形式化 非形式化 数学教育
• 年，卷（期）: lydxxbb_1995,（4）
• 页码范围: 19-27
• 页数: 9页
• 分类号: O1－0

摘要

论述了数学形式化与非形式化理论的概念、性质与作用，并阐明了在数学教育中必须坚持形式化与非形式化相结合的教育原理。