Mathematical Foundation of Computer Science

Author's View About the Book:

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