新书推介:《语义网技术体系》
作者:瞿裕忠,胡伟,程龚
   XML论坛     W3CHINA.ORG讨论区     计算机科学论坛     SOAChina论坛     Blog     开放翻译计划     新浪微博  
 
  • 首页
  • 登录
  • 注册
  • 软件下载
  • 资料下载
  • 核心成员
  • 帮助
  •   Add to Google

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 中文XML论坛 - 专业的XML技术讨论区计算机理论与工程『 理论计算机科学 』 → sir: 理论计算机科学漫谈 (zz) 查看新帖用户列表

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 81322 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: sir: 理论计算机科学漫谈 (zz) 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     Logician 帅哥哟,离线,有人找我吗?天蝎座1984-10-28
      
      
      威望:9
      头衔:逻辑爱好者
      等级:研三(收到IBM CRL的Offer了)(版主)
      文章:1219
      积分:10357
      门派:IEEE.ORG.CN
      注册:2005/3/12

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给Logician发送一个短消息 把Logician加入好友 查看Logician的个人资料 搜索Logician在『 理论计算机科学 』的所有贴子 点击这里发送电邮给Logician  访问Logician的主页 引用回复这个贴子 回复这个贴子 查看Logician的博客楼主
    发贴心情 sir: 理论计算机科学漫谈 (zz)

    发信人: sir (sir), 信区: Mathematics
    标  题: 理论计算机科学漫谈(1)
    发信站: 南大小百合 (Thu Nov 30 11:08:08 2000) , 转信

    早就答应russel的,今天有点时间,把欠债还上。


    计算机科学和数学的关系有点奇怪。二三十年以前,计算机科学基本上还是数学的一个分
    支。而现在,计算机科学拥有广泛的研究领域和众多的研究人员,在很多方面反过来推动
    数学发展,从某种意义上可以说是孩子长得比妈妈还高了。


    但不管怎么样,这个孩子身上始终流着母亲的血液。这血液是the mathematical underpi
    nning of computer science(计算机科学的数学基础),-- 也就是理论计算机科学。


    现代计算机科学和数学的另一个交叉是计算数学/数值分析/科学计算,传统上不包含在理
    论计算机科学以内。所以本文对计算数学全部予以忽略。

    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]

    发信人: sir (sir), 信区: Mathematics
    标  题: 理论计算机科学漫谈(2)
    发信站: 南大小百合 (Thu Nov 30 11:23:19 2000) , 转信

    最常和理论计算机科学放在一起的一个词是什么?答:离散数学。这两者的关系是如此密
    切,以至于它们在不少场合下成为同义词。


    传统上,数学是以分析为中心的。数学系的同学要学习三四个学期的数学分析,然后是复
    变,实变,泛函等等。实变和泛函被很多人认为是现代数学的入门。在物理,化学,工程
    上应用的,也以分析为主。


    随着计算机科学的出现,一些以前不太受到重视的数学分支突然重要起来。人们发现,这
    些分支处理的数学对象与传统的分析有明显的区别:分析研究的对象是连续的,因而微分
    ,积分成为基本的运算;而这些分支研究的对象是离散的,因而很少有机会进行此类的计
    算。人们从而称这些分支为“离散数学”。“离散数学”的名字越来越响亮,最后导致以
    分析为中心的传统数学分支被相对称为“连续数学”。


    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]

    发信人: sir (sir), 信区: Mathematics
    标  题: 理论计算机科学漫谈(3)
    发信站: 南大小百合 (Thu Nov 30 11:30:37 2000) , 转信


    离散数学经过几十年发展,基本上稳定下来。一般认为,离散数学包含以下学科:


    1) 集合论,数理逻辑与元数学。这是整个数学的基础,也是计算机科学的基础。


    2) 图论,算法图论;组合数学,组合算法。计算机科学,尤其是理论计算机科学的核心是
    算法,而大量的算法建立在图和组合的基础上。


    3) 抽象代数。代数是无所不在的,本来在数学中就非常重要。在计算机科学中,人们惊讶
    地发现代数竟然有如此之多的应用。

    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]

    发信人: sir (sir), 信区: Mathematics
    标  题: 理论计算机科学漫谈(4)
    发信站: 南大小百合 (Thu Nov 30 11:44:35 2000) , 转信

    但是,理论计算机科学仅仅就是在数学的上面加上“离散”的帽子这么简单吗?一直到大
    约十几年前,终于有一位大师告诉我们:不是。


    D.E.Knuth(他有多伟大,我想不用我废话了)在Stanford开设了一门全新的课程Concrete
    Mathematics。 Concrete这个词在这里有两层含义:


    第一,针对abstract而言。Knuth认为,传统数学研究的对象过于抽象,导致对具体的问题
    关心不够。他抱怨说,在研究中他需要的数学往往并不存在,所以他只能自己去创造一些
    数学。为了直接面向应用的需要,他要提倡“具体”的数学。


    在这里我做一点简单的解释。例如在集合论中,数学家关心的都是最根本的问题--公理系
    统的各种性质之类。而一些具体集合的性质,各种常见集合,关系,映射都是什么样的,
    数学家觉得并不重要。然而,在计算机科学中应用的,恰恰就是这些具体的东西。Knuth能
    够首先看到这一点,不愧为当世计算机第一人。


    第二,Concrete是Continuous(连续)加上discrete(离散)。不管连续数学还是离散数学,
    都是有用的数学!

    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]

    发信人: sir (sir), 信区: Mathematics
    标  题: 理论计算机科学漫谈(5)
    发信站: 南大小百合 (Thu Nov 30 12:09:50 2000) , 转信

    前面主要是从数学角度来看的。从计算机角度来看,理论计算机科学目前主要的研究领域
    包括:可计算性理论,算法设计与复杂性分析,密码学与信息安全,分布式计算理论,并
    行计算理论,网络理论,生物信息计算,计算几何学,程序语言理论等等。这些领域互相
    交叉,而且新的课题在不断提出,所以很难理出一个头绪来。

    下面随便举一些例子。


    由于应用需求的推动,密码学现在成为研究的热点。密码学建立在数论(尤其是计算数论)
    ,代数,信息论,概率论和随机过程的基础上,有时也用到图论和组合学等。


    很多人以为密码学就是加密解密,而加密就是用一个函数把数据打乱。这就大错特错了。
    现代密码学至少包含以下层次的内容:


    第一,密码学的基础。例如,分解一个大数真的很困难吗?能否有一般的工具证明协议正
    确?


    第二,密码学的基本课题。例如,比以前更好的单向函数,签名协议等。


    第三,密码学的高级问题。例如,零知识证明的长度,秘密分享的方法。


    第四,密码学的新应用。例如,数字现金,叛徒追踪等。

    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]

    发信人: sir (sir), 信区: Mathematics
    标  题: 理论计算机科学漫谈(6)
    发信站: 南大小百合 (Thu Nov 30 12:18:32 2000) , 转信


    在分布式系统中,也有很多重要的理论问题。


    例如,进程之间的同步,互斥协议。一个经典的结果是:在通信信道不可靠时,没有确定
    型算法能实现进程间协同。所以,改进TCP三次握手几乎没有意义。


    例如时序问题。常用的一种序是因果序,但因果序直到不久前才有一个理论上的结果....
    ..


    例如,死锁没有实用的方法能完美地对付。


    例如,......

    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]

    发信人: sir (sir), 信区: Mathematics
    标  题: 关于死锁 Re: 理论计算机科学漫谈(6)
    发信站: 南大小百合 (Fri Dec  1 07:40:11 2000) , 转信

    【 在 pie (燃烧吧,小宇宙!) 的大作中提到: 】

    : 【 在 probe (农民) 的大作中提到: 】

    : 我简单地觉得与“熵”这个东西有关


    没有这么复杂。关键在效率:对付死锁的方法,例如死锁检测,都非常严重地减低效率,
    以至于得不尝失,因为死锁并不是一种经常出现的现象。所以在全局上,一般都用所谓“
    鸵鸟算法”,也就是假装什么都不会发生。在局部上,例如你要设计一个访问共享数据的
    算法,那么你就要证明你的算法在局部上是deadlock free。至于它会不会导致全局的死锁
    ,就烦不了许多了。


    --
    ---------------------------------------------------------------------

                         梦里不知身是客, 一晌偷欢

    ---------------------------------------------------------------------
    ※ 来源:.南大小百合 http://bbs.nju.edu.cn [FROM: 130.132.21.12]


       收藏   分享  
    顶(2)
      




    ----------------------------------------------
    Three passions, simple but overwhelmingly strong, 
    have governed my life: the longing for love, the
    search for knowledge, and unbearable pity for the
    suffering of mankind.
                                - Bertrand Russell

    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2005/3/17 1:03:00
     
     xsliang 帅哥哟,离线,有人找我吗?金牛座1983-4-30
      
      
      等级:大一(猛啃高等数学)
      文章:13
      积分:111
      门派:IEEE.ORG.CN
      注册:2005/8/9

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给xsliang发送一个短消息 把xsliang加入好友 查看xsliang的个人资料 搜索xsliang在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看xsliang的博客2
    发贴心情 
    这个以前没有看过,还不错
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/1/12 0:56:00
     
     hotsummer 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:0
      积分:58
      门派:XML.ORG.CN
      注册:2005/10/28

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给hotsummer发送一个短消息 把hotsummer加入好友 查看hotsummer的个人资料 搜索hotsummer在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看hotsummer的博客3
    发贴心情 
    比较感兴趣
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/1/24 21:33:00
     
     qzlzj 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:6
      积分:82
      门派:XML.ORG.CN
      注册:2006/1/27

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给qzlzj发送一个短消息 把qzlzj加入好友 查看qzlzj的个人资料 搜索qzlzj在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看qzlzj的博客4
    发贴心情 
    看了一下,有点兴趣!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/1/27 22:30:00
     
     w3cxxwz 帅哥哟,离线,有人找我吗?
      
      
      等级:大二(研究C++)
      文章:57
      积分:280
      门派:XML.ORG.CN
      注册:2005/10/28

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给w3cxxwz发送一个短消息 把w3cxxwz加入好友 查看w3cxxwz的个人资料 搜索w3cxxwz在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看w3cxxwz的博客5
    发贴心情 
    好!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/2/26 18:48:00
     
     mmmyddd 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(高数修炼中)
      文章:15
      积分:136
      门派:XML.ORG.CN
      注册:2006/2/26

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给mmmyddd发送一个短消息 把mmmyddd加入好友 查看mmmyddd的个人资料 搜索mmmyddd在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看mmmyddd的博客6
    发贴心情 
    好贴
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/2/26 19:24:00
     
     linanyuan 帅哥哟,离线,有人找我吗?处女座1981-9-12
      
      
      等级:大一新生
      文章:0
      积分:55
      门派:XML.ORG.CN
      注册:2006/3/8

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给linanyuan发送一个短消息 把linanyuan加入好友 查看linanyuan的个人资料 搜索linanyuan在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看linanyuan的博客7
    发贴心情 
    不错
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/16 9:46:00
     
     sun2002 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:3
      积分:70
      门派:XML.ORG.CN
      注册:2005/5/24

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给sun2002发送一个短消息 把sun2002加入好友 查看sun2002的个人资料 搜索sun2002在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sun2002的博客8
    发贴心情 
    支持一下
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/3/21 23:31:00
     
     linrd 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:15
      积分:186
      门派:XML.ORG.CN
      注册:2006/3/28

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给linrd发送一个短消息 把linrd加入好友 查看linrd的个人资料 搜索linrd在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看linrd的博客9
    发贴心情 
    基本同意。
    >>例如死锁检测,都非常严重地减低效率,
    >>以至于得不尝失,因为死锁并不是一种经常出现的现象。所以在全局上,一般都用所谓>>鸵鸟算法”,也就是假装什么都不会发生。在局部上,例如你要设计一个访问共享数据>>的算法,那么你就要证明你的算法在局部上是deadlock free。至于它会不会导致全局>>的死锁,就烦不了许多了。
    但对于关键应用,用形式化方法(如用model checking方法)来证明相关的性质是很重要的。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/4/3 17:25:00
     
     doubleman 帅哥哟,离线,有人找我吗?
      
      
      等级:大二(研究C++)
      文章:27
      积分:227
      门派:XML.ORG.CN
      注册:2006/4/5

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给doubleman发送一个短消息 把doubleman加入好友 查看doubleman的个人资料 搜索doubleman在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看doubleman的博客10
    发贴心情 
    讲得很好。如果能更详细一点就更爽啦!
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/4/9 16:29:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/10/31 23:45:33

    本主题贴数11,分页: [1] [2]

    管理选项修改tag | 锁定 | 解锁 | 提升 | 删除 | 移动 | 解固 | 总固顶 | 奖励 | 惩罚 | 发布公告
    W3C Contributing Supporter! W 3 C h i n a ( since 2003 ) 旗 下 站 点
    苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
    101.563ms