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 UNIT 2,3,4,5 Hand Written Notes unit2,3,4,5 hw notes Question Bank Notes (pdf) Unit-1 Unit-2 Unit-3 Unit-4 Unit-5 Previous year question papers 2024-25 Old question papers (before 2024)
Comments
Post a Comment