《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《CSS+DIV网页样式与布局案例指导》是网页设计的一大改革。DIV分块实现了HTML文档内部结构的划分,CSS层叠样式表则为网页提供了丰
电子商务网站建设与管理 本书特色 《电子商务网站建设与管理》特色:遵循“理论够用、注重应用”原则,把培养学生的动手能力与岗位实践能力放在首位,注重实际项目开发能...
《C++沉思录》集中反映了C++的关键思想和编程技术,不仅告诉你如何编程,还告诉你为什么要这样编程。本书曾出现在众多的C++专家推
《心学之思》内容简介:有关王阳明研究的一部佳作。作者从一个新的视野出发,对阳明心学展开多维度的阐释,思路开阔,创见颇多,具
《房地产经纪操作实务》内容简介:刘志东主编的《房地产经纪操作实务》一书是根据中华人民共和国住房和城乡建设。部委托中国房地产
《绘画的捷径》内容简介:本书共14章,前半部分内容主要包括为什么画、画什么、绘画基础、有效练习、人体造型等内容,使读者有一个
《阿里铁军销售法》内容简介:如何用一个小动作引发客户兴趣? 客户不愿意签,怎么让他回心转意? 如何抓住最佳成交时机? 优质客户
Python密码学编程 本书特色 python是一种高级程序设计语言,因其简洁、易读及可扩展性日渐成为程序设计领域备受推崇的语言。同时,python语言在算法领...
信息智能分析实验 本书特色 本书为高等院校经济管理实验实践系列教材。该书主要介绍了Excel工具和数据分析;Excel数据整理方面的实验以及Excel数据分析功...
Areyoustilldesigningwebsiteslikeits1999?Ifso,youreinforasurprise.Sincethelastedi...
《商业预测》内容简介:本书提供了一套完整的商业预测模型,该模型吸收了国外优秀预测机构的理念,如为谷歌、英特尔、微软等公司提
《AddingAjax中文版》讲述了如何在现有的Web应用程序中添加Ajax,为传统的Web应用程序带来更好的交互性,从而为应用程序附加更大
日本机器人学会日本机器人学会成立于1983年1月28日,是追求学术领域上的发展,并提供专家发表研究及交流技术的平台。学会以推广机
本書將配色這個大黑箱加以整理,以「色彩的抽屜」當作構成本書的想法,將一條一條規則與圖片對照做簡單易懂的解說。當為配色感到
《MySQL DBA修炼之道》内容简介:本书的作者是互联网一线的数据库开发、运维专家,书中的内容是其对10多年工作中所遇问题的思考和总
生产系统仿真——plant simulation 应用教程 本书特色 周金平编著的《生产系统仿真——plantsimulation应用教程》的一个显著...
智能材料是一种能感知外部刺激,能够判断并适当处理且本身可执行的新型功能材料。智能材料与智能结构有着巨大的潜在的应用前景,
MarkRichards是一位造诣颇深的作者和会议演讲者,他是金融服务行业的实战型SOA和企业体系结构师。除了发表大量文章之外,他还是《
会声会影X4从新手到高手-1DVD多媒体教学光盘 本书特色 本书主要特点内容全面实用 >选择*实用、*常用的知识,力求您“学的知识都用得上”,让您的学习不做无用...
《淘宝天猫开店必备技能速查速用手册》内容简介:《淘宝天猫开店必备技能速查速用手册》系统、全面地介绍了在淘宝和天猫平台上开店