| |||||||||||||||
| |||||||||||||||
|
|
||||||||||||||
| |||||||||||||||||||||||||||||||
|
>> It is the theory that decides what can be observed. - Albert Einstein |
 [返回] 中文XML论坛 - 专业的XML技术讨论区 →
计算机理论与工程 → 『 理论计算机科学 』 → <计算机形式化方法>
|
◇查看新帖 ◇ 用户列表 ◇ |
  (订阅本版)
|
您是本帖的第 12082 个阅读者
 
|
|
||||||
  等级：大一新生 文章：5 积分：78 门派：XML.ORG.CN 注册：2005/10/16
姓名：(无权查看)
城市：(无权查看) 院校：(无权查看) |
| ||||||||
 2005/10/16 21:08:00 | |||||||||
 等级：大一新生 文章：1 积分：50 门派：无门无派 院校：未填写 注册：2007-01-01 |
| ||||||||
| 2024/5/14 2:02:09 | |||||||||
| 本主题贴数10，分页： [1] |
| *树形目录 （最近20个回帖） |  顶端 |
|---|---|
主题：  <计算机形式化方法>(181字) － sungirl815，2005年10月16日 | |
回复：  [quote][b]以下是引用[i]sungirl815在2005-10-16 21:08:00[..(319字) － accueil，2006年11月21日 | |
| 回复： 谢谢你啊。我的邮箱是bailange587@126.com，请有空把你的资料发给我。十分感激！[e..(93字) － 白兰鸽，2006年11月22日 | |
| 回复： 谁研究petri网啊，想和大家交流一下(33字) － 白兰鸽，2006年11月1日 | |
| 回复： 形式化方法内容太广,不知你们的教材侧重哪些如果是理论,有很多种逻辑,很多种自动机,很多种pet..(443字) － zhaoming，2006年3月7日 | |
| 回复： 你可以去图书馆看看，我见过的有《计算机语言的形式语义》陆汝钤 科学出版社北大 裘宗燕 译 《面..(183字) － mmmyddd，2006年2月26日 | |
| 回复： 谢谢！！要是早点知道看这些书就好了！试都考完两个月了。呵呵！！(62字) － sungirl815，2006年2月26日 | |
| 回复： 那有重点研究形式语言的么？(26字) － luxian，2006年2月15日 | |
| 回复： 有，有些大学开了这门课程，但是市面上没有统一的教材，好象都是各校自编的讲义。我也蒙蒙的不懂！..(92字) － sungirl815，2006年2月20日 | |
| 回复： 谢谢你！最近一段时间把课本从头到尾看了两遍，又粗略看了《离散数学》和《数理逻辑导论》,好多了，起码..(133字) － sungirl815，2005年11月15日 | |
| 回复： 学习形式化方法,不需要先修其它基础课,但关键是要数学思维能力强.(61字) － zhaoming，2005年11月8日 | |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
77.637ms |
新浪微博
