检索结果-南通市图书馆

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

原始递归字算术WA的公理系统

数学学报 1981年第5期 717-724页

作者：沈百英南京大学数学系

设An表示有穷字母表{s1,s2,…,sn},Ω（An）表示An中所有字的集合.通常把空字（即不含任何字母的字）亦作为Ω（An）中的元素,记为☉.作为自然数集上函数的推广,人们研究Ω（An）上的函数,叫做字函数.对于字函数的研究,可以叫做字算术.... 详细信息

设An表示有穷字母表{s1,s2,…,sn},Ω（An）表示An中所有字的集合.通常把空字（即不含任何字母的字）亦作为Ω（An）中的元素,记为☉.作为自然数集上函数的推广,人们研究Ω（An）上的函数,叫做字函数.对于字函数的研究,可以叫做字算术.在字算术中,至少可有下述两个观点:

关键词：公理系统原始递归递归论后继函数算术初等数学字母表存在性公理 LK 元函数常函数方程 WA

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

一个关于通信顺序进程语言的公理系统

计算机学报 1984年第4期 274-283页

作者：王正宇中国科学院计算技术研究所

通信的顺序进程语言是对分布式系统进行程序设计的一种语言。本文介绍了迹、断言迹集合、断言迹集合的核以及进程迹集合等概念。进程被看成是断言迹集合的一种特例——进程迹集合。采用的断言语言是断言迹集合。在此基础上,文章提出了... 详细信息

通信的顺序进程语言是对分布式系统进行程序设计的一种语言。本文介绍了迹、断言迹集合、断言迹集合的核以及进程迹集合等概念。进程被看成是断言迹集合的一种特例——进程迹集合。采用的断言语言是断言迹集合。在此基础上,文章提出了一个以归纳式为形式的公理系统。利用这个公理系统可以对通信顺序进程语言所写的程序进行部分正确性的证明。

关键词：顺序进程公理系统部分正确性分布式系统最小不动点基本符号周巢尘内部通信输出信息补集

中国企业家智源与公理系统——从形儒、内道、重法、敬佛说起

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

企业研究 2013年第3期 48-53页

作者：陈荣耀东华大学旭日工商管理学院复旦大学华商研究中心学术委员会舟山复旦东方文化研究院国务院发展研究中心上海所慧诚企业战略研究所

形儒、内道、重法、敬佛，构成为东方企业家的价值系统：形儒要求企业家成为一等一人物，内道重视的是事物运行的内在规律，重法揭示的是管理靠法家的命题，敬佛则是企业家与未来和预期的沟通。建公理系统是指中国企业家必须接受西方科... 详细信息

形儒、内道、重法、敬佛，构成为东方企业家的价值系统：形儒要求企业家成为一等一人物，内道重视的是事物运行的内在规律，重法揭示的是管理靠法家的命题，敬佛则是企业家与未来和预期的沟通。建公理系统是指中国企业家必须接受西方科学文化的熏陶，应用分解思维逻辑，建立公理系统，充分发掘顿悟式思维的优势，而避免它的不利之处。只有充分发挥了东西方文化的价值系统和优势，才能创造一流企业与品牌，实现中国经济的有效崛起。

关键词：公理系统中国经济企业家重法西方科学文化价值系统思维逻辑东西方文化

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

自然数公理系统的科学意义

数学教学 1979年第2期 34-37页

作者：张宏裕扬州师范学院

在自然数理论中,皮亚诺公理系统把“0”、“自然数”、“后继数”(记号为“′”)作为原始概念,用下述五条公理作为发展自然数理论的最根本的命题: Ⅰ.0是自然数; Ⅱ.自然数n的后继数n′是自然数; Ⅲ.如果b、c是自然数a的后继数,则b、c... 详细信息

在自然数理论中,皮亚诺公理系统把“0”、“自然数”、“后继数”(记号为“′”)作为原始概念,用下述五条公理作为发展自然数理论的最根本的命题: Ⅰ.0是自然数; Ⅱ.自然数n的后继数n′是自然数; Ⅲ.如果b、c是自然数a的后继数,则b、c是相等的;

关键词：自然数集科学意义集合论原始概念公理系统皮亚诺公理