《计算理论与符号逻辑》对计算理论和数理逻辑中一组*为基本的问题和重要概念进行详细介绍.以boolos等的经典教材computabilityandlogic为出发点,从教学效果出发,对内容做了简化和充实.本书注重体现数理逻辑在计算机科学研究中的应用,强调直观感受与理论分析相结合.对定义、定理的引入进行了精心设计,采用了易于理解的证明体例,重要章节之后都有小结.力图引导读者超越技术细节,更多地关注定义、定理背后所隐藏的一般思维模式和思想方法,使理论学习不再枯燥乏味.《计算理论与符号逻辑》可作为数学、计算机科学相关专业的教材,对软件工程、形式化方法、人工智能、数理逻辑等领域的研究者和工程技术人员提升理性思维的层次和分析能力大有裨益.
在你体验Minecraft冒险的同时,学习宝贵的编程技能!如果你很喜欢玩Minecraft,却被游戏中的建造耗费大量时间而困扰,并且你想要
VisualBasic程序设计教程 本书特色 本书特色:与本书配套的《visual basic程序设计教程题解与上机指导》(第四版)已出版。电子教案及例题程序代...
Thisintroductiontoprogrammingplacescomputerscienceinthecoreofaliberalartseducati...
作者在本书中提出:人文科学没有意识到人类现象中的物理的和生物的特性;自然科学没有自觉到他们是归属于一定的文化、社会和历史
精彩摘要:大凡讲到意大利设计,人们脸上都会流露出一抹轻松的微笑来。如果看到巴托里设计公司(BartoliDesing)的作品.那微笑就
《智慧工业互联网》内容简介:本书对“互联网、人工智能、大数据”时代的内涵进行了解读,分析了工业云产生的背景,提出了工业云的
C游戏编程从入门到精通-(第2版)(配1张光盘) 目录 第1章文本格式游戏1.1文本模式游戏制作1.1.1文本窗口函数1.1.2INT10中断功能1.2猜数字游...
《地理信息技术与地理教学的整合》内容简介:本书总结了地理信息技术应用于地理教学的研究成果,从理论上探讨了地理信息技术的教学
《汪曾祺散文(初中部分)》内容简介:汪曾祺散文随意散漫、有时逸笔草草,实际上他绝非率尔操觚。汪曾祺重视散文,认为“写任何形
JavaScript和JScript语言可以把HTML文档、用Java或AchveX编写的W组件及多媒体插入件集成起来,开发动态的、可响应各种用户输入的
《刑法案例研习教程(第二版)》内容简介:本书由韩玉胜主编,每章都有详细分析的案例若干,然后提供了若干个没有提供分析论证的探
《Scala与Clojure函数式编程模式》内容简介:StackOverflow刚刚发布了2015开发者调查,最受程序员喜爱的开发语言中,Clojure和Sca...
《零基础学JavaWeb开发:JSP+Servlet+Sfruts+Spring+Hibernte》全面讲解JavaWeb应用开发的编程技术,并详细介绍Java...
《跟杨澜学做完美女人》内容简介:《跟杨澜学做完美女人》内容简介::精彩杨澜,在很多女人眼里,她是幸福的,也是幸运的。她几乎拥
《农业互联网》内容简介:如果说互联网正在改变我们身边的一切,那么,10万亿规模的整个大农业将因互联网而迎来一场影响深远的变革
《丹尼尔·希利斯讲计算机》内容简介:虽然计算机技术及应用以及编程技术都取得了巨大进步,对社会产生的影响也远远超出了预言家的
《如戏》内容简介:人生如戏,戏如人生,人生与戏曲互为镜像,于人生中寻觅戏曲意境,于戏曲中印证人生苦乐。这本随笔集是一份女性
《政德论:心理结构与伦理行动的二重维度》内容简介:本书在梳理“政德”内涵的历史演进的基础上,从伦理结构、心理结构和道德领导
作为一名从事设计职业的设计师,或者正在通往成为设计师道路的朋友,都会遇到很多这样或那样的问题。什么是UI?和其他职业有什么
无线接入技术 本书特色 本书全面、系统地阐述无线接入网领域的基本原理、基本技术,较充分地反映了当代无线接入领域的*新技术。全书共五章,**章介绍接入网技术概述、...