期刊信息
- 刊名： 河北师范大学学报（自然科学版）Journal of Hebei Normal University (Natural Science)
- 主办： 河北师范大学
- ISSN： 1000-5854
- CN： 13-1061/N
- 中国科技核心期刊
- 中国期刊方阵入选期刊
- 中国高校优秀科技期刊
- 华北优秀期刊
- 河北省优秀科技期刊
解决工程中计算机代数问题方法的探讨
-
1. 河北师范大学 数学与信息科学学院, 河北 石家庄 050016;
2. 河北师范大学 网络中心, 河北 石家庄 050016;
3. 石家庄市桥东税务局, 河北 石家庄 050021 -
DOI：
Study Solving Computer Algebra Problem Method in Engineering Calculate
摘要/Abstract
摘要：
介绍了在大型工程求解过程中,遇到计算机代数难题时如何运用代数因子方法进行求解;论述了使用代换因子方法可使传统的计算机语言带着变量进行编程求解问题,从而解决了这一工程计算中的难题
Abstract：
Introduced how used replace factor method evaluating when came across computer alge-bra difficult problem in the process of solution of large projeet. Replace factor method may cause tradi-tional computer language together with variables evaluating in programming is discussed. There bysolved difficult problem in the large project calculated.
关键词
Key words：
language of computer algebra
;
method of computer algebra
;
replace factor
参考文献 9
- [1] 翟中. 计算机科学导论[M]. 北京: 清华大学出版社, 2007: 345.
- [2] 刘光洁. 谈谈离散数学的教学[J]. 计算机教育, 2007, (24) : 62-64.
- [3] NILSSON N J. Artificial Intelligence: A New Synt hesis [M]. Beijing: China Machine Press, 1999.
- [4] TAKEUTI G. Proof Theory [M]. -nded. North-Holland: Elsevier Science Publishers, 1987.
- [5] 邵学才. 离散数学[M].北京: 清华大学出版社, 2006.
- [6] 陆钟万. 面向计算机科学的数理逻辑[M]. 2 版. 北京: 科学出版社, 2002: 43.
- [7] 孙兆豪. 离散数学纲要及选题选解[M]. 保定: 河北大学出版社, 1994: 32.
- [8] 张改荣. 论谓词逻辑中的量词加免法则[J]. 工程数学, 1995, 11(3) : 82-85.
- [9] 刘贵龙. 离散数学[M]. 北京: 人民邮电出版社, 2002: 118- 149.