《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《中信国学大典:礼记·孝经》内容简介:中信国学大典(50册)是中信出版社引进自香港中华书局的一套深具国际视野、贴近当代社会的
本书首先通过“总体架构”梳理了各个模块的分类、功能和依赖关系,让大家对jQuery的工作原理有大致的印象;进而通过“构造jQuery
AttheheartofJavaScriptisabeautifullittlelanguage.Unfortunately,thatinnerbeautyis...
《你看起来好像……我爱你》内容简介:这是一本写给普通人了解AI的趣味科普,它还有超级可爱的漫画!这本书“非常易读、有料,而且
《ODL技术内幕:架构设计与实现原理》内容简介:这是一本从源代码层面深入剖析ODL的著作,旨在帮助读者在透彻理解ODL的先进架构、设
《一人饮》内容简介:《一人饮》全面记录了当代知名陶艺家董全斌做陶、饮茶和思考的日常,高清呈现其百余幅代表作品,由李宗盛、杨
《竹简《文子》研究之回顾与反思》内容简介:本书共分五个章节,依次为:一、竹简《文子》研究;二、竹简《文字》成书年代反思;三
《全国通信专业技术人员职业水平考试参考用书:通信专业综合能力(初级)》依据《全国通信专业技术人员职业水平考试大纲》要求编写。
《2024年管理类联考(MBA/MPA/MPAcc等)综合能力逻辑精选450题》内容简介:本书主要内容为管理类联考逻辑应试辅导用书,涉及参加MP
在小巧的RaspberryPi(树莓派)上创造各种神奇!资深创客SimonMonk将带你领略RaspberryPi应用程序的开发过程,提供即学即用的手把
《被颠覆的汽车帝国:中国汽车电商与车联网生态报告》内容简介:本书对移动互联网时代下的车企的现状及当代车企的营销活动进行了深
《Python面试通关宝典》内容简介:本书内容分为两篇,第1篇是Python语言面试题,第2篇是算法面试题。Python语言面试题涵盖面试通用
正在发生的未来——手机人的族群与趋势基于独家真实数据盘点2011年中国手机业发展状况,基于独到研究方法解析手机人族群,基于独
《从零开始学做酒店经理》内容简介:酒店经理是酒店服务管理工作中的重要岗位。如何成为一名优秀的酒店经理?如何开展与实施酒店管
《漫步,遇见地道的台北生活》内容简介:本书是介绍轻松愉快的台湾徒步旅游书。作者带你逛仁爱路林荫大道、PEKOE杂货铺、东区茶街、
發明是百分之一的靈感加上百分之九十九的努力「創造突破性產品」中,作者以日常生活中已開發的商品為例,小從蔬果削皮力、手電筒
FromtheinventorofthePalmPilotcomesanewandcompellingtheoryofintelligence,brainfun...
《云计算:大数据时代的系统工程》内容简介:在互联网带来的“大”问题压力下,我们需要全新的思想,通过“积木化”的改变,来重新
Chapter1.IntroductionSection1.1.TheHighPerformanceBuzz-wordChapter2.TheTheoryofC...
《《史记》导论》内容简介:《史记》作为“二十四史”之首,奠定了中国史学的基本格局。在史学、文学等诸多方面,都深刻地影响了后