Mathematics for Computer Science (Eric Lehman / F Thomson Leighton / Albert R Meyer 著)

I Proofs 1 What is a Proof? 2 The Well Ordering Principle 3 Logical Formulas 4 Mathematical Data Types 5 Induction 6 State Machines 7 Recursive Data Types 8 Infinite Sets II Structures 9 Number Theory
相关文章
相关标签/搜索