可计算性与数理逻辑
暂无封面,等待上传

可计算性与数理逻辑

(美) 布勒斯 (Boolos,G.S.) 等, 著

出版社:电子工业出版社

年代:2003

定价:33.0

书籍简介:

本书主要论述了可计算机性理论、基础元逻辑及一些高级专题。该书在每章末尾还增加了习题,并重新组织和改写了某些章节,以使各章更加相互独立,增加了教师授课的灵活性,进而扩大了本书的使用范围。

书籍规格:

书籍详细信息
书名可计算性与数理逻辑站内查询相似图书
丛书名国外计算机科学教材系列
9787505388284
如需购买下载《可计算性与数理逻辑》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位电子工业出版社
版次1版印次1
定价(元)33.0语种英文
尺寸26装帧平装
页数 372 印数 5000

书籍信息归属:

可计算性与数理逻辑是电子工业出版社于2003.06出版的中图分类号为 O141 的主题关于 数理逻辑-教材-英文 ,可计算性-理论-教材-英文 的书籍。