经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
计算机组成(第6版) 书籍
经典好书《计算机组成(第6版)》读书内容简介:完全建立在“计算机是由层次结构组成的,每层完成规定的功能”这一概念之上。作者对本版进行了彻底的更新,以反映当今最重要的计算机技术以及计算机组成和体系结构方面的最新进展。书中详细讨论了数字逻辑层、微体系结构层、指令系统层、操作系统层和汇编语言层,并涵盖...详情
经典好书《Tableau商业分析从新手到高手》读书内容简介:内较早的一本Tableau中文书《触手可及的大数据分析工具:Tableau案例集》。该书经过了多次重印,发行甚广。看到书籍如此受欢迎,我们很受鼓舞,于是推出了这本书。《Tableau商业分析从新手到高手》共分为四个部分,分别是产品主题分...详情
从来就没有救世主 书籍
经典好书《从来就没有救世主》读书内容简介:基本指南是“中国应该如何发展市场经济”;他对我国“经济转型缓慢”“市场化改革倒退”“权贵资本主义”有尖锐的批评,并旗帜鲜明地反对凯恩斯主义,认为凯恩斯主义会害了中国经济。他很可能是目前国内对宏观经济政策持批评意见最坚决的经济学家。作者简...详情
主体的生成机制 书籍
经典好书《主体的生成机制》读书内容简介:我的生成机制。全书将重点放在对十七年诸多电影文本的细读上,在身体生产与国家认同这个维度中,去试图打捞、审视并重读这些被遗漏在重读视野之外的,只能够在电影史的叙述中被偶尔提及和简要概述的影片,从而力图在一定程度上丰富既有的对十七年电影的研究。全书对理论...详情
从老庄哲学至晚清方术 书籍
经典好书《从老庄哲学至晚清方术》读书内容简介:、古代气功对中国思想文化的影响、历史的启示:气功、特异功能、宗教方术与古代战争、人间恩怨:王安石父子与吕惠卿、晚清权臣识人及驭人之道(上)——曾国藩的相术、晚清权臣识人及驭人之道(下)——荣禄的相术、洪宪闹剧:袁世凯父子及方术迷信、“鹤知夜半”:郑孝...详情
机器学习基础教程 书籍
经典好书《机器学习基础教程》读书内容简介:学的核心技术,用于帮助理解一些常用的机器学习算法。书中展示的算法涵盖了机器学习的各个重要领域:分类、聚类和投影。本书对一小部分算法进行了详细描述和推导,而不是简单地将大量算法罗列出来。本书通过大量的MATLAB/Octave脚本将算法和...详情
实时计算机图形学 书籍
经典好书《实时计算机图形学》读书内容简介:s a professor of computer science, specializing in computer graphics and image processing, at the Department of Computer Scie...详情
经典好书《自然语言标注——用于机器学习(影印版)》读书内容简介:手把手地指导你一种经验证的标注开发周期一一把元语添加到你的训练语料库中来帮助机器学习算法更有效工作的过程。你无需任何编程或者语言学方面的经验就可以上手。《自然语言标注:用于机器学习(影印版)》通过每一步中的详细示例,你将学到“标注开发过程”是如何帮助...详情
经典好书《新概念51单片机C语言教程(入门提高开发拓展全攻略第2版)》读书内容简介:繁杂的理论介绍,,以实验过程和实验现象为主导,循序渐进地讲述51单片机C语言编程方法以及51单片机的硬件结构和功能应用。全书共分5篇,分别为入门篇、内外部资源操作篇、提高篇、实战篇和拓展篇。 本书内容丰富,实用性强,书中大部分内容均来自科研工作及教学...详情