出版社:科学出版社出版日期:2001-9ISBN:9787030010674作者:王元元编页数:266页
作者简介
1989年科学出版社出版了《计算机科学中的逻辑学》,该书于1992年获国家优秀教材奖,1997年被国家教委列为“九五“规划重点发展教材。根据教材建设的需要,借本次重印之机,对原书的内容进行了增补,其主要内容包括:形式化和形式系统的概论,命题演算形式系统,各种形式的一阶谓词演算形式系统,直觉主义的一阶谓词演算形式系统等内容。
计算机科学中的现代逻辑学下载 更多精彩书评
农业基础科学,时尚,美术/书法,绘画,软件工程/开发项目管理,研究生/本专科,爱情/情感,动漫学堂PDF下载,。 PDF下载网
PDF下载网 @ 2024