您的位置： 专家智库 > >

周训伟

作品数：3 被引量：1H指数：1
供职机构：北京工业大学计算机学院计算机应用技术系更多>>
相关领域：理学自动化与计算机技术更多>>

文献类型

  • 3篇中文期刊文章

领域

  • 2篇理学
  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇说明性
  • 1篇转置
  • 1篇过程性
  • 1篇PROLOG
  • 1篇PROLOG...
  • 1篇乘法

机构

  • 3篇北京工业大学

作者

  • 3篇周训伟

传媒

  • 3篇北京工业大学...

年份

  • 1篇1993
  • 1篇1992
  • 1篇1990
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
PROLOG的说明性语义和过程性语义之间的循环论证
1990年
对关于PROLOG的说明性语义和过程性语义之间的关系的观点提出商榷。认为这两种语义之间存在循环论证,它反映了数理逻辑的模型论和证明论之间的循环论证。
周训伟
关键词：PROLOG语言说明性语义过程性
立体矩阵论初步(Ⅰ)——体阵的加法、乘法、数乘、转置和么体阵被引量：1
1992年
提出了立体矩阵理论,包括立体矩阵的加法、乘法、数乘、转置和么阵等基本内容,将平面矩阵理论中相应内容处理成其特殊情况。
周训伟
关键词：乘法转置
立体矩阵论初步(Ⅱ)——单位体阵与体阵的逆
1993年
本文是立体矩阵论初步(Ⅰ)—体阵的加法、乘法、数乘、转置和么体阵的续篇,讨论单位体阵与体阵的逆,将平面矩阵的相应内容处理成其特殊情况。
周训伟
全选 清除 导出
共1页<1>
聚类工具0