从中、英、美三国的一道高考题到数学的"形式化"

摘要：

@@ 形式化是数学的基本特征之一,缺少形式化的数学不能称之为真正的数学,2007高考广东理科卷第8题就是一道来源于抽象代数的"代数运算" 试题,值得一看:
例1 设S是至少含有两个元素的集合,在S上定义了一个二元运算"*"(即对任意的a,b∈S,对于有序元素对(a,b),在S中有唯一确定的元素a﹡b与之对应).若对任意的a,b∈S,有a﹡(b﹡a)=b,则对任意的a,b∈S,下列等式中不恒成立的是

机标关键词：三国、高考题、数学、元素对、形式化、基本特征、二元运算、代数运算、抽象代数、恒成立、试题、理科、集合、广东、定义

分类号：O15;F27

在线出版日期：2009-05-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：37-38