数理逻辑引论（修订版） 李涛 哈尔滨工业大学出版社 9787560358635
¥26.00定价：¥26.00
¥13.50定价：¥19.80 (6.82折)
数理逻辑引论（修订版）,李涛，张岩，刘峰编,哈尔滨工业大学出版社
¥56.00定价：¥3960 (0.15折)
数理逻辑引论 (高等学校理工科数学类规划教材) 肖奚安 朱梧槚 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥18.24定价：¥84.72 (2.16折)
¥13.70定价：¥19.80 (6.92折)
数理逻辑引论 李涛 主编 【速开发票，优质售后，支持7天无理由退换】
数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。 《数理逻辑引论》可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的科技人员参考。本书由李涛、张岩、刘峰主编。
¥37.00定价：¥162.00 (2.29折)
¥132.70定价：¥168.00 (7.9折)
数理逻辑引论 (高等学校理工科数学类规划教材) 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥17.77定价：¥83.31 (2.14折)
编者根据多年讲授该课的讲义整理而成《数理逻辑引论》，以此实现我们的初衷：一是希望能使学生在大学本科期间把数理逻辑的基本内容掌握好，使他们在学习其他相关课程或阅读相关文献资料时，不至于对其中的数理逻辑知识产生困难；二是希望通过对逻辑演算的讲解，即命题逻辑演算和一阶谓词逻辑演算的讲解，使学生感受到逻辑演算在计算机科学中的重要应用，更重要的是通过严格的形式化、公理化的逻辑推理方法，培养学生的抽象思维能力、逻辑推理能力和严密的分析问题与解决问题的能力。本书由李涛、张岩、刘峰主编。
¥56.00定价：¥192.00 (2.92折)
数理逻辑引论 李涛 主编 9787560334110 哈尔滨工业大学出版社 【速开发票，优质售后，支持7天无理由退换】
数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。 《数理逻辑引论》可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的科技人员参考。本书由李涛、张岩、刘峰主编。
¥41.00定价：¥82.00 (5折)
数理逻辑引论 书籍非全新，8-99成新左右(实拍图以图片为准发货)
¥32.40
数理逻辑引论:计算机科学与系统的天然基础9787030732385 正版新书知其然图书专营店 正版图书保证质量 七天无理由退货让您购物无忧
¥132.70定价：¥168.00 (7.9折)
现代数学基础丛书·典藏版83:数理逻辑引论与归结原理【正版图书】 正版书籍，满额减，电子发票
¥121.00定价：¥243.00 (4.98折)
数理逻辑引论 王宪钧 著 北京大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
¥74.25定价：¥150.50 (4.94折)
数理逻辑引论王宪钧 著北京大学出版社9787301000984 正版旧书，保证质量，此书为单本而非一套，电子发票！
¥68.00定价：¥239.00 (2.85折)
数理逻辑引论 王宪钧 北京大学出版社 9787301000984
¥59.00定价：¥59.00
数理逻辑引论/李涛 哈尔滨工业大学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥15.00定价：¥19.80 (7.58折)
正版数理逻辑引论与归结原理 二版2版 王国俊 著 现代数学基础丛书典藏版 科学出版社
¥87.00定价：¥97.00 (8.97折)
数理逻辑引论 王宪钧著 北京大学出版社 正版图书,下单速发,可开发票
¥90.00定价：¥181.00 (4.98折)
数理逻辑引论 王宪钧 北京大学出版社 9787301000984 正版图书,下单速发,可开发票
¥90.00定价：¥181.00 (4.98折)
数理逻辑引论——计算机科学与系统的天然基础 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥123.50定价：¥168.00 (7.36折)
明星店铺 文轩网旗舰店
数理逻辑引论 李涛 主编 哈尔滨工业大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
数理逻辑是离散数学的重要组成部分之一，是计算机科学的数学基础。《数理逻辑引论》内容主要侧重于逻辑演算，即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其他分支的共同基础。全书共分5章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演算形式系统的组成、基本定理及其性质定理；一阶谓词逻辑演算形式系统的基本概念、组成、基本定理及其性质定理、一阶语言的语义等。 《数理逻辑引论》可用作高等院校计算机专业离散数学的教材或教学参考书，也可供从事计算机科学、人工智能方面的科技人员参考。本书由李涛、张岩、刘峰主编。
¥33.75定价：¥67.50 (5折)
现代数学基础丛书·典藏版83:数理逻辑引论与归结原理 王国俊 著 科学出版社【售后无忧】 正版图书，下单前请先咨询客服，欢迎选购！
¥91.23定价：¥192.46 (4.75折)
¥108.80定价：¥168.00 (6.48折)
数理逻辑引论/李涛 哈尔滨工业大学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥14.30定价：¥19.80 (7.23折)
明星店铺 文轩网旗舰店
数理逻辑引论 王宪钧 著 北京大学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
¥71.55定价：¥143.10 (5折)
数理逻辑引论 王宪钧著 北京大学出版社 正版图书,下单速发,可开发票
¥90.00定价：¥181.00 (4.98折)
¥15.00定价：¥19.80 (7.58折)
数理逻辑引论朱梧〓、肖奚安 编著南京大学出版社9787305027802 正版旧书，保证质量，此书为单本而非一套，电子发票！
¥24.50定价：¥152.00 (1.62折)
数理逻辑引论——计算机科学与系统的天然基础 科学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥123.50定价：¥168.00 (7.36折)
数理逻辑引论王宪钧北京大学出版社9787301036587 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书是著名数理逻辑哲学家王宪钧教授的代表作，共分三篇，前两篇“命题演算”和“狭谓词演算”，讲述数理逻辑基础知识。作者对基本概念的讲解、定理和无定理的证明都详细易懂，第三篇是关于数理逻辑发展的简史，作者论述了从莱布尼茨到歌德尔的数理逻辑发展的三个阶段，指出了数理逻辑的五个特点，并就一些重要的数学问题发表了自己的见解。本书内容涉及数学、哲学、逻辑学、语言学以及科学史等诸多问题。适用于哲学、数理工作者。
¥164.50定价：¥461.90 (3.57折)
数理逻辑引论 (高等学校理工科数学类规划教材) 肖奚安 朱梧槚 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥17.47定价：¥82.41 (2.12折)
数理逻辑引论 (高等学校理工科数学类规划教材) 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥17.88定价：¥83.64 (2.14折)
数理逻辑引论与归结原理 第二版第2版 王国俊 著 现代数学基础丛书典藏版 科学出版社全新 正版图书，可开发票
¥97.40定价：¥98.00 (9.94折)
数理逻辑引论 王宪钧 著 北京大学出版社 正版图书,下单速发,可开发票
¥91.50定价：¥184.00 (4.98折)
数理逻辑引论——计算机科学与系统的天然基础 刘志明，裘宗燕 科学出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 85%城市次日送达 关注店铺可享店铺优惠!
¥129.70定价：¥168.00 (7.73折)
【速发】数理逻辑引论—计算机科学与系统的天然基础 刘志明,裘宗燕 科学出版社 9787030732385 可开发票，正版现货，支持7天无理由退换货
¥111.00定价：¥168.00 (6.61折)
数理逻辑引论 王宪钧 著 北京大学出版社 正版图书,下单速发,可开发票
¥92.00定价：¥185.00 (4.98折)
数理逻辑引论/李涛 哈尔滨工业大学出版社 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥14.30定价：¥19.80 (7.23折)
数理逻辑引论:计算机科学与系统的天然基础9787030732385 正版新书七鲤鱼图书专营店 正版图书保证质量 七天无理由退货让您购物无忧
¥132.70定价：¥168.00 (7.9折)
¥51.70定价：¥69.00 (7.5折)
数理逻辑引论 王宪钧著 北京大学出版社 正版图书,下单速发,可开发票
¥89.50定价：¥180.00 (4.98折)
数理逻辑引论 李涛 张岩 刘峰 哈尔滨工业大学出版社 无 9787560361468
¥13.80定价：¥13.80
数理逻辑引论:计算机科学与系统的天然基础刘志明科学出版社9787030732385蔚蓝书店 全新正版图书 七天无理由退货 团购优惠 正规发票
¥132.70定价：¥168.00 (7.9折)
数理逻辑引论 朱梧槚,肖奚安 编著 大连理工大学出版社【正版书籍】 【热销推荐，正版现货，全国三仓就近发货，物流快捷，欢迎选购！】
¥22.20定价：¥47.35 (4.69折)
数理逻辑引论与归结原理 王国俊 著 科学出版社 【速开发票，此书为单本而非一套，支持7天无理由退换】
《数理逻辑引论与归结原理》在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第3部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明。第4部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。《数理逻辑引论与归结原理》可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。
¥45.90定价：¥93.80 (4.9折)
¥108.10定价：¥128.00 (8.45折)
数理逻辑引论 (高等学校理工科数学类规划教材) 【正版保证】 【店主推荐，正版书放心购买，可开发票】
本书版于99年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥21.19定价：¥93.57 (2.27折)
¥115.90定价：¥168.00 (6.9折)
数理逻辑引论【达额立减】 线上线下同步销售，请咨询客服查询库存后下单，避免纠纷。
¥105.00定价：¥220.00 (4.78折)
¥70.70定价：¥98.00 (7.22折)
【按需印刷】-数理逻辑引论与归结原理(第二版) 按需印刷商品，发货时间20天，非质量问题不接受退换货。
POD产品说明：1. 本产品为按需印刷（POD）图书，实行先付款，后印刷的流程。您在页面购买且完成支付后，订单转交出版社。出版社根据您的订单采用数字印刷的方式，单独为您印制该图书，属于定制产品。2. 按需印刷的图书装帧均为平装书（含原为精装的图书）。由于印刷工艺、彩墨的批次不同，颜色会与老版本略有差异，但通常会比老版本的颜色更准确。原书内容含彩图的，统一变成黑白图，原书含光盘的，统一无法提供光盘。3. 按需印刷的图书制作成本高于传统的单本成本，因此售价高于原书定价。4. 按需印刷的图书，出版社生产周期一般为15个工作日（特殊情况除外）。请您耐心等待。5. 按需印刷的图书，属于定制产品，不可取消订单，无质量问题不支持退货。
¥98.00定价：¥98.00
数理逻辑引论 王宪钧著 北京大学出版社 正版图书,下单速发,可开发票
¥90.00定价：¥181.00 (4.98折)
数理逻辑引论/李涛 李涛 著作 新华书店正版，关注店铺成为会员可享店铺专属优惠，团购客户请咨询在线客服！
¥15.00定价：¥19.80 (7.58折)
数理逻辑引论——计算机科学与系统的天然基础,科学出版社【新华书店总店旗舰店】 新华正版全新 正规发票 多仓就近发货 85%城市次日送达！团购优惠咨询：13284178503
¥128.35定价：¥336.00 (3.82折)
数理逻辑引论肖奚安 编；朱梧槚大连理工大学出版社9787561140338 正版旧书，保证质量，此书为单本而非一套，电子发票！
本书第一版于1991年在南京大学出版社出版，当时撰写的主要目的是将本书写成一本既能适用于计算机专业又能满足数学系基础数学专业和数理逻辑专业教学需要的基础教材，并在内容上要求有深有浅。其中较浅部分可作为本科生教学使用，而较深部分可作为研究生教学使用。经过近20年的教学实践并不断改进，可以说是成功地实现了当初撰写之目标，因此在一些院校一直沿用至今。2008年大连理工大学出版社计划出版优秀理工科本科、研究生系列教材，经过仔细分析、评估后，编著了本书。本书可作高等院校教材，也供自学使用。
¥31.50定价：¥166.00 (1.9折)
数理逻辑引论——计算机科学与系统的天然基础 刘志明，裘宗燕 科学出版社 【新华书店正版图书书籍】 正版全新书籍 正规发票 多仓就近发货 关注店铺可享店铺优惠
¥132.00定价：¥168.00 (7.86折)
数理逻辑引论:计算机科学与系统的天然基础 刘志明,裘宗燕 科学出版社 【新华书店全新书籍】 电子发票 正版保证 多仓就近发货
¥117.80定价：¥168.00 (7.02折)
【(＾－＾)V可开发票，量大优惠】数理逻辑引论：计算机科学与系统的天然基础/刘志明 裘宗燕
¥242.00定价：¥242.00
数理逻辑引论与归结原理 (英文版)_科学出版社9787030228994蔚蓝书店 全新正版图书 七天无理由退货 团购优惠 正规发票
暂无相关内容;
¥101.10定价：¥128.00 (7.9折)
