Discrete Mathematics: A Constructive Approach
Contents:
1. Introduction
2. Logic
3. Proofs
4. Induction
5. Informality
6. Sets
7. Automata
8. Languages
9. Satisfiability
10. Appendix 1: Set Up
11. Appendix 2: Unix
12. Acknowledgements
PDF version
Home
Quick search
7. Automata
ΒΆ
Stay tuned!