《面向计算机科学的数理逻辑》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑.《面向计算机科学的数理逻辑》在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求,《面向计算机科学的数理逻辑》研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。《面向计算机科学的数理逻辑》大部分章节附有习题。
全国英语等级考试词汇必备第二级 本书特色 针对教育部*新颁布的《全国英语等级考试大纲(全新版)》,未来教育在已出版成功的词汇书的基础上,对《全国英语等级考试词汇...
ScalatraisalightweightframeworkforbuildingwebapplicationsandAPIsthatadheretotheR...
《刘安评传(增订本)》内容简介:《刘安平传(增订本)》是一部以思想为着重点对西汉淮南王刘安进行全面评论的专著。书中对刘安其
《基于ARM Cortex-M4F内核的MSP432 MCU开发实践》内容简介:本书以基于ARM Cortex-M4F内核的MSP432 P401r微控制器为例...
《关键对话:如何高效能沟通(原书第3版)》内容简介:无论在工作中还是生活中,每个人都会遇到许多“关键时刻”,比如:指出上司的
Dreamweaver8·Flash8·Fireworks8网站开发自学导航(含1CD) 本书特色 本书共包含20章,划分为3篇。其中:前15章为基础篇,讲解了...
《荷塘月色:朱自清精读》内容简介:《荷塘月色:朱自清精读》是“壹本”系列之一,从当下读者爱读、想读和需要读的角度,精选著名
《爱上古诗文》内容简介:一年一度的上海小学生古诗文大会暨古诗文“桂冠少年”选拔活动即将在9月份启动,承办方上海教育报刊总社《
你想过可以通过一本书就学会Python吗?《HeadFirstPython(中文版)》超越枯燥的语法和甩法手册,通过一种独特的方法教你学习这种语
Chapmans"FortranforScientistsandEngineers"isintendedforbothfirstyearengineerings...
《Android4高级编程(第3版)》由Android权威专家编写,涵盖了所有最新的内容,是学习使用Android4SDK开发移动应用程序的理想指南。
《表达力》内容简介:在职场人微言轻,说话没有人听怎么办? 面对人群发言,感到非常紧张如何缓解? 如何用语言抓住别人的注意力,
Theultimateguidetothecellphone,theubiquitousandindispensablepocket-sizedgadgetth...
联邦学习 本书特色 如何在保证本地训练数据不公开的前提下,实现多个数据拥有者协同训练一个共享的机器学习模型?传统的机器学习方法需要将所有的数据集中到一个地方(例...
Web GIS原理与方法 内容简介 本书将全面、系统地论述WebGIS的基本原理、技术方法、*新的理论与发展趋势,以及在我国各个行业的应用实例。书中所涉及各方面...
【有关家居的一期】2014年KINFOLK春季刊旨在探究“家的意义”。比如,家的理想模样,因人而异的家居布置风格以及美好的家所共享的
INSIDEAPPLErevealsthesecretsystems,tacticsandleadershipstrategiesthatallowedStev...
《数学战略家:谷超豪传》内容简介:《谷超豪传(数学战略家)》是《大家丛书》系列丛书之一。谷超豪,数学家。复旦大学教授,中国科
《奔跑吧Linux内核(入门篇)》内容简介:本书是一本介绍Linux内核实践的入门书,基于Linux4.0内核,重点讲解Linux内核的理论和实验
Thisbookprovidesapracticalapproachtounderstandingimplementationsofnon-strictfunc...