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

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

      发表一个新主题  发表一个新投票  回复主题  (订阅本版) 您是本帖的第 12078 个阅读者浏览上一篇主题  刷新本主题   树形显示贴子　浏览下一篇主题
     * 贴子主题： <计算机形式化方法> 举报  打印  推荐  IE收藏夹 
       本主题类别:     
     sungirl815 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：5
      积分：78
      门派：XML.ORG.CN
      注册：2005/10/16

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

    我计算机系统结构专业研一,跨专业,没学过计算机基础课,在学习<计算机形式化方法>一课时感到吃力,过了第二章就看不懂了,希望了解这门课的朋友帮我介绍一些有关这门课的简易教程什么的.非常感谢!!!

       收藏   分享  
    顶(0)
      




    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/10/16 21:08:00
     
     zhaoming 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(数据结构考了98分!)
      文章：50
      积分：360
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhaoming发送一个短消息 把zhaoming加入好友 查看zhaoming的个人资料 搜索zhaoming在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhaoming的博客第2楼
    发贴心情 
    学习形式化方法,不需要先修其它基础课,但关键是要数学思维能力强.
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/11/8 8:22:00
     
     sungirl815 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：5
      积分：78
      门派：XML.ORG.CN
      注册：2005/10/16

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sungirl815发送一个短消息 把sungirl815加入好友 查看sungirl815的个人资料 搜索sungirl815在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sungirl815的博客第3楼
    发贴心情 
    谢谢你！最近一段时间把课本从头到尾看了两遍，又粗略看了《离散数学》和《数理逻辑导论》,好多了，起码知道那些符号代表什么了。祝你好运！！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2005/11/15 20:59:00
     
     luxian 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：1
      积分：56
      门派：W3CHINA.ORG
      注册：2006/2/15

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给luxian发送一个短消息 把luxian加入好友 查看luxian的个人资料 搜索luxian在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看luxian的博客第4楼
    发贴心情 
    那有重点研究形式语言的么？
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/15 20:18:00
     
     sungirl815 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：5
      积分：78
      门派：XML.ORG.CN
      注册：2005/10/16

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sungirl815发送一个短消息 把sungirl815加入好友 查看sungirl815的个人资料 搜索sungirl815在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sungirl815的博客第5楼
    发贴心情 
    有，有些大学开了这门课程，但是市面上没有统一的教材，好象都是各校自编的讲义。我也蒙蒙的不懂！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/20 19:33:00
     
     mmmyddd 帅哥哟，离线，有人找我吗？
      
      
      等级：大一(高数修炼中)
      文章：15
      积分：136
      门派：XML.ORG.CN
      注册：2006/2/26

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给mmmyddd发送一个短消息 把mmmyddd加入好友 查看mmmyddd的个人资料 搜索mmmyddd在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看mmmyddd的博客第6楼
    发贴心情 
    你可以去图书馆看看，我见过的有
    《计算机语言的形式语义》陆汝钤 科学出版社
    北大 裘宗燕 译 《面向规范的程序设计》
    《程序设计语言的形式语义》
    还有<B方法>那本，
    这些不知对你有没有帮助
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/26 19:50:00
     
     sungirl815 美女呀，离线，快来找我吧！
      
      
      等级：大一新生
      文章：5
      积分：78
      门派：XML.ORG.CN
      注册：2005/10/16

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给sungirl815发送一个短消息 把sungirl815加入好友 查看sungirl815的个人资料 搜索sungirl815在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看sungirl815的博客第7楼
    发贴心情 
    谢谢！！要是早点知道看这些书就好了！试都考完两个月了。呵呵！！
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/2/26 22:14:00
     
     zhaoming 帅哥哟，离线，有人找我吗？
      
      
      等级：大二期末(数据结构考了98分!)
      文章：50
      积分：360
      门派：XML.ORG.CN
      注册：2005/4/22

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给zhaoming发送一个短消息 把zhaoming加入好友 查看zhaoming的个人资料 搜索zhaoming在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看zhaoming的博客第8楼
    发贴心情 
    形式化方法内容太广,不知你们的教材侧重哪些

    如果是理论,有很多种逻辑,很多种自动机,很多种petri net......

    如果是应用,有在硬件\网络协议\网络安全协议\软件......等方面的形式化方法.

    形式化方法研究方向的前沿在于软件形式化,研究目标是为软件开发人员提供一个软件工程之外的开发方法.现在看,困难还很大.

    楼上有人谈到形式语言,近年这方面的研究比较冷,主要是没有找到技术创新需要该理论发展.但识别形式语言的自动机近年还在发展,以适应model checking的需要.

    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/3/7 15:00:00
     
     白兰鸽 帅哥哟，离线，有人找我吗？
      
      
      等级：大一新生
      文章：3
      积分：70
      门派：XML.ORG.CN
      注册：2005/10/6

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给白兰鸽发送一个短消息 把白兰鸽加入好友 查看白兰鸽的个人资料 搜索白兰鸽在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看白兰鸽的博客第9楼
    发贴心情 
    谁研究petri网啊，想和大家交流一下
    点击查看用户来源及管理<br>发贴IP：*.*.*.* 2006/11/1 22:13:00
     
     accueil 帅哥哟，离线，有人找我吗？
      
      
      等级：大二(研究汇编)
      文章：25
      积分：255
      门派：XML.ORG.CN
      注册：2006/11/21

    姓名：(无权查看)
    城市：(无权查看)
    院校：(无权查看)
    给accueil发送一个短消息 把accueil加入好友 查看accueil的个人资料 搜索accueil在『 理论计算机科学 』的所有贴子 引用回复这个贴子 回复这个贴子 查看accueil的博客第10楼
    发贴心情 
    以下是引用sungirl815在2005-10-16 21:08:00的发言：
    我计算机系统结构专业研一,跨专业,没学过计算机基础课,在学习<计算机形式化方法>一课时感到吃力,过了第二章就看不懂了,希望了解这门课的朋友帮我介绍一些有关这门课的简易教程什么的.非常感谢!!!

    我收集了一些英文版的资料，如果有需要，我可以发给你。

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

    本主题贴数10，分页： [1]

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