HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

论数理逻辑中的置换与代换

作者:王小花; 郭萍; 耿学华数理逻辑命题演算谓词演算置换代换

摘要:本文介绍了数理逻辑的发展史,论述了数理逻辑中的置换和代换的定义、置换定理和代换定理、二者区别及关系,说明了置换和代换在整个数理逻辑中的地位及重要作用。最后,简单谈了学习数理逻辑对思维和行为的指导作用。

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

科学技术创新

《科学技术创新》(CN:23-1600/N)是一本有较高学术价值的大型旬刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《科学技术创新》杂志以刊登实用信息技术转让科研成果为主要内容,侧重于科研成果转让,同时为广大科技、经济工作者提供一个展示平台,以弘扬科教兴国、科学技术是第一生产力为办刊宗旨,读者对象为广大科技、经济教育工作者和中小企业。

杂志详情