热门文档
- 2022-09-18 20:22:00 中国人为什么看不起中国人 张鸣
- 2023-04-19 15:04:26 《千家妙方 上册 1982年》(李文亮等编)
- 2023-10-13 17:09:40 楚辞 中华传统诗词经典 可复制-李山-9787101097528
- 2022-09-18 20:22:00 中国兵法之起源 编委会
- 2022-11-24 16:17:09 《性体验与性爱心理》尤里-谢尔巴特赫
- 2022-11-24 16:17:09 《性爱健康指南》石四维编著
- 2023-10-13 17:09:40 超速学习:我这样做,一个月学会素描,一年学会四种语言,完成MIT四年课程-斯科特·扬著,林慈敏译-9789861755533
- 2023-10-13 17:09:40 初中诗词格律读本 可复制-周建忠 徐乃为 王业强编著-9787101121704
- 2022-09-18 19:48:57 心理催眠术 迈克尔.赫普,温迪.德雷顿著
- 2023-10-13 17:09:40 曾国藩家书 中华经典藏书(升级版)可复制-檀作文译注-9787101115482
- 2023-10-13 17:09:40 菜根谭 中华经典藏书(升级版)可复制-杨春俏译注-9787101115611
- 2023-01-11 15:23:39 孔子学院传播研究_刘程 安然著_9787516112922
1、本文档共计 557 页,下载后文档不带www.pdfdz.com水印,支持完整阅读内容。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
2、古籍基本都为PDF扫描版,所以文档不支持编辑功能,即不支持文档内文字的复制粘贴。
3、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
4、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。
5、如文档内容存在违规,或者侵犯商业秘密、侵犯著作权等,请点击“违规举报”。
“mcs-fl”一2010/9/8一0:40-page i-#1Mathetics for Computer Sciencerevised Wednesday 8th September,2010,00:40Eric LehnGoogle Inc.F Thomson LeightonDepartment of Mathetics and CSAIL,MITAkai TechnologiesAlbert R MeyerMassachusets Institute of Technology“mcs-ftl”一2010/9/8一0:40-page iii一#3ContentsIProofs1Propositions 51.1 Compound Propositions61.2Propositional Logic in Computer Programs 101.3Predicates and Quantifiers 111.4Validity 1915Satisfiability 212 Patterns of Proof 232.1 The Axiotic Method232.2Proof by Cases 2623Proving an Implication 272.4Proving an "If and Only If"302.5Proof by Contradiction 3226Proofs about Sets 332.7Good Proofs in Practice403Induction 433.1The Well Ordering Principle433.2Ordinary Induction 463.3Invariants 563.4 Strong Induction 64Structural Induction 694Number Theory 814.1 Divisibility 814.2The Greatest Common Divisor 8743The Fundamental Theorem of Arithmetic 944.4Alan Turing 9645Modular Arithmetic 1004.6Arithmetic with a Prime Modulus 1034.7Arithmetic with an Arbitrary Modulus 108The RSA Algorithm 113