《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
C与.NET3.0高级程序设计(特别版) 本书特色 Amazon超级畅销书,C#圣经级著作,全面涵盖C#3.0和.NET 3.0平台,包括LINQ、WPF、WC...
第1部分网页设计第1章网页设计的原则1.1了解分析客户需求1.2网站的项目规划第2章网页设计的框架2.1网页的框架结构第3章网页设
《当你自信独立,才能无所畏惧》内容简介:你有没有在某一刻认真的问过自己:到底想成为一个什么样的姑娘?自己内心真正想要的是什
《现代货币理论在中国》内容简介:本书是一本主要由中国学者撰写的现代货币理论的入门书。书中从应对时代挑战角度解读现代货币理论
《数字娱乐设计史》以电子游戏发展史为主线,结合电影、音乐与流行文化的发展趋势,对电影、音乐及大众流行文化的演进作了详尽的
Anencyclopaedicguidetoproductiontechniquesandmaterialsforproductandindustrialdes...
《短线金手5:分时图战法实战剖析》内容简介:本书精选99种炒股分时图战法案例,结合私募实战操作分析,全方位解析分时图战法在实战
这本书主要分为五个部分来写,引论、策划、易用度设计、交互网站设计和图形图像的建立。而主要部分为交互网站设计和易用度设计,
《素描800例,一本就够》内容简介:本书提供了动物、静物、植物、食物、人物、交通、建筑、风景等类别中的131种事物,共计867幅图例
《唐诗三百首》内容简介:传统中国文学的精粹何在?在诗 传统中国诗歌的精粹何在?在唐诗 基于清人蘅塘退士经典选本全新修订,典藏
《中国人力资源法律审计报告2018——从东盟十国看“一带一路”国家的劳动与雇佣管制》内容简介:本报告是“中国人力资源审计系列报
《黑川雅之的产品设计》包括了理论一:时间含义理论二:身体感觉,触觉的时理论三:编辑的记忆理论四:物质和形体的理论五:晦暗
《中国历史研究法》内容简介:《中国历史研究法》是继梁氏《新史学》后又一杰作,系以传统史学所积累的方法为基础,结合当时西方史
《双碳目标下的绿色增长》内容简介:碳达峰碳中和是一项长期的战略目标,将对经济社会转型起到全面、深刻而持久的引领作用。作为“
《和与战的抉择》内容简介:《和与战的抉择:战后国民党的东北决策》主要研究国民党接收东北之失败的背景和原因。东北问题是战后中
五笔字型即时查(第2版) 内容简介 本字典以*新版《现代汉语词典》为准,列出了200多个汉字常用的86版五笔字型输入法的字根及编码;同时列出了98版五笔字型编码...
H.264视频编码标准被称为新一代视频编码标准。《新一代视频压缩编码标准:H.264/AVC(第2版)》在介绍数字视频和视频编码基本原理的
《人文日新》内容简介:本书致力于帮助学生积累文学知识,增强文学感悟力,提升文学趣味,提高文学素养。在传统的诗歌、散文、戏剧
《翁文灏与抗战档案史料汇编(上、下册)》内容简介:本资料集收录了翁文灏与抗战有关的档案史料,有五个方面的内容:一是战前政治
《Vue企业开发实战》内容简介:本书以Vue.js 2为基础,以项目实战的方式引导读者渐进式学习Vue.js框架。本书分为项目起步、Vue.js介