论文部分内容阅读
引入两个引理分析了一阶语言中赋值的性质，简化了项的代入定理的证明，新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系．
项的代入定理
【摘 要】
：
引入两个引理分析了一阶语言中赋值的性质，简化了项的代入定理的证明，新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系．
【机 构】
：
渭南师范学院数学与信息科学学院
【出 处】
：
渭南师范学院学报：综合版
【发表日期】
：
2012年6期
其他文献
我国国有企业在国民经济中占有极其重要的地位,关系到国计民生、社会稳定.但是,国有企业的现状严重阻碍了市场经济体制的进一步深化,大多数国有企业经营不善、长期走不出困境
工业CT扫描成像包含了试件运动扫描与投影数据重建计算两个重要步骤。这就要求工业CT扫描成像系统软件必须即能灵活地控制硬件,又能高效地处理数据。因此,工业CT扫描成像系统
加强农村信用社资产保全机构建设,效仿国有商业银行不良资产剥离交由资产管理公司管理的做法,对不良贷款进行内部剥离专管十分必要,这样有利于减轻基层社压力,降低清收成本,
最近,笔者对江苏省盐城市的境外投资状况进行了调查,发现随着近年来对外开放步伐的不断加快,辖内越来越多的企业选择了走出国门,创办境外企业,开拓国际市场.这对于增强辖内商
近年来,互联网已经成为社会舆论的重要发源地和放大器,许多话题正是通过网络的传播才产生了较强的社会效应。做好网络舆论引导工作,事关政府形象,事关社会稳定。因此,准确把
为顺应新时期海外华文教育标准化、正规化、专业化的发展需要,有必要对华文教育的标准进行全局性的系统思考。首先对华文教育标准的类别进行了分析,认为它包括产品标准、系统