Discrete Mathematics

Discrete Mathematics is a textbook designed for the students of computer science engineering, information technology, and computer applications to help them develop their foundations of theoretical computer science. With a detailed introduction to the propositional logic, set theory, and relations, the book in further chapters explores the mathematical notions of functions, integers, counting techniques, probability, discrete numeric functions and generating functions, recurrence relations, algebraic structures, poset and lattices. The discussion ends with the chapter on theory of formal and finite automata, graph theory and applications of discrete mathematics in various domains. Adopting a solved problems approach to explaining the concepts, the book presents numerous theorems, proofs, practice exercises, and multiple choice questions.

Dr R K Bisht is Associate Professor, Department of Computer Science & Applications, Amrapali Institute, Uttarakhand. He has qualified national eligibility test (NET) conducted by CSIR and has around 8 years of teaching experience. He has also published research papers published in various national and international journals. He has been awarded the Young Scientist Award from Uttarakhand Science Congress during its 7th edition. His research area includes formal language and automata, Mathematical models in Natural Language Processing and Information Retrievals. Prof. Hoshiyar Singh Dhami is the Vice Chancellor, Kumaon University, Uttarakhand. He had been a professor of Mathematics and coordinator of center of excellence in mathematical sciences, Uttarakhand. He has been selected among the 2000 outstanding intellectuals of the 21st century by the International Biographical Centre, Cambridge, England. Prof. Dhami has more than 35 years of teaching experience and more than 150 national and international published research papers, 6 books to his credit. He is also the editor of International Journal of Engineering Science and Technology and reviewer of other national and international journals. He is also the fellow of Vikram Mathematical Society and member of several other societies. He has delivered several key note, invited and theme lectures in India and abroad. His research interest includes Special Function, Mathematical Linguistics, Mathematical models in Natural Language Processing and Information Retrievals.