程序控制结构的偏加语义

介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴，最后用偏加范畴理论刻划程序的断言语义     

妄下的断言

20年前的那个金色秋天,我从师范学校毕业,到一所山村中学任教。 这是我上课的第一天,我站在讲台上,看到台下齐刷刷地坐着四十几名学生。我翻开课本,开始神采飞扬地讲课。     

用几何画板发现数学之美

古代哲学家、数学家普洛克拉斯断言:“哪里有数,哪里就有美。”数学中含有美的要素,数学发展受美育思想的影响。数学理论本身的奇特、微妙、简洁、有力,以及建立这些理论时人的创造性思维本身都构成了数学的美。数学美的表现形式是多种多样的,从数学内容看,有概念之美、公式之美、体系之美等;从数学的方法及思维看,有简约之美、类比之美、抽象之美、无限之美等;从狭义美学意义上看,有对称之美、和谐之美、奇异之美等。这些“数学之美”在教学过程中是否得到充分的体现呢?在平常的数学教学中,学生始终觉得那种“数字游戏”太单调、枯燥,对数…     

第31届俄罗斯数学奥林匹克(八年级)

第四轮 8．1．中午12点时，“西部仔”与“莫斯科仔”开始从相距90km的两个地点分别开汽车以常速相向而行．2h以后，他们的距离又是90km．一个“不知情”断言：西部仔在与莫斯科仔碰面之前以及莫斯科仔在与西部仔碰面之后，一共行驶了60km．试证明：该断言不正确．[第一段]     

标签时代的理性目光

同是提到空谷,为何一些人会想到悬崖峭壁,而另一些人想到的却是栈道桥梁？或许有些人会根据洛克的经验主义断言：这是经验使然!因为曾到过的山谷或是悬崖峭壁,或是栈道桥梁,所以“空谷”二字在脑海中映射出不同的图景。但这无法解释从未到过山谷的人作出的反应。