《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
《治企方略》内容简介:好的企业不在于规模有多大,能挣多少钱,而在于能不能可持续增长。当今世界正经历着经济、政治、技术等方方
Thisresourcegivesprofessionalsacomprehensiveunderstandingofthesimulationandevalu...
《逆向管理:成为上司器重的稀缺型员工》内容简介:本书的开篇从逆向管理的重要性说起,现代组织的复杂,对职场人的晋升提出了更大
KenArnold曾任Sun公司研究中心的高级工程师,是面向对象设计与实现方面首屈一指的专家。他曾经是Jini技术的架构师之一、Sun公司J
王元,1930年4月15日生,江苏镇江人,著名数学家,中国科学院院士,1952年毕业于浙江大学数学系,经陈建功与苏步青推荐到中国科学
《黑客免杀攻防》国内首部关于黑客免杀技术的专著,旨在为反病毒工程师剖析各种恶意软件和应对各种安全威胁提供全面指导。不仅从
《深入浅出Ajax(中文版)》和其他深入浅出系列书籍一样,使用许多有趣的视觉刺激来保持我们大脑思考的兴奋。在您读完书中第一章后,
《XML完全探索》是完全根据读者的需要而设计的,书中有大量实际的XML场景。是一本尽可能深入地阐述XML的书籍,与其他XML书籍不同
《全经验课程:为儿童创造完整的生活世界》内容简介:全经验课程是在“全经验”理念下对儿童经验领域的一种整体架构,它不以学科为
《四象限理财:投资理财极简法则》内容简介:本书立足于四象限资产配置法,为普通投资者提供了一种合理规划资产的新思路。具体而言
《青春红楼:红楼梦整本书阅读》内容简介:在《红楼梦》被纳入高考必读书目,以及“整本书阅读”被不断强调的当下,本书作者作为一
汇编语言-(第2版) 内容简介 汇编语言是各种CPU提供的机器指令的助记符的集合,人们可以用汇编语言直接控制硬件系统进行工作。汇编语言是很多相关课程(如数据结构...
《到了南半球,一切都变了》内容简介:2012年3月,我获得新西兰打工旅行签证,每年中国大陆只有1000个名额,而我是幸运儿之一。201
《从心理问题到心理优势》内容简介:这是一个重度抑郁症患者执着探寻心灵光源的生命足迹。这本书不同于那些年我们食过的心灵鸡汤,
《ExtJS学习指南》系统化地介绍了ExtJS的基础知识,从框架的下载安装到各种常用小部件的实例介绍,从如何自定义小部件到ExtJS代码
ModelingtheInternetandtheWebcoversthemostimportantaspectsofmodelingtheWebusingam...
本书以UML为载体,将面向对象的分析设计思想巧妙地融入建模过程中,通过贯穿全书的实例将软件系统开发过程中方方面面的知识有机地
《中西美学与文化精神》内容简介:文化精神是一文化中一切时代、一切思想的总和。本书从文化精神的角度研究中西美学。作者从文化范
《公文写作思维方法与实战》内容简介:本书以提升科学思维能力为切入点,融合唯物辩证法、结构化思维和刻意练习理论,为撰写总结汇
SPRING BOOT+VUE全栈开发实战 本书特色 传统的JavaEE开发效率低下、配置臃肿、调试不便,严重制约了程序员的生产力。Spring Boot致力于...