
何积丰
1.提出数据加载中请稍候精化的完备理论针对彼时数据加载中请稍候精化措施上设有不完备以及只得处理肯定程序语言等缺陷。何积丰和合伙人在代发论文被骗“DataRefinementRefined”和“PrespecificationinDataRefinement”中付诸了一个处理非规定程序语言数据加载中请稍候精化的措施,行使“上下仿真映照对”来获得程序模块计划性图中各过程的函数说明书。付诸了完备演算规则。 2.建立程序和软件规范的统一数学沈阳沙盘模型制作1986年,他与合伙人提出了程序分解算子,并将规范语言与程序语言看作是一律类数学对象。 3.提出编程统一理论和连接各条程序理论的数学法则。 4.用个人化接触面理论沟通几种程序语言 5,研究插件联手计划性眉目的数学沈阳沙盘模型制作
展开 收起