| 查看: 1033 | 回复: 8 | ||||
| 当前主题已经存档。 | ||||
[交流]
【讨论】形式化方法
|
||||
|
形式化方法是理论计算机研究的一个课题,但它的难让许多人望而却步. 本人就想搭建一个平台,让大家来认识/讨论/学习它 [ Last edited by bslt on 2009-11-10 at 08:09 ] |
回复此楼» 收录本帖的淘帖专辑推荐
 并发软件测试 |
» 猜你喜欢
有没有人能给点建议
已经有5人回复
-
假如你的研究生提出不合理要求
已经有12人回复
-
实验室接单子
已经有7人回复
-
全日制（定向）博士
已经有5人回复
-
萌生出自己或许不适合搞科研的想法，现在跑or等等看？
已经有4人回复
-
Materials Today Chemistry审稿周期
已经有4人回复
-
参与限项
已经有3人回复
-
对氯苯硼酸纯化
已经有3人回复
-
所感
已经有4人回复
-
要不要辞职读博？
已经有7人回复
2楼2009-09-28 08:50:58
3楼2009-09-29 08:08:10
4楼2009-10-11 23:02:56
5楼2009-10-11 23:03:28
6楼2009-11-04 13:16:08
继续努力
★ ★ ★
bslt(金币+3,VIP+0):感谢热心交流，鼓励一下！ 11-10 08:06
bslt(金币+3,VIP+0):感谢热心交流，鼓励一下！ 11-10 08:06
|
先发个范畴论方面的书吧 我感觉这个书是很好的  这是某一篇MIT上Category theory Lecture的开篇词.Category theory实质上没有太大的难度,但是它会涉及到其他数学分支的内容，比如说拓扑,域论.但是实际上和Computer Science想关的内容实际上绝大部分就包含在大学的数学基础课抽象代数或者离散数学里.找一本离散数学的书把如下的定义复习一遍,就足以进入Category theory的学习了: 1.集合论(这个地球银都知道吧) 2.关系/二元关系/等价关系/对称关系/传递关系/反对称关系 3.函数与各种映射(满,单,双) 4.格论:预序,偏序,界,半格,格,有界格 5.群论:半群,幺半群,群,群同态/同构 抽代方面的基础知识也就这么多,花个半天就能把这些基础知识温习一边乐.除此之外还需要看一些基于Typed-lambda calculus的程序语言.比如Haskell,OCaml.大学里学习基础数学的最让人头疼的问题就是从来不知道这些数学知识除了考试以外还有啥用.Category theory与程序语言,类型系统的关联很大,他是现在Computer science最重要工具之一.我们在谈论OO的时候，在谈论开放封闭原则的时候这些原则到底说的是什么？这也是现在Category theory中比较热门的研究点之一.当然这种学以致用的理念恐怕也就是在老外的教科书里才能找到了.我去年主要看的是这四本书 1. 这本书非常的基础,难度不高适合入门,但是缺点就是有些概念不是那么严谨.与计算机相关的部分也少 2. 这本书是讲述Category Theory的专题的数学著作,很厚涉及与Category theory的方方面面.但是这本书有一个特点就是在讲述一个定义的时候会举出很多的例子帮助你理解它.这是其他几本书所没有的. 3. 这本书是通过ML这个语言来讲解Category Theory与Computer Sicence的实践性结合来说是几本书最好的. 4. 从Category Theory与Computer Sicence的理论结合来说是非常棒的一本书,而且使用的术语概念也非常的严谨.但是读这本书是一个非常巨大的挑战,这本书的对象是计算机科学的硕士生很多本科生缺乏的数学知识他都是默认为基础知识，而且书中定理命题的证明的跳跃性相当大,有部分地方如果还有比较严重的印刷错误.但是我学的基本上是以这本书为主线，遇到不懂的跳跃的地方再参考另外三本再回过头来看就会比较明白. 5. category theory for computer science 这本书很好。可惜没有找到网络版本。 [ Last edited by whg.whu on 2009-11-7 at 09:26 ] |
7楼2009-11-07 09:20:36
8楼2009-11-07 09:29:01
9楼2009-11-10 08:08:58
10楼2011-09-01 10:06:14