首页 > 《渭南师范学院学报：综合版》 > 2012年6期 > 项的代入定理

项的代入定理

在线阅读下载PDF 导出详情

摘要引入两个引理分析了一阶语言中赋值的性质，简化了项的代入定理的证明，新的证明过程更能反映一阶语言的结构和等价的赋值之间的关系．

DOI 7j6gr3end0/1137718

作者赵正波

机构地区不详

出处《渭南师范学院学报：综合版》 2012年6期

关键词一阶语言一阶谓词演算项赋值

分类 [文化科学][教育学]

出版日期 2012年06月16日（中国期刊网平台首次上网日期，不代表论文的发表时间）

相关文献

1姚敬东;冯建中;等. 二项式定理.教育学,2003-01.
2张维节;郭璋. 巧用二项式定理.教育学,1988-03.
3苏改琴. 二项式定理的妙用.教育学,2009-10.
4陈庆新. 排列、组合、二项式定理.教育学,2007-12.
5郑金鑫,舒春阳. 二项式定理案例评析.教育学,2020-12.
6刘绍周. 课时四二项式定理.教育学,2005-01.
7易斌. 《二项式定理》教学设计.教育学,2021-04.
8郑同江. 二项式定理教学设计.教育学,2016-12.
9黄利林. 二项式定理“6考”.教育学,2008-01.
10. 排列、组合、二项式定理.教育学,2007-04.

来源期刊

渭南师范学院学报：综合版

相关推荐

同分类资源更多

相关关键词

一阶语言一阶谓词演算项赋值

返回顶部