計算機輔助整除命題證明初探
2004-04-29 13:31:35郁林珠
大眾科技 2004年7期
郁林珠
[摘要]數論是數學領域十分重要的基礎理論，而整除理論又是數論的基礎。有些數論命題的得出需要經過大量的數值計算來驗證。在計算機發明以前，這一過程需要經過數年甚至數代人前赴后繼的不斷努力才能結束。隨著計算機應用的不斷普及，這些命題的證明過程變得輕松而快捷。
本文敘述了筆者利用計算機輔助解決整除命題的過程，其實，證明本身并不深奧，但過程耐人尋味，特奉獻給大家。
[關鍵詞]計算機；程序；整除；集合
猜你喜歡
小學科學(學生版)(2021年7期)2021-07-28 06:44:42
趣味(數學)(2020年9期)2020-06-09 05:35:08
科技傳播(2019年22期)2020-01-14 03:06:34
科技傳播(2019年22期)2020-01-14 03:06:30
人大建設(2019年12期)2019-05-21 02:55:44
中山大學法律評論(2018年1期)2018-03-30 01:21:00
消費導刊(2017年20期)2018-01-03 06:26:40
瞭望東方周刊(2017年42期)2017-12-05 18:49:38
環球時報(2017-03-30)2017-03-30 06:44:45
中國衛生(2015年3期)2015-11-19 02:53:32
