Introduction 1 Statements 1 Laws of Formal Logic 1 Connectives and Compound Statements Proposition 4 Solved Examples 4 Exercise 1.1 6 Conditional Statements 9 Well Formed Formulas 11 Tautology 12 Contradiction 12 Contingency 12 Logical Equivalence 12 Solved Examples 12 Laws of Logic 14 The Duality Principle 15 Solved Examples 15 Logical Implication 17 Other Connectives 18 Normal Forms 20 Exercise 1.2 22 Solved Examples 25 Exercise 1.3 26ĬONTENTS 1.21 Quantifiers 28 1.22 Methods of Proof Exercise 1.4 42Ģ.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 2.10 2.11 2.12 2.13 2.14 2.15 2.16 2.17 2.18 2.19 2.20 2.21 2.22 2.23 2.24 I am thankful to Sri Arvind Mishra of New Age International (P) Limited, Publishers. I am much indebted to Sri Siva Kumar, Manager, New Age International (P) Limited, Publishers Hyderabad Branch, whose suggestions and criticism helped me in writing the book. Chapter 10 explains finite state machines. Groups, rings and fields, their properties have been briefly discussed in this chapter. Isomorphism, colouring of graphs, trees, spanning trees have been explored in this chapter. Permutation combinations and Binomial theorem have been discussed in this chapter.
Chapter 7 deals with Elementary combinatorics. Lattices, Boolean functions, karnaugh maps, canonical forms have been discussed in this chapter. Chapter 4 deals with functions and recurrence relations.
Reflexive, symmetric and transitive relations, have been discussed. Propositions, logical equivalence, tautologies, fallacies, quantifiers, and methods of proof were briefly discussed in this chapter. Throughout I have made an extensive use of worked examples to develop the general ideas. The topics mathematical logic, sets, relations, function, Boolean algebra, logic gates, combinations, algebraic structures, graph theory and finite state machines have been discussed in this book. It can be used by the students in mathematics and computer science as an introduction to the fundamental ideas of discrete mathematics. Preface to the First Edition This book explains some of the fundamental concepts in discrete structures. Any suggestions for future improvements of this book will be gratefully received The author would like to express his appreciation to Sri Saumya Gupta, Managing Director, New Age International (P) Limited, for his encouragement. I am thankful to the chief editor and the editors of New Age International (P) Limited, Publishers for the interest and cooperation during the production of the second edition of the book. Enhancements to the material devoted to mathematical logic methods of proof, combinations and graph theory are designed to help the readers master the subject. Most of the changes were made at the suggestions of the individuals who have used the first edition of the book and who were kind enough to send their comments.
ONTO VS ONE TO ONE EXAMPLES DISCRETE MATH FREE
As far as possible efforts were made to keep the book free from typographic and other errors. Considerable attention has been given to improve the first edition. Preface to the Second Edition This edition is a revision of 2002 edition of the book. NEW AGE INTERNATIONAL (P) LIMITED, PUBLISHERS 4835/24, Ansari Road, Daryaganj, New Delhi - 110002 Visit us at To my wife, Usha Rani No part of this ebook may be reproduced in any form, by photostat, microfilm, xerography, or any other means, or incorporated into any information retrieval system, electronic or mechanical, without the written permission of the publisher. Copyright © 2009, 2002 New Age International (P) Ltd., Publishers Published by New Age International (P) Ltd., Publishers All rights reserved.