This is the author's site for Mathematical Foundations of Computer Science (Ashwin Lall). Here is the publisher site.
This PDF is for personal use only. All commercial rights are held by the publisher (CRC Press/Taylor and Francis).
Chapter 1: Mathematical Data Types
Chapter 2: Deterministic Finite Automata
Chapter 4: Nondeterministic Finite Automata
Chapter 5: Regular Expressions
Chapter 6: Equivalence of Regular Languages and Regular Expressions
Chapter 7: Direct Proof and Closure Properties
Chapter 9: Proving the Language of a DFA
Chapter 10: Proof by Contradiction
Chapter 11: Pumping Lemma for Regular Languages
Chapter 12: Context-Free Grammars
Appendix C: Elementary Number Theory
Appendix D: Asymptotic Notation
Appendix G: Recurrence Relations
Instructor resources: Here is a 15-week schedule for covering the entire book except Chapters 9, 12 and appendices C, E. Here are the homework assignments I've used in the past. I recommend the use of this site (external link) for creating DFAs/NFAs/TMs as it can output LaTeX for each figure. No solutions are available at this time.