自动推理与教育软件智能平台

阐述了如下内容：（1）自动推理的发展与教育技术；（2）教育软件智能平台的基本构成；（3）教育软件智能平台应有的功能，并进行了教育软件智能平台实例演示。     

关于Stolarsky的一个问题

几年前在Michigan举行的一次有关度量几何的会议上,K.B.Stolarsky提出了一个问题(见文献[1],Problem 1),从而使距离几何中的某些经典方法面临着一次挑战。 设T是一个四面体,它的基底是一个三边长为a,b,c的三角形;令A,B,C分别表示     

举例子能证明几何定理吗?

验证了一个三角形的内角之和为180°,就断言所有三角形的内角之和都为180°,从数学的逻辑来看,这是不是有点荒唐?但恰恰是数学来回答说:不,这是完全可以的。请不要忘记:从有限能推断无限,正是数学的魅力所在。而例证法的发明,使演绎和归纳这两种逻辑方法,在更高的层次上达到了辩证统一。     

抽象距离空间的秩的概念

引言“距离几何”的基本思想应当說在上一世纪末已經由比利时的Tilly明确提出了。Tilly引进的半度量(Semi—Metric)的概念后經Fréchet发展成为(在增加了三角形不等式之后)度量和度量空間(Metric Space)的重要概念。作为几何学的一个分支而言,距离几何(Distance Geometry)的真正基础是由K.Menger于1928年—1931年间的四篇論文中奠定的。在Menger工作的基础上,这一几何分支于30—40年代有一些发展,例如可参看L.M.Blumenthal的专著《Theory and     

关于质点组的一类几何不等式

作者在[1]中用代数方法获得了一类几何不等式。本文通过新的途径导出了較[1]更为广泛的結果。所凭藉的工具仍然是代数的。首先約定記号。設y={A_i(m_i),i=1,2,…,N}是E~(?)中的質点組,m_i≥0是点A,所賦有的質量.取y的质心O为坐标原点。设H是过O的任一个n-1維定向超平面,(?)_H是H     

单参数实迭代群存在唯一性的判别准则

Definition 1. If y=G(x,t)is a continuous function on both x and t (aG(x,t)>x≮a, (for t>0), 3) G(x_1,t)>G(x_2,t), (for x_1>x_2), 4) G(G(x, t_1),t_2)=G(x,t_1+t_2),then we say that G(x,t) is a regular iterative family on (a,b) with parameter t. Definition 2. Suppose G(x, t) is a regular iterative family on (a, b) and     

电信客户服务平台与群件系统

集成了客户服务平台与群件系统，将客户服务与后台管理有机地结合起来，充分发挥两大系统的 优势，实现客户服务支持处理过程流程化/可监控化，有效监控服务过程和质量，快速高效解决客户投诉， 让管理层直接参与客户服务，加大对客户服务的深度，改善提高服务质量。     

我看人工智能

人工智能是人类社会的伟大发明,随着信息技术的不断进步和发展,它引起了广泛关注并成为当前科学界研究的热点。从人工智能的概念出发,介绍了人工智能发展历程中的三起两落,指出了人工智能目前正处于发展时期,有很多亟待解决的科学问题;接着阐述了人工智能1.0和2.0 2个时代的特征,并指出2个时代的独立性与互补性,只有将2个时代的技术进行有效融合,才能高效、准确地解决实际问题;阐述了人工智能能做什么以及如何做的问题,指出了人工智能的主体作用是助力传统产业发展和促进工业经济快速转型;从人工智能的角度分析了数学教育,着重强调了数学是人工智能的灵魂,同时人工智能的发展有望促进数学教育。但目前还未真正将效果体现出来,人工智能作为新的技术在教育上的应用还需深入到学科中去,积极而慎重地进行实验和探索。     

把微积分变容易

<正>恩格斯说,在一切理论成就中,未必再有什么像17世纪下半叶微积分的发明那样,被看作人类精神的最高胜利了。微积分不仅仅是人类伟大的理论成就和精神胜利,而且其应用极广。《科学世界》这一期有关微积分的科普文章,其中列举了微积分的一系列重要应用。而微积分的新的应用,还在不断涌现。例如,今年还有另一本科普杂志,刊登了一篇题为微积分战胜艾滋病的文章,讲的是科学家在微积分的帮助下找到了艾滋病的鸡尾酒疗法的故事。