《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《极简办公》内容简介:本书主要面向职场新人,详细讲解Word的使用技巧,并提供配套的视频讲解,帮助职场新人快速掌握工作中所需要
《数学家养成计划》内容简介:这本书,通过图文结合的方式,力图培养青少年的数学兴趣,普及知识。书中,每个知识点、理论或术语都
《Access数据库实用教程习题与实验指导(第2版)》内容简介:本书是《Access数据库实用教程(第2版)》一书的配套教材,全书分为“
ProductDescriptionWhatdoesitmeantobeadesignerintoday’scorporate-driven,overbrand...
《R语言数据分析与挖掘实战》内容简介:本书共16章,分三个部分:基础篇、实战篇、提高篇。基础篇介绍了数据挖掘的基本原理,实战篇
《物联网与智慧养老》内容简介:本书深入剖析当今我国人口老龄化与产业发展,从老龄化发展背景和智慧养老入手,结合物联网技术支撑
《灾害康复医学》内容简介:全书内容包括绪论、灾害伤员早期医学救援、灾害伤员康复治疗(物理治疗、作业治疗、假肢矫形)、灾害伤
《程序化广告实战》内容简介:本书由浅至深,专注于剖析“程序化广告实战”业务,讲解了程序化广告的原理,并分析了产业上下游的发
《互联网口述历史第1辑·英雄创世记(全8册)》内容简介:“互联网口述历史”项目发起于2007年,专注于全球互联网领域关键人物口述
《为书作嫁》内容简介:本书是“日知文丛”之一。是南京大学古典文献研究所所长程章灿教授历年所写的50篇书评、序跋、随笔集。全书
《自我催眠术(第2版)》内容简介:本书旨在解决日益严重的心理亚健康问题。针对疲劳感、失眠、冷漠、怯场、焦虑、压力、孤独、强迫
make是unix和其他操作系统上最持久的工具之一。自1970年问世以来,make至今仍旧是大多数程序开发项目的核心工具,它甚至被用来编
数据库系统工程师考试大纲 本书特色 数据库系统工程师是计算机技术与软件专业技术资格(水平)考试“信息系统”类的中级资格,于2020年审定通过并于2021年使用。...
所有伟大的设计,都是在艺术美、可靠性、安全性、易用性、成本和性能之间寻找平衡与和谐。《好用型设计》是设计学领域权威力作,
网页设计(DW/FL/PS)从新手到高手-(随书赠送光盘1张) 本书特色 本书是一本网页设计学习宝典,全书通过150多个实战案例,以及250多分钟全程同步语音教...
《先锋及其语境》内容简介:在新时期以来中国当代电影的发展过程中,一直存在着在主流电影演进过程中,与主流的社会文化语境和电影
本书由国际著名设计大师EllenLupton出品,是一本以产品案例的展示和分析为主的图文并茂的工业设计类图书。全书篇幅虽然不长,但却
SpringIntegrationisaJava-basedenterpriseintegrationframeworkthatprovidesalightwe...
《漫画流体力学》以轻松有趣、通俗易懂的漫画及故事的方式将抽象、复杂的流体力学知识融会其中,让人们在看故事的过程中就能完成
Y染色体由于其单倍体特性和群体特异性分布,成为分子人类学研究最有力的工具。利用Y染色体可以很好地解析种族的起源、民族的分化