《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
《极简父母法则:教出快乐、自信、独立的孩子》内容简介:爱默生曾经说过,我们为孩子的美丽和幸福感到极大的欢乐,这欢乐使我们的
qmailhasquietlybecomeoneofthemostwidelyusedapplicationsontheInternettoday.Itspow...
学习JavaScript-第二版-影印版 本书特色 “无论你是一个初学者,还是一个正在寻求一种新语言的有经验的程序设计者,我都要明确地向你推荐《学习javasc...
《编程卓越之道第二卷:运用底层语言思想编写高级语言代码》是《编程卓越之道》系列书的第二卷,将探讨怎样用高级语言(而非汇编语
ThebestsellingguidetointeriordesignupdatedandexpandedforanewgenerationForoverthr...
《纽埃》内容简介:纽埃位于南太平洋地区,是“波利尼西亚之礁”的一部分。纽埃全国由14个村庄构成,农业与旅游业是主要经济支柱。
《算法之美》内容简介:我们所有人的生活都受到有限空间和有限时间的限制,因此常常面临一系列难以抉择的问题。在一天或者一生的时
奈良美智出生於1959年12月5日,日本青森縣弘前市人。是日本現代美術界極具影響力的畫家。1981~1988年在愛知縣立藝術大學和研究所
《HTML+CSS+JavaScript网页制作案例教程》内容简介:Web标准的最大特点是采用HTML+CSS+JavaScript将网页内容、外观样式及动态效...
这是一本版式设计的高端作品集!不同于市面上比较基础的版式设计类书籍,本书中包含了全球最新的,最具创意的版式设计方案,并配
虚拟现实交互设计 本书特色 本书从虚拟现实的基础理论出发,内容涵盖设计艺术学领域多个专业的知识,通过具体的原创设计案例分析,在3ds max和vrp平台,虚拟现...
《理赔,你应该这样做》内容简介:保险理赔是判断保险产品质量、实现保险产品价值的关键,在保险的实际理赔过程中,对大多数非法律
正则表达式是一种用来操作文本和数据的强大工具。近年来,它们快速广泛传播,并被多种流行工具和语言作为标准特性提供,如Perl、
《数据化网站运营深度剖析》内容简介:近些年,互联网促进经济迅速发展,越来越多的企业把互联网当作产品营销的重要渠道。网络营销
《付出比能力更重要》内容简介:本书能力并非成功的决定因素,能力并不能作为一个人的优势,只是相对优势,只有肯付出的人,才能到
《中国本草图谱》内容简介:《食物本草》可以说是明代食药养生的集大成者,是我国现存内容很丰富、很全面的食药疗法专著。全书共有
三维人脸建模方法研究与应用 本书特色真实感三维人脸建模技术是计算机视觉领域一个备受关注的研究热点,基于形变模型的三维人脸建模方法是目前建模效果*好的方法之一。《...
AutoCAD2013完全学习手册 本书特色 《autocad2013完全学习手册》基于autocad2013版本,详细讲解了autocad的各项功能。《aut...
实用数据库教程 本书特色 《实用数据库教程》是数据库的*新教程,它包括数据库原理、数据库设计模式和数据库应用,共计3篇16章。其中第2篇的第6、7、8三章为数据...
计算机图形学 内容简介 本书主要讲述计算机图形学的有关原理、软硬件环境、几何建模和图形处理的基本方法。介绍了计算机图形学的基本概念、发展和应用,计算机图形系统的...