《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
本书提出了以理解和运用计算生态为目标的Python语言教学思想,不仅系统讲解了Python语言语法,同时介绍了从数据理解到图像处理的
无R语言数据分析与可视化从入门到精通 本书特色 1. 理论为辅、实践为主。本书涉及一些必要的理论知识,特别是在数据分析部分,但总体以实践为主,因此几乎每节都有大...
ANSYS结构有限元高级分析方法与范例应用 内容简介 本书将结构有限元分析的基本力学概念与ANSYS实践紧密结合,通过大量生动的原创性分析实例,向读者系统全面地...
在线阅读本书Thelogobible,thisbookprovidesgraphicdesignerswithanindispensablereferences...
《大图景:论生命的起源、意义和宇宙本身》内容简介:作者用天文学、物理学、化学、生物学和哲学的丝线编织成一张宇宙大图景,让我
压缩感知理论的工程应用方法 内容简介 在传输带宽有限和数据量激增的数字化时代,压缩感知理论为低速有效获取信息提供了一种新的思路,成为近十年来信号信息处理领域中一...
《穿透财报:发现企业的秘密》内容简介:这是一本关于中国上市公司财报分析的案例集。但是,它不同于一般的案例集。在这本案例集中
《刑法案例研习教程(第二版)》内容简介:本书由韩玉胜主编,每章都有详细分析的案例若干,然后提供了若干个没有提供分析论证的探
没有编程基础,被C语言的术语和细节搞得晕头转向,手头的教科书无数次拿起又放下、总是读不进去,甚至已经开始考虑放弃?不要灰心
《政治理论的当代视野》内容简介:本书基于政治理论的近期发展,考察了权力、民主、义务、责任、公平等政治与道德的交叉议题,通过
新手电脑入门全程图解 本书特色 理性选择——“攒”机指南商务办公装机方案游戏狂人装机方案家庭娱乐装机方案cpu型号与名称之间的关系不可忽略的问题——双通道内存的...
《绞刑架下的报告:增订版》内容简介:《绞刑架下的报告》这部纪实文学作品,是伏契克在纳粹德国盖世太保监狱里万分艰难的处境中,
《人件集:人性化的软件开发》是人件领域中的经典著作,以专题的形式探讨了软件开发中的人的因素。本书共分九个部分:第一部分介绍
《纸品与平面设计》是为任何一位在涉及用纸创作和实现过程的设计师而准备的一本综合性的设计书籍,它由两个关键的部分构成;设计
《宋元笔记述要》内容简介:本书为关于宋元笔记的提要类著作,举凡五代一种,宋代一百四十种,元代十五种,宋元笔记之要者基本被囊
Thisbookprovidesapracticalapproachtounderstandingimplementationsofnon-strictfunc...
《计算机科学概论(Python版)》内容简介:本书是美国哈维玛德学院“计算机科学通识”课程的配套教材,用独特的方法介绍计算机科学
《中共江苏地方简史》内容简介:《中共江苏地方简史》(1921—2021)是江苏省委党史工办为迎接建党100周年而编写的一本党史书籍。该
《向NASA学工程师文化》内容简介:太空探索既是一个关于探索和发现的故事,也是一个关于领导力和团队合作的故事。本书深入探讨了NA
Ifyouveeverbeenintroducedtoanewemployeeattheofficeas"theguywhogotdrunkattheChris...