《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《ExtJS源码分析与开发实例宝典》从ExtJS实现的基本功能开始讲解,从两个方面对ExtJS进行整体上的概述,让读者从宏观上去把握Ext
《邓石如篆书千字文》内容简介:篆书一直以中锋用笔为正宗,形成了铁线篆、玉箸篆这样略显工艺化的成熟书体。早年邓石如临习“二李
《近代中国军政关系与“军阀”话语研究(增订本)》内容简介:军阀话语有趣、有用,富于学术研究价值。百余年来,中外相关研究不绝
本书是一本介绍Windows系统上的用户态程序排错方法和技巧的书。本书分为4个章节,先介绍最重要的、通用的思考方法,以便制定排错
《中国原生文明启示录(上册):国家开端》内容简介:这是一本理清中国前3000年文明史的书。3000年,华夏族群历经了7大时代——五帝
《阅读的艺术》内容简介:阅读,不怕从零开始,只怕从未开始 《阅读的艺术》辑录了著名出版人、作家聂震宁的六十余篇关于阅读、书籍
TheGNUAutotoolsmakeiteasyfordeveloperstocreatesoftwarethatisportableacrossmanyUn...
《盛唐政治制度研究》内容简介:各种制度处于不断的变动之中是唐朝政治制度的显著特点。这种变动不仅涉及一些具体制度,而且牵涉到
《谁是下一百个亿万富翁》内容简介:这是一个最好的时代,无数有梦想的创业者将在这场已经爆发的移动互联网革命中缔造新的创富神话
《C语言深度解剖:解开程序员面试笔试的秘密》由作者结合自身多年嵌入式c语言开发经验和平时讲解C语言的心得体会整理而成,其中有
2001经典原版翻拍曝光+DIY怀旧未裁切毛边本+两款随机赠送海报亚太设计年鉴常客、德国IF传达设计奖、红点传达设计奖、台湾金曲奖最
和孩子一起玩编程 本书特色 《和孩子一起玩编程》分成书和卡片两部分,卡片相当于书的图片版,是供不能独立阅读本书的孩子使用的,使用方式是家长看书来讲解,孩子看卡片...
《蔬果岁时记》内容简介:青葱、竹笋、苦瓜、南瓜、青梅、文旦、甘蔗、橙子……这些绿色蔬果,天然代表了健康和环保,体现了中华美
《实用语义网RDFS与OWL高效建模(英文版)》是语义网的入门教程,详细讲述语义网的核心内容的语言,包括语义网的概念、语义建模等。
《荷塘月色:朱自清精读》内容简介:《荷塘月色:朱自清精读》是“壹本”系列之一,从当下读者爱读、想读和需要读的角度,精选著名
Adobe Illustrator CS5中文版经典教程 本书特色 adobe公司推出的权威经典教程畅销全球17年的著名品牌图书在全世界以27种语言火爆发行Ad...
《中华历史一百人(中英对照)》内容简介:《中华历史一百人(中英对照)》是通过讲述人的故事来反映中国历史和文化的一次尝试。因
《数据驱动:从方法到实践》内容简介:本书是从理论到实践的全面且细致的企业数据驱动指南,从作者的百度大数据工作说起,完整还原
《理赔,你应该这样做》内容简介:保险理赔是判断保险产品质量、实现保险产品价值的关键,在保险的实际理赔过程中,对大多数非法律
《ATT&CK与威胁猎杀实战》内容简介:本书主要介绍ATT&CK框架与威胁猎杀。第1部分为基础知识,帮助读者了解如何收集数据以及如何通过