购书首页
排行榜
新书&预售
网店大全
考试教材
著名作家
文学
小说
艺术
计算机
外语
少儿
管理
社科
旅游
专题
书名:数理逻辑:英文版·第2版/图灵原版计算机科学系列
(美)恩德滕 著
ISBN:
9787115141453
出版时间:
2006-1-1
出版社:
人民邮电出版社
市场价:¥
39.00
书籍
书店
优惠
市场价
购买价
数理逻辑(英文版第2版)/图灵原版计算机科学系列
全场满30免运费
¥39.00
¥29.20
去逛逛
进入购买
数理逻辑:英文版·第2版/图灵原版计算机科学系列
全场满30免运费
¥39.00
¥29.25
去逛逛
进入购买
数理逻辑(英文版.第2版)
店庆大优惠!!!
¥39.00
¥34.30
去逛逛
进入购买
数理逻辑:第2版
店庆大优惠!!!
¥39.00
¥36.30
去逛逛
进入购买
内容介绍:
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教师可根据教学需要节选本书的内容;反映了近几年来理论计算机科学对逻辑学产生的影响;包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。
作者简介:
数据加载中...
图书目录:
数据加载中...
网友书评:
暂无评论,您是否读过此书?发布评论,成为第一个评论此书的人
你的昵称:
*
分类...
图书
>
英语与其他外语
>
英语读物
>
英文版
>
科普
图书
>
自然科学
>
数学
>
高等数学
你也许会喜欢...
数理逻辑(第2版)/图灵计算机科学丛书
(美)恩德滕|译者:沈复兴//陈磊…
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑…
面向计算机科学的数理逻辑系统建模与推理(英文版第2版)/经典原版书库
作者:(英国) 胡思等著
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着…
集合论基础(英文版)——图灵原版数学·统计学系列
(美)恩德滕 著
集合论是数学的一个基本分支,在数学中占据着独特的地位,其基本概念已渗透到数学的所有…
UML面向对象建模与设计(英文版·第2版)——图灵原版计算机科学系列
(美)巴拉赫,(美)兰宝 著…
本书是“面向对象建模与设计”领域的经典著作,详细论述了面向对象的概念、图形表示法和…
数据结构与算法分析:C语言描述(英文版·第2版)——图灵原版计算机科学系列
计算机科学概论(英文版·第2版)(经典原版书库)
C语言程序设计(英文版第3版)/图灵原版计算机科学系列
C++Primer(英文版·第4版)/图灵原版计算机科学系列
C++ Primer(英文版第3版)/图灵原版计算机科学系列
C++程序设计(英文版·第五版)——图灵原版计算机科学系列
更多《数理逻辑:英文版·第2版/图灵原版计算机科学系列》相关书籍