当前在线人数12230
首页 - 分类讨论区 - 电脑网络 - 葵花宝典版 -阅读文章
未名交友
[更多]
[更多]
文章阅读:program design : an alternative approach
[同主题阅读] [版面: 葵花宝典] [作者:guvest] , 2019年10月11日01:35:41
guvest
进入未名形象秀
我的博客
[上篇] [下篇] [同主题上篇] [同主题下篇]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: program design : an alternative approach
发信站: BBS 未名空间站 (Fri Oct 11 01:35:41 2019, 美东)

抛除语义,数学定理的证明,就是一个符合逻辑语法的长句子。句子一端是已知布尔值
为1的公理,定理,或者引理。另一端是预期的结果:命题X 为 1。
软件的一端是已知可用的类库和资源。另一端是预期的结果。
连接这两端,用的也是逻辑规则或者说是形式化的逻辑语法。
解决这两种问题,绝大多数人都是在脑子里用搜索的办法。

软件的设计过程,和寻找数学定理的证明过程非常类似。找一张纸,架构师写出来计
划用的tool chain。另一张纸,应用支持工程师,写出来预期看到的软件的行为的描述。
连接这两张纸的,就是设计工作。一般情况下,搜索逻辑链条的难度不会超过中学数学
。理想计算机中,对一般的任务,中学生就可以找到很多可行的,连接两端的逻辑链条
。设计的难点在于在这些可行的逻辑链条中,找到真实可行的,甚至最优的。这需要对
实际的计算机的资源,以及各种其他不完美的行为有所了解。所以這種活動一般叫做設
計,而不叫尋找。

如何了解这个途径的软件设计办法的不同之处?最好的途径是练习写定理及其证明的程
序,或者符号计算的程序(这两者是一回事)。

假如一个读者看到这里,还没有疑问或者疑义。那麼應該可以同意,程序语言的设计過
程,和寻找数学定理的证明過程也是一样的。

可以写出来和本文同样的,以程序语
言的设计的另類approach為題的另一个短文。




--
※ 修改:·guvest 於 Oct 11 01:48:19 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

[上篇] [下篇] [同主题上篇] [同主题下篇]
[转寄] [转贴] [回信给作者] [修改文章] [删除文章] [同主题阅读] [从此处展开] [返回版面] [快速返回] [收藏] [举报]
 
回复文章
标题:
内 容:

未名交友
将您的链接放在这儿

友情链接


 

Site Map - Contact Us - Terms and Conditions - Privacy Policy

版权所有,未名空间(mitbbs.com),since 1996