Mathematics for Computer Science 2017.7z

I数学分析（Proofs）简介（Introduction）0.1参考文献（References）1什么是证明？（WhatisaProof?）1.1命题（Propositions）1.2谓词（Predicates）1.3公理化方法（TheAxiomaticMethod）1.4我们的公理（OurAxioms）1.5证明命题的含义（ProvinganImplication）1.6证明「有且仅有」（Provingan「IfandOnlyIf」）1.7案例证明（ProofbyCases）1.8反证法（ProofbyContradiction）1.9证明的实战演练（GoodProofsin