program design : an alternative approach - PDA版

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

PDA版 - program design : an alternative approach

相关主题
● 说n4电流声大的进来看一下	● 苹果告错对象了
● 血泪斑斑的苹果：iPhone暴利200% 代工厂毛利仅2%	● 有没有个象信息论那样的定理, 指定功率下计算机速度有个上限
● 目测是雷军派来的卧底！	● 为啥我的安卓系统电池里wake 时间是零？
● 一万刀起挺好的	● 没人讨论LG G flex?
● mio的gps 重装以后	● cortana，google now这种具体怎么实现的？
● 我太土了	● 王自如不学中心极限定理么？
● 请问大牛们：如何能把相机里的照片下载到 hp touchpad上，是不是也需	● IGO8 tts的一个问题
● Google Voice和Skype效果比如何？	● Android’s Dirty Secret

相关话题的讨论汇总
话题: approach话题: design话题: program话题: 定理

进入PDA版参与讨论

(共1页)

p***o
发帖数: 15

抛除语义，数学定理的证明，就是一个符合逻辑语法的长句子。句子一端是已知布尔值
为1的公理，定理，或者引理。另一端是预期的结果：命题X 为 1。
软件的一端是已知可用的类库和资源。另一端是预期的结果。
连接这两端，用的也是逻辑规则或者说是形式化的逻辑语法。
解决这两种问题，绝大多数人都是在脑子里用搜索的办法。
软件的设计过程，和寻找数学定理的证明过程非常类似。找一张纸，架构师写出来计
划用的tool chain。另一张纸，应用支持工程师，写出来预期看到的软件的行为的描述。
连接这两张纸的，就是设计工作。一般情况下，搜索逻辑链条的难度不会超过中学数学
。理想计算机中，对一般的任务，中学生就可以找到很多可行的，连接两端的逻辑链条
。设计的难点在于在这些可行的逻辑链条中，找到真实可行的，甚至最优的。这需要对
实际的计算机的资源，以及各种其他不完美的行为有所了解。所以這種活動一般叫做設
計，而不叫尋找。
如何了解这个途径的软件设计办法的不同之处？最好的途径是练习写定理及其证明的程
序，或者符号计算的程序（这两者是一回事）。
假如一个读者看到这里，还没有疑问或者疑义。那麼應該可以同意，程序语言的设计過
程，和寻找数学定理的证明過程也是一样的。
可以写出来和本文同样的，以程序语
言的设计的另類approach為題的另一个短文。

(共1页)

进入PDA版参与讨论

相关主题
● Android’s Dirty Secret	● mio的gps 重装以后
● 看了看amazon的发言，有意思	● 我太土了
● 评测来了 Samsung Galaxy S3 vs Oppo Find 5	● 请问大牛们：如何能把相机里的照片下载到 hp touchpad上，是不是也需
● 现在去apple store order快还是等店里有货快？	● Google Voice和Skype效果比如何？
● 说n4电流声大的进来看一下	● 苹果告错对象了
● 血泪斑斑的苹果：iPhone暴利200% 代工厂毛利仅2%	● 有没有个象信息论那样的定理, 指定功率下计算机速度有个上限
● 目测是雷军派来的卧底！	● 为啥我的安卓系统电池里wake 时间是零？
● 一万刀起挺好的	● 没人讨论LG G flex?

相关话题的讨论汇总
话题: approach话题: design话题: program话题: 定理

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

boards

未名新帖统计// 7月16日

历史上的今天