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

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

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 10641 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子 浏览下一篇主题
     * 贴子主题: 面向计算机科学的数理逻辑 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     飞鹰战士 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:8
      积分:92
      门派:XML.ORG.CN
      注册:2006/10/3

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给飞鹰战士发送一个短消息 把飞鹰战士加入好友 查看飞鹰战士的个人资料 搜索飞鹰战士在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看飞鹰战士的博客楼主
    发贴心情 面向计算机科学的数理逻辑

    那位仁兄有数理逻辑方面的材料啊!现在小弟正在学习数理逻辑这门课程,教材是陆钟万老师著的《面向计算机科学的数理逻辑》第二版。习题做完了也不知道是对是错。在此我向各位好朋友求助,不知哪位朋友有这本书的答案,请告诉我。本人不胜感激!谢谢各位了!

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/10/8 23:32:00
     
     www163com_zj 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:0
      积分:58
      门派:XML.ORG.CN
      注册:2006/10/31

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给www163com_zj发送一个短消息 把www163com_zj加入好友 查看www163com_zj的个人资料 搜索www163com_zj在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看www163com_zj的博客2
    发贴心情 
    我也要阿
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2006/10/31 21:37:00
     
     莲开净水 帅哥哟,离线,有人找我吗?
      
      
      等级:大一新生
      文章:4
      积分:79
      门派:XML.ORG.CN
      注册:2007/8/20

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给莲开净水发送一个短消息 把莲开净水加入好友 查看莲开净水的个人资料 搜索莲开净水在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看莲开净水的博客3
    发贴心情 
    我也想要
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/8/30 21:16:00
     
     shwang 帅哥哟,离线,有人找我吗?射手座1983-12-21
      
      
      等级:大一新生
      文章:3
      积分:69
      门派:IEEE.ORG.CN
      注册:2007/10/5

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给shwang发送一个短消息 把shwang加入好友 查看shwang的个人资料 搜索shwang在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看shwang的博客4
    发贴心情 
    我也想要,不过好像没有~
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/10/5 12:54:00
     
     wu5zg 帅哥哟,离线,有人找我吗?
      
      
      等级:大二(研究C++)
      文章:48
      积分:219
      门派:XML.ORG.CN
      注册:2007/9/30

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给wu5zg发送一个短消息 把wu5zg加入好友 查看wu5zg的个人资料 搜索wu5zg在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看wu5zg的博客5
    发贴心情 
    我也想看看,我最近也在学这本书。
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/10/6 19:10:00
     
     lxs85 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:13
      积分:122
      门派:IEEE.ORG.CN
      注册:2006/12/31

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给lxs85发送一个短消息 把lxs85加入好友 查看lxs85的个人资料 搜索lxs85在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看lxs85的博客6
    发贴心情 
    最近才把书买回来才把第一章看了,
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/12/25 16:33:00
     
     fs_xxzx 帅哥哟,离线,有人找我吗?
      
      
      等级:大一(猛啃高等数学)
      文章:7
      积分:117
      门派:XML.ORG.CN
      注册:2007/12/3

    姓名:(无权查看)
    城市:(无权查看)
    院校:(无权查看)
    给fs_xxzx发送一个短消息 把fs_xxzx加入好友 查看fs_xxzx的个人资料 搜索fs_xxzx在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看fs_xxzx的博客7
    发贴心情 
    这本书怎么样呀,具体介绍一下.
    点击查看用户来源及管理<br>发贴IP:*.*.*.* 2007/12/27 11:16:00
     
     GoogleAdSense
      
      
      等级:大一新生
      文章:1
      积分:50
      门派:无门无派
      院校:未填写
      注册:2007-01-01
    给Google AdSense发送一个短消息 把Google AdSense加入好友 查看Google AdSense的个人资料 搜索Google AdSense在『 理论计算机科学 』的所有贴子 访问Google AdSense的主页 引用回复这个贴子 回复这个贴子 查看Google AdSense的博客广告
    2024/5/12 14:01:52

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

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