关于我们
书单推荐
新书推荐
|
数理逻辑引论(第二版)
本书涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书既能适用于计算机专业又能满足数学系基础数学专业,为了适合不同层次的读者,在内容上有深有浅。本书适合数学系大学生、数学系教师以及数学爱好者阅读。
你还可能感兴趣
我要评论
|