《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
C++程序设计教程 内容简介 本教材是为高等学校计算机专业、电类和信息类专业学生学习高级语言程序设计而编写的。本教材根据高级语言程序设计的基本体系编写,结合结构...
《中国人的情商口才圣经》内容简介:《中国人的情商口才圣经》共10个板块49章,以“情商养成养育”为纲,“智商水平、情智倾听、成
内容简介:怎样才能将访问者转化为顾客?本书提供了一些切实可行的建议,比如如何说服访问者作出购买决定,如何避免用户因信息过
Thereisalwaysamarketforgooddesign!我的工作就是让人爱上品牌!CocaCola、Starbucks、IBM……全球品牌设计大师 ...
《Photoshop电商设计与装修从新手到高手》内容简介:本书是一本系统讲解Photoshop电商设计与装修的教程。主要讲述了Photoshop电商设
中文版Photoshop CC标准教程(视频教学版)(附光盘) 本书特色 本书以实用、够用为原则,按照平面设计工作的实际需求组织内容。全书共17章,其中第1~1...
《从维熙自选集》内容简介:从维熙的作品,无论小说还是散文,都演绎着中国历史以及作者个人的深切感悟。本书精选了他优秀且极具代
网络管理员教程-全国计算机技术与软件专业技术资格(水平)考试指定用书-(第4版) 本书特色本书按照全国计算机技术与软件专业技术资格(水平)考试要求编写,内容紧扣...
《高可用MySQL(第2版)》内容简介:本书主要讲解真实环境下如何使用MySQL的复制、集群和监控特性,揭示MySQL可靠性和高可用性的方
本书多年来一直深受世界各国高校师生的欢迎,是美国哈佛大学、麻省理工学院、普林斯顿大学、加州大学伯克利分校等许多著名大学的
《简说IPv6》内容简介:本书详细讨论了与IPv6技术相关的内容,包括互联网的概念、历史、发展与演变,我国IPv6的发展与机遇,以及IP
佐藤可士和(KashiwaSato),艺术指导,创意指导。1965年生于东京。1989年毕业于多摩艺术大学,毕业后进入日本知名广告公司“博报
Weliveinagoldenageofdatavisualization,inwhichdesignersarerespondingtotheinformat...
《深入理解计算机网络》是计算机网络领域的扛鼎之作,由有20余年从业经验的优秀网络技术工程师兼全国网管技能水平开始认证专家王
《AJAXHACKS中文版:创建快速响应Web站点的工具和技巧》完全挖掘出了Ajax技术的优点,以手把手的方式教您如何揭开Ajax的神秘面纱。
《深入浅出HTML5编程(影印版)(英文)》就是你的特快车票,它可以带你学习如何使用今天的标准同时也会是明日的最佳实践来搭建Web应
矿山水害空间数据挖掘与知识发现的支持向量机理论与方法 内容简介 本书分为理论与应用两大部分, 在理论部分对支持向量机的训练参数、核函数及核参数的选择进行了探讨,...
《景观设计手绘表现》内容简介:《景观设计手绘表现——线稿与马克笔上色技法》针对景观设计手绘马克笔快速表现技法进行有针对性的
《玩转Django 2.0》内容简介:本书是一本Python Web的技术总结,主要以Python 3和Django 2.0版本实现。通过本书的学习,读者能够透
《我在清华等你来(第四辑)》内容简介:百年清华,莘莘学子心向往之!清华学生无疑是同龄人中的佼佼者,鲜花绽放的背后是长期的积