The book seeks to introduce students to the mathematical concepts needed to develop logical reasoning, abstract thinking, and problem solving—important prerequisites for the study of computer science. The book provides an exhaustive coverage of various concepts of discrete mathematics. Beginning with a detailed analysis of modern mathematical concepts such as sets, relations and functions, and matrices, the book delves into core concepts of discrete mathematics like combinatorics, mathematical logic and truth tables, groups, order relation and lattices, Boolean algebra, trees, and graphs. Special emphasis is also laid on certain advanced topics like complexity and formal languages and automata. Algorithms and programs have been used wherever required to illustrate the applications.