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

Comments

Post a Comment

Popular posts from this blog

Machine Learning

Image
 Lab :  Data PreProcessing:  https://colab.research.google.com/drive/1Tu_SEyVLG2DnRqHQ3qZLXKAJEHSwlCt8?usp=sharing    PANDAS SERIES PRACTICE LINK: https://colab.research.google.com/drive/1qiYvvEyinxzbVo2OuzTsxbznPQjrqefq?usp=sharing employee.csv 1. lab task on employee: https://docs.google.com/document/d/1uzXyme4NxOiC-x7u__t1mIH0ifnc-iP1qJzQn09HKAU/edit?usp=sharing 2. Lab Activity: a) lab activity - data preprocessing   Additional questions based on the above student file:       i) Display the details of a student for the given roll no as input      ii) Display the details of the topper. b) Demonstrate the validataion techniques--- i) leave one out(one test out)                                                                          ii) k-fold c...
Read more

Information Retrieval systems notes

Unit 1 Notes; Unit-1 Notes Unit 2 Notes:  UNIT-2 IRS   Unit- 3 Unit-3 notes unit3 clustering-1 unit3 document and term clustering Unit-4 Notes: Unit-4 Notes Unit-5 Notes: UNIT 5 NOTES IMPORTANT POINTS : 1. Attempt all the questions WITHOUT FAIL 2. Explain with examples, diagrams wherever applicable 3. while studying, try to analyze along with your real time browsing experience with Google,       Facebook, LinkedIn, amazon, other e-Commerce websites... so that you can understand the concepts easily and to get the latest in the concept 4. preferable order to prepare for the exam:       unit-1,      unit-4,     unit-5,      unit-2 indexing, unit-3 indexing,      unit 3-clustering, unit-2 data structures 5. I will update the question bank here soon     question bank:  IRS QUESTION BANK     (Not limited to these questions , be prepared to answer all questions, fro...
Read more