计算机科学的数学基础/周经野, 刘任任

附件:

设置1:

设置2:刘任任

设置3:本书包括形式语言与自动机理论、科技算理论、逻辑学、程序设计理论四部分, 介绍语言与正规语言、有限自动机、正规集的性质、命题逻辑与一阶逻辑、直觉主义逻辑、模态逻辑、程序的指称语义、程序的公理语义等二十章。

摘要:有书目 (第343页)

附注提要

本书包括形式语言与自动机理论、科技算理论、逻辑学、程序设计理论四部分, 介绍语言与正规语言、有限自动机、正规集的性质、命题逻辑与一阶逻辑、直觉主义逻辑、模态逻辑、程序的指称语义、程序的公理语义等二十章。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息

索书号	条码号	登录号	馆藏地点	馆藏状态	借出日期	还回日期	流通类型	预约处理	卷册说明
TP301.6/8	00155491	0	综合文献室	入藏			中文图书