人工智能. 下册.pdf
本书是国家教委计算机软件专业教材编委会推荐教材之一． 人工智能作为独立的学科已有近40年的历史，最近十几年已趋于成熟．本书较为全面地介绍了人工智能的各个分支，全书分上、下两册．上册集中介绍人工智能的两大支柱：知识表示和搜索技术．下册介绍非经典逻辑和推理，定理证明，
陆汝钤
计算机语言的形式语义.pdf
本书概述了形式语义学中的操作语义、指称语义、公理语义和代数语义四大流派的主要内容，并辟一章集中讨论了并发和分布式语义。
人工智能. 上册.pdf
本书是国家教委计算机软件专业教材编委会推荐教材之一． 人工智能作为独立的学科已经有了30年的历史，最近10年发展尤为迅速．本书较为全面地介绍了人工智能的各个分支，全书分上、下两册．上册集中介绍当代人工智能的两大支柱：知识表示和搜索技术．前者以演绎系统、产生式系统、