标签：proof

The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software. The principal novelty of the series is that every detail is one hundred percent...

标签：broadfoundationsmathematicalProgrammingproofseriessoftware书友作者简介

书名：Algorithm Design 作者：Kleinberg,Jon;Tardos,Eva 译者： ISBN：9780273752332 出版社： 出版时间：2011-12-1 格式：epub/mobi/azw3/pdf 页数：992 […]

标签：AlgorithmDesignnpoptmanproof复杂度流程化算法设计

Introduction to Logic is clear and concise, uses interesting examples (many philosophical in nature), and has easy-to-use proof methods. Its key features, retained in this Third Edition, i...

标签：editionexamplesgenslerharryjintroductionlogicproofTestthird