李霞飞
- 作品数：3 被引量：5H指数：2
- 供职机构：中南大学政治学与行政管理学院更多>>
- 相关领域：理学文化科学经济管理更多>>
- 逻辑演算与形式化方法被引量：3
- 2003年
- 逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质。
- 孙明湘李霞飞
- 关键词：形式化
- 我国古代科技奖励政策雏议被引量：2
- 2003年
- 我国古代科技奖励政策经历了一个形成、发展的过程 ,虽时期不同奖励的形式与内容不一 ,但都对当时的科技进步和社会发展起到了一定推动作用。然而 ,由于其受到古代经济、社会条件的局限 ,从而始终存在一些不足 ,对此进行研究分析将对现行科技奖励政策的制定有一定借鉴意义。
- 李霞飞张功耀
- 关键词：科技奖励政策
- 论经济政策在循环经济发展中的运用
- 2005年
- 循环经济是未来最能解决社会经济发展与资源环境之间长期矛盾的一种新型经济增长模式,其发展离不开各种制度政策的支持,而经济政策正是重要的推动要素之一。本文在分析了经济政策推动循环经济发展的两类作用方式的基础上,进一步探讨了其具体运用即相应的激励和规范型经济制度的建立。
- 李霞飞徐晓英
- 关键词：循环经济经济政策
