- 书名:Fundamental Proof Methods in Computer Science: A Computer-Based Approach
- 出版社:MIT Press
- 作者:Konstantine Arkoudas
- 出版年份:2017
- 电子书格式: pdf
- 简介:Dive deep into fundamental proof methods in computer science with this comprehensive guide. Ideal for computer science students and professionals, the book offers a unique computer-based approach to mastering proof techniques. Explore various proof methods, from induction to contradiction, with practical examples and clear explanations. Enhance your logical reasoning and problem-solving skills in computer science.
- ISBN:9780262035538, 02620
- 下载地址(点击下载):
声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。
评论(0)