[FROM www.amazon.com]:
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
《哈佛家训Ⅳ:脱颖而出的哲学》内容简介:《哈佛家训4:脱颖而出的哲学》的主要内容包括:哲理,是让人的精神新生的原理或概念;哲
在内容上,《Android系统源代码情景分析(修订版)(含CD光盘1张)》结合使用情景,全面、深入、细致地分析了Android系统的源代码
《碎片与重构:互联网思维重塑大教育》以开阔的视野、全新的思维、通俗的文笔,描绘了一幅网络时代教与学的“清明上河图”。内容
《人力资源管理互联网思维》内容简介:本书采取“思维创新、顶层设计、体系重构、案例解读、规律提炼、转移运用”六大方法,以社会
《Oracle 18c 必须掌握的新特性:管理与实战》内容简介:在Oracle 12c版本之前,数据库版本的迭代中基本架构都没有非常明显的变化,
《笑谈大先生》内容简介:本书收录作者近年来关于鲁迅的七次演讲文稿。虽不过数万言,却在浩瀚的鲁迅研究的边上,辟出新的境界。论
本书以webservices技术原理为主线,详细解释、分析包括XML、XMLSchema、SOAP、WSDL、UDDI等在内在的webServices核心技术。...
华南师范大学计算机学院教授。大学毕业并任教于军事电信工程学院(即西安电子科技大学)信息工程系,多年从事数字系统、数据通信和
Thiseasy-to-use,fast-movingtutorialintroducesyoutofunctionalprogrammingwithHaske...
《谎报:一件发生在美国的真实性侵案》内容简介:★NETFLIX《难以置信》原作,获普利策新闻奖 ★一起戏剧性的强奸案“谎报”,引出
《Web前端应用开发技术》内容简介:本书是一本介绍Web前端应用开发技术的图书,主要内容包括HTML5开发基础、CSS开发基础、JavaScri
《日本军事力量解析(下册)》内容简介:自卫队是日本于第二次世界大战后组建的国家防卫力量。根据日本宪法规定,自卫队由防卫省统
《HTML5+CSS3+JavaScript前端开发基础》内容简介:本书面向Web前端开发初学者,全面系统地讲解了HTML5、CSS3、JavaScript基础...
本书从生物进化论、传播学、社会学、科学、经济学和哲学的角度,全方位预测了互联网将给人类未来的文化、科技和经济带来的深刻变
《XilinxISEDesignSuite10.xFPGA开发指南:逻辑设计篇》以XilinxFPGA逻辑开发流程为主线,以浅入深出、图文并茂的方式,全面、详细
本书是畅销书《Python灰帽子—黑客与逆向工程师的Python编程之道》的姊妹篇,那本书一面市便占据计算机安全类书籍的头把交椅。本
《JavaScript实战》内容简介:本书从最流行的前端应用场景出发,结合当下热门技术(AJAX、jQueryUI、瀑布流、HTML5、Node.js、CSS3
《删除》内容简介:《删除》讲述了遗忘的美德,为读者展现了大数据时代的取舍之道。《删除》从大数据时代信息取舍的目的和方法分别
内容简介本书全面系统地论述了信号与系统分析的基本理论和方法。全书共11章,内容包括:信号与系统、线性时不变系统,周期信号的
本书从实用的角度出发,系统地介绍了Protel2004的基本操作环境,重点介绍了原理图的设计、PCB的设计和元件库的设计,同时对电路仿