陈江进 王强 王荣江 谢冬青 蒋东海 汤承林 郭琰 卢殿臣 丁勤

带符号 可计算性 不确定性 文法 查讫 算法设计 状态 算法 意向性 安全性 （n 计算 状态数 有限控制器 布尔矩阵 机器功能主义 四则运算 初值问题 有穷自动机 知识 感受性质 k）CRC码 哥德尔定理 密码 热传导方程 代数性质