朱梧

作品数：8被引量：32H指数：3
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：数学数学文化数学思维数学教育数学方法论更多>>
发文领域：理学自动化与计算机技术自然科学总论更多>>
发文期刊：《数学教育学报》《数学物理学报（A辑）》《小型微型计算机系统》《计算机学报》更多>>
所获基金：国家自然科学基金国家自然科学基金委员会数学天元基金国家攀登计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多agent逻辑程序及其在协议验证中的应用
《小型微型计算机系统》2007年第1期54-57,共4页周勇 朱梧 
国家自然科学基金项目(60573070)资助.
提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有...
关键词：逻辑程序 安全协议 不可否认性 
论数学与艺术的相互为用与相互渗透的趋势被引量：5
《南京航空航天大学学报（社会科学版）》2000年第4期69-71,共3页陈桂正 朱梧 
数学与艺术这两门不同学科在近现代发展中相互为用和互相渗透 ,在艺术与美学的研究中受自然科学特别是数学发展的影响 ,数学学科的发展从艺术和美学中吸取营养、得到启发等 ,这两门学科在研究中的内在联系及相互渗透的依存关系。
关键词：数学 艺术 学科渗透 美感 精神文化 美学 
Vakarelov问题的研究
《计算机学报》1999年第4期351-358,共8页朱朝晖 毛宇光 朱梧 
国家自然科学基金;国家八六三高技术研究发展计划资助
本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三...
关键词：知识表示系统 信息逻辑 Vakarelov问题 形式语言 
常系数线性微分方程RMI解题机被引量：1
《Journal of Mathematical Research and Exposition》1996年第3期471-476,共6页王建东 朱梧(木贾) 肖奚安 徐利治 
国家基础研究攀登计划资助项目.
本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题...
关键词：解题机 微分方程 数值解 线性 常系数 
通过从平面几何到立体几何的类比进行数学发现的计算机模拟
《数学物理学报（A辑）》1996年第4期377-384,共8页王建东 朱梧 肖奚安 陈松灿 张东摩 
国家攀登计划
该文从数学方法论的角度阐述了归纳、类比等数学方法在数学发现、发现与创新中的重要作用．从这一观点出发，提出了采用类比方法实现数学发现的计算机模拟的基本思想，并介绍了一个通过类比平面几何中的定理来发现立体几何中的有关定理...
关键词：数学发现 平面几何 立体几何 类比 计算机模拟 
从计算机科学与数学研究的角度看中介系统的发展
《自然辩证法研究》1995年第10期15-21,33,共8页朱梧 肖奚安 
863智能机主题和国家基础研究"攀登计划"的资助项目
我们将在本文中讨论关于中介系统的下列问题：（１）中介系统目前的发展概况；（２）中介系统的哲学背景；（３）中介系统的思想原则，（４）数学研究对象的再扩充；（５）概括原则的修改问题；（６）精确性经典数学和中介数学系统之间...
关键词：计算机 数字理论 中介系统 发展 
论数字家与艺术家在创造活动中的同一性被引量：4
《自然辩证法研究》1994年第10期24-29,共6页陈桂正 朱梧 
论数字家与艺术家在创造活动中的同一性陈桂正，朱梧数学是一门科学，但将数学视为一门艺术，甚至把数学家称之为艺术家，目前还不可能为大多数人所认识和理解。然而，当代美国数学家Ａ·波莱尔却于８０年代初的一次题为《数学－艺术与...
关键词：自然辩证法 数学家 艺术家 创造活动 同一性 
数学文化、数学思维与数学教育被引量：22
《数学教育学报》1994年第2期5-9,共5页朱梧 
数学天元基金
讨论了数学思维究竟包括哪些方面，文化素质在数学教育中应有的地位，并阐述了对数学教育改革的一些看法．
关键词：数学文化 数学思维 数学教育 数学方法论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部