计算理论基础: 可计算性、复杂性和语言/(美)戴维斯(Martin D. Davis), (美)西加尔(Ron Sigal), (美)韦约克(Elaine J. Weyuker)

附件:

设置1:戴维斯

设置2:西加尔

设置3:本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性和编程语言的语义等主题。

附注提要

本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性和编程语言的语义等主题。

暂无目录

(0)|| (0)

手机二维条形码

馆藏信息

序号	索书号	码号定位	层架信息	馆藏地点	馆藏状态	借出日期	还回日期	卷册说明
1	TP301/4324	KT0526833		昆明市五华区闻华中学	入藏