以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  传本数理逻辑的入门材料吧  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=36276)

--  作者：wanggou
--  发布时间：8/1/2006 8:46:00 AM

--  传本数理逻辑的入门材料吧
感觉描述逻辑没有数理逻辑基础，基本是看的云里雾里，索性给大伙点基础读物，言简意赅，该讲的都讲到。
看贴要回贴啊，大家讨论讨论嘛



[此贴子已经被作者于2006-8-1 10:53:35编辑过]
--  作者：lixin_lichuan
--  发布时间：8/1/2006 8:16:00 PM

--  
谢谢无私奉献！
--  作者：superc_7
--  发布时间：8/2/2006 12:25:00 PM

--  
多谢lz啦
不过是英文的……
--  作者：lixin_lichuan
--  发布时间：8/5/2006 2:22:00 PM

--  
谢谢！！
--  作者：tangtang
--  发布时间：8/6/2006 10:32:00 PM

--  
谢谢，读文章时发现好多符号都不知道是什么意思！
--  作者：sophia-rener
--  发布时间：8/7/2006 2:44:00 PM

--  
谢谢，我也是啊，刚刚接触好多符号看不懂啊．
--  作者：wzf63
--  发布时间：8/14/2006 2:04:00 PM

--  
还以为是中文的呢
--  作者：yyy718
--  发布时间：8/15/2006 9:12:00 AM

--  
谢谢！
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
 62.500ms