陆汝钤的图书会按更新时间持续补充，适合从代表作和同主题书继续延展阅读。
计算系统的形式语义
陆汝钤
评分 暂无
计算系统的形式语义是目前计算机科学理论研究的两大方向之一，其研究成果对程序设计语言、编译技术、应用软件、分布式系统等分支领域有重大的实际意义。本书大体上分为三个部分。第一部分是数学基础，为第一章。第二部分包括第二到第五章，概述了形式语义中的操作语义、指称语义、公理语义和代数语义四大经典流派。第三部分包括第六到第九章，概述了形式语义学的现代应用， 分别介绍分布式系统、移动计算和移动通信系统、非
人工智能（中国院士文库）
陆汝钤编著
国家教委计算机软件专业教材编委会推荐教材之一 人工智能作为独立的学科已经有了几十年的历史，最近10年发展尤为迅速。本书较为全面地介绍了人工智能的各个分支，全书分上、下两册。 上册集中介绍当代人工智能的两大支柱：知识表示和搜索技术。前者以演绎系统、产生式系统、框架结构、语义网络和过程性知识表示为中心；后者涉及盲目搜索、启发式搜索、博弈树搜索以及状态空间搜
