[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.
《历史不会终结》内容简介:无论国际风云如何变幻,马克思主义者始终相信:资本主导的逻辑必然导致西方困局。如今这一困局正以新的
别样诠释——一个VisualC++老鸟10年学习与开发心得 本书特色 《别样诠释:一个visual c++老鸟10年学习与开发心得》着眼于实际应用,循序渐进地介...
《通信网理论基础(修订版)》系统介绍了通信网的理论基础。全书共分为6章,分别介绍了通信网的概念和网络的基本组成,网络的业务分
《实用软件架构》内容简介:本书由IBM杰出工程师、首席技术官Tilak Mitra亲笔撰写,Amazon全五星评价。全书通过一整套实用的案例研
本书针对空间花艺设计的市场流行趋势,分别就花艺设计概论、花材的选择与运用、花艺空间设计等内容进行了阐述,试图对当今流行的
《国外电子与通信教材系列·数字与模拟通信系统(第6版)(英文版)》在前五版的基础上改编而成,系统地介绍了现代通信系统的基本理论
《口才与演讲技巧:领导脱稿演讲与即兴发言》内容简介:本书将从演讲的内容、演讲姿态、演讲声音、演讲辅助工具等多个方面全面帮助
Asoneofthemostcomprehensivemachinelearningtextsaround,thisbookdoesjusticetothefi...
《你好,乳房:塑造乳房健康美》内容简介:提到乳房疾病,只有极少数人有关注意识,而这少数人几乎把所有焦点都放在乳腺癌上,对其
五笔字型五笔数码编码大全 内容简介 这是一本集五笔字型——86版、98版;五笔数码——数字王码6键、数字王码9键为一体的五笔字型实用工具书。读者可以快速方便地查...
计算机组成原理(第二版)(附光盘) 内容简介 本书是普通高等教育“十一五”国家级规划教材。本书第1版被列为“ 面向21世纪课...
《博悟空间》内容简介:中国博物馆事业蓬勃发展,目前注册有5000多座博物馆,每年举办展览将近3万个。如何将更好品质、更好体验的展
《图表解设备全过程规范管理手册》内容简介:本书以设备全过程规范管理为主题,对设备前期管理和使用期管理的实践操作进行了系统描
过阅读本书,你将能够:了解OSX和iOS应用的生命周期使用故事板设计自适应界面探索图形系统,包括内置的2D和3D游戏框架用AVFounda
《中外民歌钢琴曲集 1》内容简介:从这套乐谱的功能来看,除了作为钢琴教材还可以作为多声写作和小品写作的例谱,配器课的习题集,
《个性:极简庄子》内容简介:王蒙写给年轻人的中国智慧读本,凝聚数十年读书心得与人生经验,直达《庄子》精华内核。在本书中,王
"HeadFirstObjectOrientedAnalysisandDesign"isarefreshinglookatsubjectofOOAD.Whats...
本书第1-10章介绍同步数字体系(SDH),内容包括:SDH的概念,信号结构、复用和映射,光接口和电接口,传输损伤(误码、抖动和漂
《Java就业培训教程》全书共分11章。第1章详细地讲解了Java开发环境的搭建、反编译工具的使用、JDK文档资料的查阅以及Java程序的
人工智能-计算Agent基础 本书特色 普尔、麦克沃思所著的《人工智能(计算agent基础)/计算机科学丛书》非常全面地介绍了人工智能科学,涵盖智能体、表达和推...