《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
机器人爱好者-第1辑 本书特色 本书是美国机器人杂志《Servo》精华内容的合集。全书根据主题内容的相关性,进行了精选和重新组织,分为5章。第1章介绍了机器人的...
C++程序设计教程 内容简介 本教材是为高等学校计算机专业、电类和信息类专业学生学习高级语言程序设计而编写的。本教材根据高级语言程序设计的基本体系编写,结合结构...
《狙击步枪大百科(图鉴版)》内容简介:《狙击步枪大百科·图鉴版/现代兵器百科图鉴系列》精选了世界各国研制的数十种经典狙击步枪
《智能风控:原理、算法与工程实践》内容简介:本书以Python作为实现智能风险管理的编程语言,而我个人也十分推崇运用Python分析金
沈括是我国古代历史上一位伟大的科学家。他留下的《梦溪笔谈》一书,成为我国古代科学技术成果的资料库,长期以来,一直受到人们
《创新设计:TRIZ发明问题解决理论》认为发明问题解决理论(TRIZ)对“创新”有明确的定义、有较完整且可操作的原理,很适合我国企
《未来银行全面风险管理》内容简介:本书从历史演进和核心要义两个纬度,对银行经营模式、巴塞尔协议、COSO企业风险管理框架进行了
《成长比成功更重要(增订本)》内容简介:微软亚洲研究院聚集着计算机领域许多世界一流的科学家,他们每一个人都被称为天才,但是
《Excel 2010办公应用实战从入门到精通(超值版)》内容简介:《Excel 2010办公应用实战从入门到精通(超值版)》通过精选案例引导
VisualBasic程序教程设计 内容简介 本书主要有以下特点:1.重点讲解可视化编程方法;传统编程与可视化编程有较大的区别,按传统的“纯”结构化方法编程,自...
MATLAB 2018从入门到精通-中文版-实战案例版 本书特色 1.402集视频讲解。为方便读者学习,本书对书中实例录制了视频,并生成二维码,可以手机扫码看视...
《浮现式设计:专业软件开发的演进本质》主要面向软件开发者群体,尤其是对敏捷开发感兴趣的程序设计人员。浮现式设计是一种敏捷
《鬼谷子的局·第4季:鏖战中原(全两册)》内容简介:战国时期,在一座叫清溪鬼谷的山上(今河南省鹤壁市),隐居着一位被尊称为“
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用 内容简介 本书是针对2019年全国计算机等级二级考试编写的辅导用书。本书严格按照新版...
《计算机导论与实践(第2版)》内容简介:本书以实验的形式讲述了计算机导论实践课程涉及的计算机硬件、操作系统、应用软件、多媒体
250陶瓷创意设计秘籍,ISBN:9787102051017,作者:(英)阿特金著,杨志译作者简介 贾克奎·阿特金(JacquiAtkin)是一位职业陶艺
本书首先回顾了与全书其他内容切实相关的UNIX系统内幕。回顾的目的是增进读者对UNIX操作系统概念的了解,并且定义随后使用的术语
Effective系列丛书经典著作,亚马逊五星级畅销书,Ecma的JavaScript标准化委员会著名专家撰写,JavaScript语言之父、MozillaCT...
《StrutsHibernateSpring集成开发宝典》以Struts,Hibernate,Spring为核心详细地讲解了这三个组件的基础知识和基本使用方法,...
《上下百亿年:太阳的故事》内容简介:《上下百亿年:太阳的故事》将从一次虚拟的古希腊之旅开始,逐步深入地向读者介绍太阳这颗带