1) 人工智能中的机器学习和知识获取就与模型论有差。一个扩展知识的工作由机器来完成，有什么方法能够保证加入新知识后原有体系是无矛盾的呢？用模型论的语言来说，一个具有模型的逻辑系统如何扩张
1) (在对于数学的基础问题和数学与逻辑的关系的争论中，产生了三个学派)逻辑主义学派：逻辑先于数学。数学能够不用引入外加的原始词项和外加的假定而完全从纯逻辑得到。这一学派的思想主要体现在
名为读书笔记，其实是对书中让我感觉很受用的一些话的摘抄。《计算科学导论》是厦大的赵致琢老师写给计算机科学专业本科生看的书。上研究生以后，我一直在思考计算机科学的内涵和自己应该选择怎样的道路。看了这本书
下载地址： 这是我这学期数据库课程的大作业。前两星期周四，周五，周六白天学车，晚上回来迷迷糊糊地写着这坨代码。。 共计４１８５行代码。 用的是自己封装的WIN32 API库。所以有很多代
[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3
http://images.amazon.cn/m/md_71210160280830077-fm.jp
[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3
[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3
[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3
[url=http://www.wangchao.net.cn/shop/redir.html?url=http%3A%2F%2Fai.m.taobao.com%2Fsearch.html%3Fq%3