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
相關文章
相關標籤/搜索