We provide study material, notes, assignments & projects for "MCS-013 Discrete Mathematics" taught in MCA & BCA to help students prepare for their exams and score good marks. Students can read from the website or can download notes pdf provided for free.

What you'll learn

1. Propositional Calculus: Propositional calculus, also known as propositional logic, is a branch of mathematical logic that deals with propositions and their logical relationships. It explores the manipulation and evaluation of statements using logical operators like AND, OR, NOT, and implies.

2. Methods of Proof: Methods of proof refer to techniques used to establish the validity or truth of mathematical statements. These methods include direct proof, proof by contradiction, mathematical induction, and proof by contrapositive, among others.

3. Boolean Algebra and Circuits: Boolean algebra is a branch of algebra that deals with binary variables and logical operations. It is widely used in the design and analysis of digital circuits. This topic covers Boolean operations (AND, OR, NOT), truth tables, Boolean expressions, and their application in circuit design.

4. Sets, Relations, and Functions: Sets are collections of distinct objects, relations describe connections between elements of sets, and functions define relationships between sets. This topic explores the properties and applications of sets, relations, and functions, including injectivity, surjectivity, and bijectivity.

and many more

Bibliograpghy

1. IGNOU Study material notes / booklet