Discrete Mathematics
Click here for Syllabus Unit-1 Part-1 Syllabus : Mathematical Logic : Propositional logic - Statements and Notations, Connectives, Well-formed formulas, Truth Tables, Tautologies and Contradictions. Equivalence of formulas, Tautological Implications, Duality law, Normal forms. Click here for notes : Part-1 Unit-1 Part-2 Syllabus: Theory of inference for statement calculus : Rules of Inference, Consistency of premises and Indirect methods of proof, Automatic Theorem Proving . Predicate logic - Statement function, Variables and quantifiers, Free and bound variables, Inference theory for predicate calculus. Click here for notes: Part-2