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

    >> It is the theory that decides what can be observed. - Albert Einstein
    [返回] 计算机科学论坛 → 计算机理论与工程 → 『 理论计算机科学 』 → 小庄：数理逻辑课程前言[原创] ◇查看新帖 ◇ 用户列表 ◇

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 199890 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： 小庄：数理逻辑课程前言[原创] 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     klrx 帅哥哟，离线，有人找我吗？处女座1987-9-7
      
      
      等级：大一新生
      文章：5
      积分：94
      门派：XML.ORG.CN
      注册：2006/8/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给klrx发送一个短消息 把klrx加入好友 查看klrx的个人资料 搜索klrx在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看klrx的博客第21楼
    发贴心情 

    我们也学逻辑啊
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/17 14:33:00
     
     accueil 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：25
      积分：255
      门派：XML.ORG.CN
      注册：2006/11/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给accueil发送一个短消息 把accueil加入好友 查看accueil的个人资料 搜索accueil在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看accueil的博客第22楼
    发贴心情 
    以下是引用chzhuang在2006-2-13 21:09:00的发言：
    6、使用教材和参考书：
    1、Hamilton, logic for mathematicians, Cambridge University Press,1978(国内影印本，清华大学出版社，2003)
    相应中译本：哈密尔顿著，骆如枫等译，《数学家的逻辑》，商务印书馆，1989年
    2、胡世华、陆钟万著，《数理逻辑基础》，科学出版社，1981
    3、陆钟万著，《面向计算机科学的数理逻辑》，科学出版社，1998
    4、S.C.Kleene著，莫绍揆译，《元数学导论》，科学出版社，1985（数理逻辑与递归函数的关系有较深入展开）
    5、Lassaigne, et al., logic and complexity, Springer, 2004（较新，关于逻辑与复杂性有较深入展开）


    2、胡世华、陆钟万著，《数理逻辑基础》，科学出版社，1981
    ～～～～～～～～～～～～～～～～～～～～～～～～～～～～～
    这本教材超棒，上下册，内容详细、证明清楚，可惜没有再版。

    撇开人工智能的应用，但从计算机的形式化应用的角度来说，这两本教材非常值得推荐：
    1。Logic, Sets and Recursion by Robert L. Causey
    2。Logic in Computer Science :Modelling and Reasoning about Systems

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/21 16:58:00
     
     accueil 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：25
      积分：255
      门派：XML.ORG.CN
      注册：2006/11/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给accueil发送一个短消息 把accueil加入好友 查看accueil的个人资料 搜索accueil在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看accueil的博客第23楼
    发贴心情 
    以下是引用chzhuang在2006-2-26 20:53:00的发言：
    问得好呀，哲学逻辑与数理逻辑一百年前是一家，当时近现代以来，分得越来越清楚了。比如金岳霖和胡世华分别是国内哲学逻辑和数理逻辑的先驱者。
    这些逻辑系统近于哲学逻辑的范围，而不属于构造性的计算逻辑。关于非经典逻辑，主要是模态逻辑（时态逻辑）在计算机科学方面有比较多的应用。至于其他非经典逻辑，可能还有待发展他们的可计算性吧。现在的AI杂志上，关于非单调逻辑和扩充逻辑程序的研究还是很热门的，或许还有关于信念修正。很多的研究还是首先基于命题逻辑的。
    补充一下，关于上文，后来有一篇发表到中山大学逻辑研究所的文章，我阐述了次协调（或弗协调）逻辑系统其也是语法等价于某一协调逻辑系统的。次协调系统的否定符与经典系统里的经典否定符并不相同。因为一个符号必须放在整个系统中进行整体的理解。弗雷格说过这个意思。


    赞中山大学逻辑研究所！可能是目前国内做逻辑做得最好的一个研究所了，鞠实儿、李小伍等人都非常不错。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/21 17:03:00
     
     huxinhuwei 帅哥哟，离线，有人找我吗？魔羯座1980-12-27
      
      
      等级：大一(猛啃高等数学)
      文章：25
      积分：186
      门派：IEEE.ORG.CN
      注册：2007/3/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给huxinhuwei发送一个短消息 把huxinhuwei加入好友 查看huxinhuwei的个人资料 搜索huxinhuwei在『 理论计算机科学 』的所有贴子 点击这里发送电邮给huxinhuwei  引用回复这个贴子 回复这个贴子 查看huxinhuwei的博客第24楼
    发贴心情 
    好强啊...我是研究教育心理学的..来这里主要是找一些逻辑中心(大脑七个智力中心之一)的大致框架....
    我自已的一个归类,灵长类动物(以人为例).逻辑智力归类于"理科"(与此对应为"文科),有两个部分.
    一是计算能力(以数理化为主),
    二是"交通"能力(生物的活动范围,由这个"妈"生下的几个"儿子":机械,控制,通信).

    听了老师们的讲解,思路有一些清晰.而且比较突破的是,将社会学和心理学(归类于"文科"),和逻辑智力中心的联系比较清楚.(自已也有一些思考,但不清晰)....

    渴望与各位老师交流.(具体看个人说明,QQ12974855)

    ----------------------------------------------
    洞悉人性的弱点,缺少硬汉的气派!~

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/3/20 11:03:00
     
     csphd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：66
      门派：XML.ORG.CN
      注册：2007/4/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给csphd发送一个短消息 把csphd加入好友 查看csphd的个人资料 搜索csphd在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看csphd的博客第25楼
    发贴心情 
    数理逻辑的分支越来越多了,计算机科学最关注的是时序逻辑
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/4/18 9:48:00
     
     tj-figo 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究C++)
      文章：40
      积分：263
      门派：XML.ORG.CN
      注册：2005/10/18

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给tj-figo发送一个短消息 把tj-figo加入好友 查看tj-figo的个人资料 搜索tj-figo在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看tj-figo的博客第26楼
    发贴心情 
    好文！不过遗憾的是，我还没有正式接受过逻辑方面的课程，也就在离散数学中学过一些基础的东西。我们这边都没这门课的，自己也觉得逻辑很重要，借了一本数理逻辑的书看，由于是英文的，看起来很费劲，至今还没有看多少。庄老师还有其他众高手能否推荐一本好的教材呀？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/5/15 22:37:00
     
     lovelove 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：12
      积分：145
      门派：XML.ORG.CN
      注册：2006/5/7

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给lovelove发送一个短消息 把lovelove加入好友 查看lovelove的个人资料 搜索lovelove在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lovelove的博客第27楼
    发贴心情 
    陆钟万著，《面向计算机科学的数理逻辑》，科学出版社，1998

    这本书也算挺不错的！不过我学习得不够深入！

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/8/3 13:10:00
     
     wjwenoch 帅哥哟，离线，有人找我吗？
      
      
      等级：大三(要不要学学XML呢?)
      文章：101
      积分：744
      门派：W3CHINA.ORG
      注册：2006/2/13

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给wjwenoch发送一个短消息 把wjwenoch加入好友 查看wjwenoch的个人资料 搜索wjwenoch在『 理论计算机科学 』的所有贴子 访问wjwenoch的主页 引用回复这个贴子 回复这个贴子 查看wjwenoch的博客第28楼
    发贴心情 
    以下是引用Logician在2006-3-15 0:16:00的发言：
    用非形式的东西去突破形式系统，这没有什么奇怪。
    这一论点的立足点是：计算机本身是非形式的（虽然它的理论模型，如TM，是形式的）。把计算机这个非形式的东西形式化，虽然更利于理论上的处理，但在某些方面，也影响了我们对“计算”本质的理解。也就是说，“计算”未必只是Turing或Goedel所理解那样。他们对“计算”的理解，是受Hilbert的形式主义影响，要求每个步骤都一定要是“确定”的。但这一要求是否那么必不可少呢？如果去掉这个要求，Church-Turing命题不再是那样坚不可催了。

    上述观点见于2004年TCS上发表的一篇论文[Carol E. Cleland, The Concept of Computability, Theoretical Computer Science, 2004, 317:219-225]。
    Interesting.  PFPF.


    ----------------------------------------------
    一个人炫耀什么，就表示他缺乏什么。

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/8/17 9:19:00
     
     科学在线 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：2
      积分：69
      门派：XML.ORG.CN
      注册：2007/8/17

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给科学在线发送一个短消息 把科学在线加入好友 查看科学在线的个人资料 搜索科学在线在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看科学在线的博客第29楼
    发贴心情 
    以前总觉得计算机理论研究老停留在上世纪今天才知道理论这东西离我们越来越近迫切需要理论创新来改善现有理论框架
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/8/19 20:19:00
     
     huxinhuwei 帅哥哟，离线，有人找我吗？魔羯座1980-12-27
      
      
      等级：大一(猛啃高等数学)
      文章：25
      积分：186
      门派：IEEE.ORG.CN
      注册：2007/3/20

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给huxinhuwei发送一个短消息 把huxinhuwei加入好友 查看huxinhuwei的个人资料 搜索huxinhuwei在『 理论计算机科学 』的所有贴子 点击这里发送电邮给huxinhuwei  引用回复这个贴子 回复这个贴子 查看huxinhuwei的博客第30楼
    发贴心情 
    讲的太有深度了。。。

    ----------------------------------------------
    洞悉人性的弱点,缺少硬汉的气派!~

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2007/9/9 11:04:00
     
     GoogleAdSense魔羯座1980-12-27
      
      
      等级：大一新生
      文章：1
      积分：50
      门派：无门无派
      院校：未填写
      注册：2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 点击这里发送电邮给Google AdSense  访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/4/19 6:09:48

    本主题贴数44，分页： [1] [2] [3] [4] [5]

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