This Text Book is designed to meet the requirements of the under graduate students of B.Sc (Computer Science), B.C.A., B.Sc (CT) and post graduate students of M.C.A., M.Sc (Computer Science) and Computer Technologies. This text is for beginners as well as experts who wish to learn this subject. The language adopted is simple and the subject-matter self explanatory in nature. A variety of problems has been included in each chapter to enable the reader to gain further insight and clarity of the application of the techniques. It includes numerous examples that illustrate the basic concept and the exercises, to enhance the value of the book. Key Features This Text Book covers Matrices, Set Theory, Boolean Algebra, Mathematical Logic, Graph Theory, Grammars And Languages. Numerous illustrative problems are provided to help the reader understand the subject. To suit the needs of the B.C.A., M.C.A. and M.Sc curriculum of various universities. All major steps in the problems are presented in a step-by-step format.