计算机辅助整除命题证明初探

2004-04-29 13:31:35郁林珠
大众科技 2004年7期
关键词:集合程序计算机

郁林珠

[摘要]数论是数学领域十分重要的基础理论,而整除理论又是数论的基础。有些数论命题的得出需要经过大量的数值计算来验证。在计算机发明以前,这一过程需要经过数年甚至数代人前赴后继的不断努力才能结束。随着计算机应用的不断普及,这些命题的证明过程变得轻松而快捷。

本文叙述了笔者利用计算机辅助解决整除命题的过程,其实,证明本身并不深奥,但过程耐人寻味,特奉献给大家。

[关键词]计算机;程序;整除;集合

猜你喜欢
集合程序计算机
计算机操作系统
基于计算机自然语言处理的机器翻译技术应用与简介
科技传播(2019年22期)2020-01-14 03:06:34
试论我国未决羁押程序的立法完善
人大建设(2019年12期)2019-05-21 02:55:44
信息系统审计中计算机审计的应用
消费导刊(2017年20期)2018-01-03 06:26:40
“程序猿”的生活什么样
英国与欧盟正式启动“离婚”程序程序
环球时报(2017-03-30)2017-03-30 06:44:45
论述高中数学中集合的类型及基本运算
青年时代(2016年30期)2017-01-20 02:04:06
一道数学填空题引发对细节的思考
考试周刊(2016年50期)2016-07-12 17:04:11
解读《集合》
考试周刊(2016年26期)2016-05-26 20:26:20
创卫暗访程序有待改进
中国卫生(2015年3期)2015-11-19 02:53:32