引言: 转载] 希尔伯特的二十三个数学问题 发信站: 南京大学小百合站 (Fri May 30 01:01:29 2003) 1900年,德国数学家D.希尔伯特在巴黎第二届国际数学家大会上作了题为《数学问题 》的著名讲演,其中对各类数学问题的意义、源泉及研究方法发表了精辟的见解,而整个 讲演的核心部分则...
摘要:项目中需要有个这样功能,在grid中直接添加/删除/修改数据,希望能像outlook,进行这些操作可以保持住当前group的expand和collapse状态。 实际过程中,一直无法保持当前状态,每次添加新的datarow,都会展开所有的group。 后来发现问题出在dataset.acceptchanges()中,因为在dataset.acceptchanges()或merge()后,datas......
摘要: 使用uml对系统进行建模 ? 面向对象的软件工程,同传统的面向过程的软件工程相比,在需求的获取、系统分析、设计和实现方面都有着很大的区别。uml是ooa和ood的常用工具。使用uml来构建软件的面向对象的软件工程的过程,就是一个对系统进行不断精化的建模的过程。这些模型包括用例模型、分析模型、设计模型,然后,我们需要使用具体的计算机语言来建立系统的实现模型。当然,在整个软件工程中,我们还需要建立系......
希尔伯特的二十三个数学问题 转载] 希尔伯特的二十三个数学问题 发信站: 南京大学小百合站 (fri may 30 01:01:29 2003) 1900年,德国数学家d.希尔伯特在巴黎第二届国际数学家大会上作了题为«数学问题 »的著名讲演,其中对各类数学问题的意义.源泉及研究方法发表了精辟的见解,而整个 讲演的核心部分则是希尔伯特根据19世纪数学研究的成果与发展趋势而提出的23个问题. ①连续统假设 1963年,p.j.科恩证明了:连续统假设的真伪不可能在策梅洛-弗伦克尔公理系统内判明. ② 算术公理的相容性 1931年,k.哥德尔的“不完备定理”指出了用希尔伯特“元数学”证明算术公理相容性之不可能.数学相容性问题尚未解决. ③ 两等高等底的四面体体积之相等 m.w.德恩1900年即对此问题给出了肯定解答. ④ 直线作为两点间最短距离问题 希尔伯特之后,在构造与探讨各种特殊度量几何方面有许多进展,但问题并未解决. ⑤ 不要定义群的函数的可微性假设的李群概念 a.m.格利森.d.蒙哥马利与l.齐平等于1952年对此问题作出了最后的肯定解答. ⑥ 物理公理的数学处理 公理化物理学的一般意义仍需探讨.至于希尔伯特问题中提到的概率论公理化,已由а.н.柯尔莫哥洛夫(1933)等人建立. ⑦ 某些数的无理性与超越性 1934年,a.o.盖尔丰德与t.施奈德各自独立地解决了问题的后半部分,即对于任意代数数□≠0,1,与任意代数无理数□证明了□□的超越性. ⑧ 素数问题 包括黎曼猜想.哥德巴赫猜想及孪生素数问题等.一般情况下的黎曼猜想仍待解决.哥德巴赫猜想最佳结果属于陈景润(1966),但离最终解决尚有距离....
下一页 摘要:dib,设备无关位图。既然设备无关了,我们要输出它就有了一些困难,毕竟在屏幕上能看到的都是设备场景中的图像。那么要怎样输出它呢? 1、半随机显示——setdibitstodevice 是的,该api实现的输出是半随机化的。简单的说,用这个函数输出的图片我们能够看到,但是它是不会被保存的,即使在vb中开启了autoredraw也一样。根据我的猜想,这个函数的实际功能非常简单,将一幅图片画到一个设备场......