Mathematical Foundations of Computer Science explains the Fundamental Concepts in Mathematics. It can be used by the students in Computer Science as an introduction to the underlying ideas of mathematics for computer science. This book is designed to provide an introduction to some Fundamental Concepts in Discrete Mathematics and Automata. Mathematical Foundation of Computer Science is a compulsory paper in most computing program universities of our country. It covers Set Theory, Relation, Function Mathematical Induction, and Recurrence Relation generating Function, Algebraic structure, Lattices, Graph Theory, Finite Automation, Regular Expression, Turing Machine, and Formal Language. Each topic in the book has name treated as easy manner. A set of exercise (with answers) has also been given at the end of each chapter to test the student’s comprehension. The proofs of various Theorems and Examples have been given with enough details. Numerous Solved Examples have been included in the book to help the students in understanding various concepts easily. I have tried my best to keep the book free from misprints. I will be grateful to the readers who point out errors and omissions which in spite of all case, might have been there.
Contents:
1. Set Theory
2. Relation
3. Function
4. Mathematical Induction
5. Algebraic Structure
6. Ring and Fields
7. Propositional Logic
8. Boolean Algebra
9. Posets, Hasse Diagram and Lattices
10. Graph Theory
11. Theory of Computation
12. The Theory of Automata
13. Regular Expression
14. Formal Languages
15. Context Free Grammar
16. Pushdown Automata