您的位置： 专家智库 > >

李新晖

作品数：2 被引量：11H指数：2
供职机构：佛山教育学院数学系更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇信息安全
  • 1篇信息安全技术
  • 1篇形式化
  • 1篇形式化语言
  • 1篇数字签名
  • 1篇签名
  • 1篇人工智能
  • 1篇密码
  • 1篇命题逻辑
  • 1篇计算机
  • 1篇计算机安全
  • 1篇安全技术

机构

  • 2篇佛山教育学院

作者

  • 2篇李新晖

传媒

  • 2篇计算机与现代...

年份

  • 1篇2001
  • 1篇2000
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
人工智能中的推理方法被引量：3
2001年
人工智能的一个重要目的就是用计算机实现推理 ,而对推理规律符号化必须使用命题逻辑和一阶逻辑 ,本文介绍了关于命题逻辑的集合论解释 ,并对矢列演绎系统规则的有效性进行了证明。
李新晖
关键词：人工智能命题逻辑形式化语言
信息安全技术的研究发展与应用被引量：8
2000年
论述了信息安全的概念及核心问题 ,对加密与解密技术进行了简要分析 ,并介绍了当前国内外在这方面的研究动态。
李新晖陈梅兰
关键词：信息安全密码数字签名计算机安全
全选 清除 导出
共1页<1>
聚类工具0