学科分类
/ 1
10 个结果
  • 简介:1985年起,NCTM开始制定文件以确定数学课程与评价标准(1989)、数学教学标准(1991)和数学考核标准(1995).NCTM在1989年制定了《数学课程与评价标准》,按年级水平(K-4,5—8,9—12)列举了学生应该掌握的数学内容,涉及到问题解决、推理、合作交流等.

  • 标签: 数学课程 课程计划 美国 评价标准 NCTM 教学标准
  • 简介:针对分配判定时容易出错这一教学难题,提出可以利用学生专业特点从而结合计算机这一工具来帮助解决,并通过一个典型例子来具体说明,该例子同时也指出了教材习题解答书中的一处错误.认为本文提出的这一教学思想对于离散数学的教学有一定的启示.

  • 标签: 分配格 判定 离散数学
  • 简介:在蕴涵中引和了蕴涵滤子的概念,讨论了蕴涵滤子的一些基本性质,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:蕴涵代数中的滤子是值逻辑推理中的一类重要代数结构.本文给出了利用蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:主要讨论了在一定条件下半环的强分配S上的环同余ρ与半环族(Sα)α∈D上的环同余族(ρα)α∈D之间的关系.

  • 标签: 半环的强分配格 环同余
  • 简介:物理勘探中,需要计算含一阶贝塞函数的广义积分.一种传统的方法是在贝塞函数零点之间一次应用一般积分法则积分,最后求和,这种方法收敛比较慢.特别在贝塞函数中r值很大的时候.另一种应用广泛的方法是数字滤波技术.该法比第一种方法快.但要求核函数迅速衰减.本文给出了一种新的计算方法,能处理核函数衰减很慢且r很大的问题,方法简单,高效率.精度高.

  • 标签: 物理勘探 贝塞尔函数 数值计算
  • 简介:2003年1月16日至21日,一批世界著名数学家云集莫斯科,参加一个名为“柯莫哥洛夫与当代数学(KolmogorovandContemporaryMathematics)”的学术会议,会议规格与国际数学家大会类似,会议邀请了12位当今一流的数学家作1小时主题报告,其中包括菲兹奖获得者斯梅尔、诺维科夫,沃尔夫奖获得者阿诺尔德、希策布鲁赫、卡尔森和西奈依.还有其它数学家作了45分钟报告与20分钟报告.

  • 标签: 国际数学家大会 柯尔莫哥洛夫 前苏联 领袖 学术会议 主题报告
  • 简介:李大潜院士主编的'十一五'国家重点图书出版规划项目《数学文化小丛书》从2007年开始出版,迄今已经出了两辑共20册。这套丛书,以其深远的立意、精当的选题、适中的难度、清新的文笔、隽永的启迪、精美的装帧,成为当今我国科普园中别具一、引人注目的一族奇葩,受到了广大读者的欢迎和好评。一、贯穿数学与人文融合的理念,着力揭示、弘扬和普及数学的文化内涵,促进全民族思想文化素质的提高,立意深远2005年12月,李大潜院士在丛书的总序中深刻指出:'整个数学的发展史是和人类物质文明和精神文

  • 标签: