搜索筛选:
搜索耗时1.7289秒,为你在为你在102,285,761篇论文里面共找到 8 篇相符的论文内容
发布年度:
[期刊论文] 作者：邹姝稚,
来源：河海大学学报：自然科学版 年份：2000
With在《算法+数据结构=程序》一书中关于“对半检索”程序中给出了一个不变式，但该不变式是不完善的。本文对此予以了修正，并通过一 系列定理及其证明进行了完整的论证，在论证......
[期刊论文] 作者：邹姝稚,
来源：扬州大学学报：高教研究版 年份：2000
应试教育下的考试由于其形式单一、考试内容以知识的简单再现为主，且学生多为被动参与，因而不能对学生的实际水平和能力作出客观评价。实施素质教育后，考试形式也应随之变化，可根......
[期刊论文] 作者：邹姝稚,徐宝文,
来源：扬州大学学报：自然科学版 年份：2000
在深入分析ＤＳＤ图的基础上，提出了一种支持并发面向对象程序设计的图形语言ＣＯＯＤＳＤ，在其中扩充了面向对象的支撑设施，并对图形方法的表达能力从理论上进行了探讨，最后简要讨论了ＣＯＯＤＳＤ图形支撑环境......
[期刊论文] 作者：邹姝稚,郭振民,
来源：现代电子技术 年份：2001
讨论了面向对象方法中若干热点概念,在对Coad面向对象建模语言深入分析的基础了,以一致的表达风格对该方法的表达能力进行了改进和扩充,形成了支持大型并发软件设计的新图形...
[期刊论文] 作者：邹姝稚,张再跃,
来源：现代电子技术 年份：2000
阐要介绍元数学的产生和发展历史以及好的基本思想，通过具体实例论述了元数学思想在计算机科学领域中多方面和多种形式的应用。阐述了元数学对计算机科学，特别是计算机科学理论......
[期刊论文] 作者：邹姝稚,郭振民,
来源：现代电子技术 年份：2000
分析了一种适用于大型软件和实时并发软件设计的图形设计语言－设计结构图。对其进行了面向对象支持能力的扩充和相应类图编辑器的设计。提出了一种改进的对象式软件开发方法，该......
[期刊论文] 作者：邹姝稚,唐立中,
来源：河海大学学报(自然科学版) 年份：2000
Godel定理是数理逻辑发展中的一个里程碑,但其最初表述并不完善.Rosser公式克服了Godel定理之不足,从而最终解决了形式数论系统的完备性.本文深入分析了Godel提出“ω无矛盾...
[期刊论文] 作者：邹姝稚,唐立中,
来源：河海大学学报：自然科学版 年份：2000
Ｃｏｄｅｌ定理是数理逻辑发展中的一个里程碑，但其最初表述并不完善，Ｒｏｓｓｅｒ公式克服了Ｇｏｄｅｌ定理之不足，从而最终解决了形式数论系统的完备性，本文深入分析了Ｇｏｄｅｌ提出“ω无矛盾”的初衰和Ｒｏｓｓｅｒ公式的构造思路，运......
相关搜索：
