《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《在内心坍塌之前,找到心灵的出口》内容简介:《在内心坍塌之前,找到心灵的出口》在用丰富的人生经验来提醒你,在用朴实厚重的道
《胡小闹日记升级经典版·学习篇:再见:马虎和拖拉》内容简介:号外,号外! 五(三)班新转来一位“电线杆”——好高、好帅的体校
系统集成项目管理工程师掌中宝 本书特色 全书采用32开本,书藉可装入您的口袋,便于随身携带;正文全用小五号字体,版式精美,印刷清晰;书中知识点全,覆盖整个考试大...
《德古拉》内容简介:德古拉,历史上著名的吸血鬼。自爱尔兰著名小说家布莱姆·斯托克出版《德古拉》以来,已经在全世界享有极高的
JenniferHudsonJenniferHudsonisanauthorinthefieldsofcontemporarydesignandarchitec...
《你不是一座孤岛》内容简介:现实世界中,很多人都会有这样的经历:生活与工作压力大,感觉自己承受了太多,濒临崩溃,却因为各种
《基础会计(第二版)》内容简介:本教材结合会计从业资格考试要求,以会计基本理论、核算方法为依托,以会计实务核心技能为主线,
Excel 2013高效办公财务管理-(附光盘) 本书特色 《excel 2013高效办公——财务管理》以excel 2013在财务管理...
信息处理技术员2014至2019年试题分析与解答 本书特色 历年试题分析与解答是理解考试大纲有效、具体的途径。本书由全国计算机专业技术资格考试办公室汇集了信息处...
《财富自由从0到1》内容简介:个人的财富自由,可以通过资产的多样化配置、改变理财思维和习惯实现。想让自己的财富保值增值,人们
《林汉涛鸡血玉篆刻艺术》内容简介:本书收录了林汉涛2010—2015年间采用硬玉(绝大多数为鸡血玉)创作的篆刻作品六十余件,以及书
关于算法分析的这多卷论著已经长期被公认为经典计算机科学的定义性描述。这一册以及刚刚出版的第4卷第2册揭开了人们急切等待的《
《区块链技术进阶指南》内容简介:本书从区块链发展简史、账本模型、网络、共识、合约引擎及应用等多个方面进行系统介绍,希望帮助
Inthisfollow-uptohisbestsellingbookExperientialMarketing,BerndSchmittintroducest...
《模式分类》(原书第2版)的第1版《模式分类与场景分析》出版于1973年,是模式识别和场景分析领域奠基性的经曲名著。在第2版中,除
Computerscienceasanengineeringdisciplinehasbeenspectacularlysuccessful.Yetitisal...
《国企改革:深圳实践与未来方向》内容简介:改革开放四十年来,国企改革作为经济体制改革的中心环节,在理论上已经达成许多共识,
《这里是故宫》内容简介:只露声音的宫殿君称得上是行走的“故宫资料库”,他以特别“接地气”的方式讲述故宫的建筑黑科技、超级神
《图解新款汽车传感器结构、原理与检修》内容简介:本书在系统介绍传感器结构与测量原理的基础上,系统总结了汽车传感器的结构类型
《创新思维与方法》内容简介:本书共12章,包括创新的基础知识、创新驱动发展、互联网+行动计划、大数据时代的思维变革、发明问题传