《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《PHP+MySQL程序设计实例讲座》以深入浅出的讲解引导您熟悉PHP的语法,针对文件访问、GD绘图与图片处理、表单、Cookie、Session、
《智能制造消费品工业方案(轻工篇)》内容简介:2015年以来,消费品工业各行业积极开展智能化改造升级,工业和信息化部认定了一批
创业需要好的设计,精益创业的用户体验设计是一种更快更智能的用户体验设计方法。本书讲述了众多精益用户体验设计的特点,通过多
Designerscreateworldsandsolveproblemsusingdesignthinking.Lookaroundyourofficeorh...
《大学物理教程》是教育部“高等教育面向21世纪教学内容和课程体系改革计划”的研究成果,是“面向21世纪课程教材”、高等教育“
数据通信设备中心液体冷却指南A105 内容简介 该书共6章,分别从数据中心设施冷却装置、管路系统、数据通信设备液冷方法、冷水系统基本要求及冷液基础设施对工艺冷却...
《做C4D Cinema 4D电商视觉设计教程》内容简介:本书共包含8章内容,从熟悉软件操作开始,使用一个个精美的案例进行全流程讲解,细
《现代性的谱系》内容简介:本书从错综复杂的现代性图谱中抽离出“世俗趣味”“工具理性”“个性表现”三种典型取向,并将“自由主
《普通高等教育"十一五"国家级规划教材•21世纪高等学校电子信息工程规划教材•信息科学与电子工程专业英语》旨在培养学生在专业英
人体通信的建模、仿真与实现 本书特色宋勇、郝群*的《人体通信的建模仿真与实现》主要结合作者已完成和正在进行的研究工作,系统阐述人体通信的建模、仿真及实现问题,具...
《企业文化管理(第四版)》内容简介:本书在吸收国内外有关企业文化研究最新成果的基础上,完整地阐述了企业文化的基本内涵、体系
《浮世绘百景》内容简介:◎云集16位浮世绘巨匠,包括葛饰北斋、歌川广重、河锅晓斋、小林清亲等,从江户时代跨越到明治时代,一窥
本书将带领读者从头开始制作一门语言的编译器。笔者特意为本书设计了CЬ语言,CЬ可以说是C语言的子集,实现了包括指针运算等在内
《CSS与HTMLWeb设计实践指南》主要介绍如何利用CSS和HTML技术进行Web设计。《CSS与HTMLWeb设计实践指南》首先从Web技术的发展和基
《上海企业教育实务研究》内容简介:企业教育是在企业这个特定的工作领域内,由企业所开展的、以满足企业内需和战略发展为主的各类
《都市 漫游 成长(英文版)》内容简介:《都市 漫游 成长:E·L·多克托罗小说中的“小小都市漫游者”研究(英文版)》以美国后现
《C++并发编程实战(第2版)》内容简介:这是一本介绍C++并发和多线程编程的深度指南。本书从C++标准程序库的各种工具讲起,介绍线
《2020—2021年中国互联网产业发展蓝皮书》内容简介:本书从推动互联网与实体经济深度融合和全面展现中国互联网发展的生动实践的角
《超级网红:这么玩才赚钱》内容简介:“网红经济”日益发酵,成为资本市场“风口上的飞猪”。2016年,网红经济呈现爆发式增长,利
手游与社交游戏是一个生机勃勃、令人兴奋的产业,飞速发展的互联网与相关技术,成就了一个又一个广为流传、收益丰厚的游戏产品。