《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
这是一本关于操作系统基本原理的教科书,其最大特点就是从操作系统的分层概念出发,深入浅出地介绍了操作系统的基本概念和基本框
《工业设计》内容简介:本书紧扣当今工业设计学的热点、难点与重点,涵盖了广义工业设计所包括的设计概念及设计思潮、工业设计流程
""HowtoThinkLikeaComputerScientist""isanintroductiontoprogrammingusingPython,one...
现代“小型机之父”戈登·贝尔和微软研究院研究员吉姆·戈梅尔通过“我的数字生活”(MyLifeBits)项目,带领我们进行了一场关于
Access活用范例大辞典-全新版-(附赠光盘) 本书特色 本书侧重于access的基础应用技巧,共11章,分为四大部分:**部分为第1~4章,着重介绍acce...
《南唐二主词汇笺》内容简介:南唐二主,尤其是后主李煜,在词史上有显著地位,也是词学大师唐圭璋先生做过专题研究的重要词人。《
本书由Scala之父作序推荐,深入探讨了Scala里几个较为复杂的领域,包括类型系统的高阶内容、隐式转换、特质的组合技巧、集合、Ac
西门子S7-300/400 PLC编程-梯形图和功能块图描述(第3版) 本书特色 《西门子S7-300/400 PLC编程:梯形图和功能块图描述》(第3版)注重...
《统计自然语言处理基础:国外计算机科学教材系列》是一本全面系统地介绍统计自然语言处理技术的专著,被国内外许多所著名大学选
《聊将锦瑟记流年 : 黄仲则诗传》内容简介:是古典诗词赏析第一人安意如,三年心血写著。33万精辟文字,凝聚十年诗词赏读所成,首度
《Shell脚本学习指南》将告诉你这些有关UNIX主流工具的知识。除此之外,《Shell脚本学习指南》还会帮助你解决UNIX命令与标准的差
《世界航空发动机手册》共分为4个部分。主体部分有:涡轮风扇发动机、涡轮喷气发动机、涡轮轴/涡轮螺旋桨发动机、桨扇发动机、活
Railsisafantastictoolforwebapplicationdevelopment,butitsAjax-driveninterfacessto...
《Intel FPGA数字信号处理系统设计权威指南(基础篇)》内容简介:本书从硬件描述语言、Simulink环境下的模型构建和Intel FPGA高级
《短距离无线数据通信入门与实战》分别以目前世界上广泛应用的8051内核无线片上系统(SoC)NRF9E5、NRF24E1、CCl010以及无线芯片NR
前言第1章概述1.1Linrx的诞生和发展1.1.1UNIX、MINIX、GNU和POSIX1.1.2Linux操作系统的诞生和版本的变迁1.2内容综述1.3本...
数据结构(C语言版)(配光盘) 本书特色 《清华大学计算机系列教材:数据结构(C语言版)》可作为计算机类专业或信息类相关专业的本科或专科教材,也可供从事计算机工...
本书比较全面地讲述现代通信领域的基本技术知识以及近代发展概况。全书共分上、下两册。上册内容包括:模拟信号数字化、电话交换
《世界500强人力资源总监管理笔记2》内容简介:本书是《世界500强人力资源总监管理笔记》的续集,在前者的基础上进一步讲解了人力资
《百年雀巢》将带领读者纵览雀巢的百年风雨历史,从它的产品、创新、品牌、管理、文化五大方面揭秘了全球食品工业巨人长盛不衰的