您的位置： 专家智库 > >

刘伟

作品数：2 被引量：2H指数：1
供职机构：南京大学哲学系现代逻辑与逻辑应用研究所更多>>
相关领域：哲学宗教更多>>

领域

  • 4个自动化与计算...
  • 4个理学
  • 3个哲学宗教
  • 3个电子电信
  • 2个文化科学
  • 1个经济管理
  • 1个生物学
  • 1个冶金工程
  • 1个水利工程
  • 1个社会学

主题

  • 4个语言
  • 4个直觉主义
  • 4个实无穷
  • 4个实无限
  • 3个定理
  • 3个语言表达
  • 3个语言表达能力
  • 2个代数
  • 2个等价
  • 2个等价性
  • 2个等效性
  • 2个递归
  • 2个递归函数
  • 2个定理证明
  • 2个形象思维
  • 2个学科
  • 2个学科归属
  • 2个直觉
  • 2个中介
  • 2个中介逻辑

机构

  • 3个南京大学
  • 2个南京航空航天...
  • 2个解放军理工大...
  • 1个大连理工大学
  • 1个复旦大学
  • 1个包头师范学院
  • 1个南京林业大学
  • 1个空军气象学院
  • 1个北京航空航天...
  • 1个中国人民解放...

资助

  • 4个国家高技术研...
  • 4个国家自然科学...
  • 3个国家重点基础...
  • 3个江苏省自然科...
  • 2个国家攀登计划
  • 2个国家重点实验...
  • 1个高等学校优秀...
  • 1个国防科技技术...
  • 1个国防科技重点...
  • 1个霍英东教育基...
  • 1个江苏省青年科...
  • 1个中国博士后科...
  • 1个江苏省教育厅...
  • 1个江苏省“六大...
  • 1个创新研究群体...
  • 1个国家教育部博...
  • 1个江苏省“青蓝...
  • 1个江苏省高校自...
  • 1个江苏省科技计...
  • 1个中国航空科学...

传媒

  • 4个南京航空航天...
  • 4个科学
  • 3个模糊系统与数...
  • 3个南京大学学报...
  • 3个计算机学报
  • 3个Journa...
  • 3个南京邮电大学...
  • 2个数学教育学报
  • 2个电子与信息学...
  • 2个计算机研究与...
  • 2个电子学报
  • 2个数据采集与处...
  • 2个数学物理学报...
  • 2个数学杂志
  • 2个武汉大学学报...
  • 2个自然杂志
  • 2个自然辩证法研...
  • 2个软件学报
  • 2个中国科学（E...
  • 2个南京师大学报...

地区

  • 4个江苏省
  • 1个上海市
共 5 条 记 录，以下是 1-5
肖奚安
供职机构：解放军理工大学理学院
研究主题：中介逻辑 公理集合论 中介 命题演算 数理逻辑
发表作品相关人物供职机构所获资助研究领域
顾红芳
供职机构：解放军理工大学理学院
研究主题：公理集合论 直觉主义 实无穷 互反判断矩阵 互补判断矩阵
发表作品相关人物供职机构所获资助研究领域
张兴
供职机构：复旦大学哲学学院
研究主题：集合论 量子论 相对论 芝诺悖论
发表作品相关人物供职机构所获资助研究领域
朱梧槚
供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系
研究主题：中介逻辑 实无限 公理集合论 中介 人工智能
发表作品相关人物供职机构所获资助研究领域
宋方敏
供职机构：南京大学计算机科学与技术系
研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0