必修3中的算法初步是用的什么计算机语言？？

必修3中的算法初步是用的什么计算机语言可以来检证算法呢？？？

是不是True BASIC语言？？？？

请问谁这方面的资料？？想 学习学习了。

悲伤的双曲线

---

悲伤的双曲线

为了能在计算机上实现，还需要将自然语言或程序框图翻译成计算机语言，用什么计算机语言???

悲伤的双曲线

qbasic

无鸣

引用:原帖由 Hamannsun 于 2009-7-3 12:44 发表 : http://bbs.pep.com.cn/redirect.php?goto=findpost&pid=4688167&ptid=491272
手工验证

除非你的算法超过30行，否则用程序验证是自讨苦吃
手工验证和没验证是一回事。

＊＊＊＊.bas是用什么计算机语言写的？？？

例如：

附件: 您所在的用户组无法下载或查看附件

悲伤的双曲线

书上用的是“Scilab”自带的编程语言，实际上用任何一种程序设计语言都能实现书上的算法。

爱学习。

怎么又出现了“Scilab”自带的编程语言，小女子，真不知道学习什么计算机语言了？？

以前读大学学过Pascal语言，不知可不可以应付？？？帮帮我吧。

悲伤的双曲线

不一定吧，算法正确性可以用一个程序测试，出现正确的答案，不就保证

悲伤的双曲线

引用:原帖由 qiusuo8 于 2009-7-3 16:13 发表 : http://bbs.pep.com.cn/redirect.php?goto=findpost&pid=4688529&ptid=491272
＊＊＊＊.bas是用什么计算机语言写的？？？

例如：
用什么打开可以编辑吗？？？？

悲伤的双曲线

引用:原帖由 Hamannsun 于 2009-7-3 18:13 发表 : http://bbs.pep.com.cn/redirect.php?goto=findpost&pid=4688735&ptid=491272
我也不打算进一步跟你说明这个，要给你说明白势必引入更多的内容、引用更多的资料
而这些内容和资料的权威性可能还不在你的知识范围之内
所以我只是告诉你在计算机科学中不是你所想的那样

有很多的算法的正确性 ...
谢谢了，学无止境吗？！考计算机时，用的是Pascal后来自学了C语言

对付必修3中的算法初步，用QBASIC应该可以了

悲伤的双曲线

谁有QBasic软件？？？

悲伤的双曲线

引用:原帖由 Hamannsun 于 2009-7-3 18:13 发表 : http://bbs.pep.com.cn/redirect.php?goto=findpost&pid=4688735&ptid=491272
我也不打算进一步跟你说明这个，要给你说明白势必引入更多的内容、引用更多的资料
而这些内容和资料的权威性可能还不在你的知识范围之内
所以我只是告诉你在计算机科学中不是你所想的那样

有很多的算法的正确性 ...
我说的手工验证是常规的那种走一遍的验证。事实上中学阶段没什么人能够严格证明。

蔡开元的软件系统论正在研究这个问题，但是现在只给了一些初步的结果。

我不相信你真的很懂这个问题。

我不懂，只不过写过几行程序而已。。呵呵
计算机界名气很大的人多了，不过大部分名不符实，不过尔尔，特别是中国的。
蔡开元名气的确不大，不过比那些很有名气的人强多了。

曾经听过他的一次讲座，大致意思就是软件完备性的证明很难，大概就像数论中的一些证明。

其实我们不需要说这些东西，也用不上。
我们就说这个1楼提出的问题。走一遍，在脑子里面走一遍，看似证明了，但是没有人能说这个证明必然是正确的。
    而程序输出了正确的结果，起码可以在很大程度上加强我们认为这个程序是正确的 信心

再说下去就在逻辑的圈子里转不出来了。也就是说，你说你证明了，但是如何证明你这个证明是正确的？

大概就是这样吧。

　　蔡开元，男，1965年4月生于福建莆田,1980年考入北京航空航天大学本科, 分别于1984年、1987年、1991年在北航获得学士、硕士、博士学位。之后留校工作。1992年底晋升副教授。1993年至1995年应聘在英国伦敦城市大学软件可靠性中心工作, 任Research Fellow, 参加欧共体尤里卡计划软件可信性方面的科研项目。1995年10月晋升北航教授。1998年获国家杰出青年基金资助（计算机学科）。1999年被教育部批准为“长江学者奖励计划”特聘教授（第二批，导航、制导与控制学科）。除英国外，曾在美国、澳大利亚、香港访问工作。担任Fuzzy Sets and Systems国际杂志编委；The International Journal of Software Engineering and Knowledge Engineering和Journal of Systems and Software（特辑）客座主编；(美国) Kluwer Academic Publishers出版社 The Kluwer International Series on Asian Studies in Computer and Information Science 国际丛书主编。并担任多种境外召开的国际学术会议程序委员会委员或主席。
　　主要学术论文发表在多个国际杂志上；两本英文专著《Software Defect and Operational Profile Modeling》和《Introduction to Fuzzy Reliability》分别于1998年和1996年由Kluwer Academic Publishers在美国出版。论著被美、日、俄、意大利等十多个国家和地区约数十位学者引用或发展，其中被SCI它引用百余次。关于软件可靠性的部分研究工作被称为“蔡氏模型”，并被写入Springer出版社出版的英文教材。主要研究领域为软件可靠性与测试、智能系统与控制、软件控制论。

爱学习。

谢谢大家的回贴，

我找到QB软件和QB的教程

因不能上传大于100K的东东，给出链接（要的话自己下载）哈哈，不好意思

QB软件（好）：http://j.wjezz.com.cn/ReadNews.asp?NewsID=6: http://j.wjezz.com.cn/ReadNews.asp?NewsID=6

QB的教程（基础）：http://www.laxjyj.com/teliute/TeacHtm/qbasic/index.htm: http://www.laxjyj.com/teliute/TeacHtm/qbasic/index.htm

谢谢了有心人、大好人。

悲伤的双曲线

我有，给你发一个，界面太小，不好看

无鸣

引用:原帖由 Hamannsun 于 2009-7-3 21:12 发表 : http://bbs.pep.com.cn/redirect.php?goto=findpost&pid=4689004&ptid=491272
我所谓的走一遍就是把自己当成计算机，什么变量之类的都要写在纸上，画表格
每走一步那些变量发生了什么改变都会写出来，基本上就是人肉计算机
对付高中这样的题非常有效，而且往往还能和数列联系起来

一般的程 ...
明白你的意思。看来，我们分别在讨论各自的问题

引用:原帖由 qiusuo8 于 2009-7-3 22:27 发表 : http://bbs.pep.com.cn/redirect.php?goto=findpost&pid=4689133&ptid=491272
谢谢大家的回贴，

我找到QB软件和QB的教程

因不能上传大于100K的东东，给出链接（要的话自己下载）哈哈，不好意思

QB软件（好）：http://j.wjezz.com.cn/ReadNews.asp?New: http://j.wjezz.com.cn/ReadNews.asp?New ...
蜂准确无误

谢谢楼主，帮了我大忙了。这与TC差不多！

我说明一下：各个版本的教材用的语言不同，人教A是Qbasic，人教B是Scilab,其他版本的教材我也不清楚。