There are no items in your cart
Add More
Add More
Item Details | Price |
---|
star star star star star | 5.0 (2 ratings) |
Instructor: Deepak Poonia (MTech IISc Bangalore, GATE CSE AIR 53; 67; 107)
Language: English
Validity Period: 365 days
AI Syllabus:
AI: Search: informed, uninformed, adversarial; logic, propositional, predicate; reasoning under uncertainty topics — conditional independence representation, exact inference through variable elimination, and approximate inference through sampling.
Module 1 - Propositional Logic | |||
Propositional Logic Complete Summary & GATE PYQs | |||
Lecture 1 - Introduction to Mathematical Logic 39:00 | |||
Annotated Notes - Lecture 1 - Introduction to Mathematical Logic (33 pages) | |||
Summary Lecture 1 - Introduction to Mathematical Logic 2:00 | |||
Lecture 2 - Proposition & Propositional Variable 53:00 | |||
Annotated Notes - Lecture 2 - Proposition & Propositional Variable (48 pages) | |||
Summary Lecture 2 - Proposition & Propositional Variable, Truth Value 8:00 | |||
Is it a Proposition?? - A Dumb Question!! | |||
Lecture 3 - Atomic & Compound Propositions 26:00 | |||
Annotated Notes - Lecture 3 - Atomic & Compound Propositions (25 pages) | |||
Summary Lecture 3A - Atomic Proposition. Compound Proposition 5:00 | |||
Summary Lecture 3B - Logical Connectives 4:00 | |||
Lecture 4 - Negation Operator - Logical Connectives 21:00 | |||
Lecture 5 - Conjunction (AND) Operator - Logical Connectives 26:00 | |||
Lecture 6 - Disjunction (OR) Operator - Logical Connectives 13:00 | |||
Annotated Notes - Lecture 4,5,6 - Logical Connectives (77 pages) | |||
Lecture 7 - Exclusive-OR Operator - Logical Connectives 35:00 | |||
Lecture 8 - NAND NOR Operator - Logical Connectives 7:00 | |||
Annotated Notes - Lecture 7,8 - Logical Connectives (41 pages) | |||
Lecture 9 - Implication Operator - Logical Connectives 58:00 | |||
Lecture 10 - Implication Operator Continued 19:00 | |||
Annotated Notes - Lecture 9,10 - Implication Operator (80 pages) | |||
Lecture 11 - Important Points about Implication Operator 20:00 | |||
Lecture 12 - Necessary & Sufficient Condition - Implication Operator 57:00 | |||
Lecture 13 - Various English Translations of Implication Statement 28:00 | |||
Annotated Notes - Lecture 11,12,13 - Implication Operator Continued (111 pages) | |||
Lecture 14 - Bi-implication Operator - Logical Connective 26:00 | |||
Annotated Notes - Lecture 14 - Bi-implication Operator (38 pages) | |||
Lecture 15 - Property Vs Definition - Implication Vs Bi-implication Statements 21:00 | |||
Annotated Notes - Lecture 15 - Property Vs Definition (24 pages) | |||
Lecture 16 - Propositional Variable Vs Propositional Formula 40:00 | |||
Annotated Notes - Lecture 16 - Propositional Variable Vs Propositional Formula (40 pages) | |||
Lecture 17 - Propositional Formula Revisited 44:00 | |||
Lecture 18 - Truth Table 25:00 | |||
Annotated Notes - Lecture 17,18 - Propositional Formula Revisited, Truth Table (80 pages) | |||
Homework 1 - Logical Connectives - Propositional Logic (33 pages) | |||
Homework 2 - Implication Bi-implication - Propositional Logic (17 pages) | |||
Homework 1,2 Video Solution & Notes | |||
Homework 3 - Standard Questions - Propositional Logic (16 pages) | |||
Homework 3 Video Solution | |||
Lecture 19 - Tautology, Contradiction, Contingency 59:00 | |||
Lecture 20 - By Case Method 29:00 | |||
Lecture 21 - By Case Method Practice 29:00 | |||
Lecture 22 - Logical Equivalence 47:00 | |||
Lecture 23 - Logical Equivalence Practice 32:00 | |||
Annotated Notes - Lecture 19-23 - Tautology, Equivalence (149 pages) | |||
Weekly Quiz 1 - Propositional Logic | |||
Lecture 24 - Converse, Contrapositive of Conditional Statement 20:00 | |||
Lecture 25 - English-Logic Translation 45:00 | |||
Lecture 26 - Unless Word - English-Logic Translation 24:00 | |||
Annotated Notes - Lecture 24-26 - English-Logic Translation, Converse, Unless Word (122 pages) | |||
Lecture 27 - Logical Laws - Commutative Property 30:00 | |||
Lecture 28 - Logical Laws - Associative Property 29:00 | |||
Lecture 29 - Logical Laws - Idempotent Property 12:00 | |||
Lecture 30 - Logical Laws - Distributive Law 30:00 | |||
Lecture 31 - Logical Laws - De Morgan's Laws 20:00 | |||
Lecture 32 - Logical Laws - Implication Laws 9:00 | |||
Lecture 33 - Simplification Using Logical Laws 53:00 | |||
Lecture 34 - Analysis of Implication 44:00 | |||
Annotated Notes - Lecture 27-34 - Logical Laws (200 pages) | |||
Lecture 35 - Logical Arguments 44:00 | |||
Lecture 36 - Rules of Inference - Logical Arguments 44:00 | |||
Annotated Notes - Lecture 35,36 - Logical Arguments (83 pages) | |||
Lecture 37 - The Inference Symbol 18:00 | |||
Annotated Notes - Lecture 37 - The Inference Symbol (27 pages) | |||
Weekly Quiz 2 - Propositional Logic | |||
Weekly Quiz 3 - Propositional Logic | |||
Propositional Logic - Summary, GATE PYQs & Practice Questions | |||
Module 2 - Predicate Logic | |||
Predicate Logic - Complete Summary & ALL GATE PYQs | |||
About Predicate Logic | |||
(OPTIONAL) Lecture 1 - Overview & Need of Predicate Logic 109:00 | |||
Annotated Notes - Lecture 1 - First Order Logic Motivation & Overview (83 pages) | |||
Lecture 2 - Objects & Domain in First Order Logic 28:00 | |||
Lecture 3 - Predicates in First Order Logic 52:00 | |||
Lecture 4 - Creating Proposition from predicate 22:00 | |||
Annotated Notes - Lecture 2,3,4 - Objects & Predicates (91 pages) | |||
Lecture 5 - Quantifiers Introduction 16:00 | |||
Lecture 6 - Universal Quantifier 46:00 | |||
Lecture 7 - Existential Quantifier 41:00 | |||
Lecture 8 - Quantifiers Practice 38:00 | |||
Lecture 9 - Quantifiers Summary 12:00 | |||
Annotated Notes - Lecture 5-9 - Quantifiers (150 pages) | |||
Lecture 10 - Quantifiers Tricky Points 32:00 | |||
Lecture 11 - English-FOL Translation Part 1 3:00 | |||
Lecture 12 - English-FOL Translation Part 2 47:00 | |||
Lecture 13 - English-FOL Translation Part 3 15:00 | |||
Lecture 14 - English-FOL Translation Part 4 28:00 | |||
Lecture 15 - English-FOL Translation Part 5 16:00 | |||
Lecture 16 - English-FOL Translation Part 6 23:00 | |||
Lecture 17 - English-FOL Translation Part 7 16:00 | |||
Annotated Notes - Lecture 10-17 - English-FOL Translation (187 pages) | |||
Lecture 18 - Revision of English-FOL Translation 69:00 | |||
Lecture 19 - A LOT of Practice of English-FOL Translation 36:00 | |||
Lecture 20 - Bounded Variable 29:00 | |||
Lecture 21 - Free Variable Vs Bounded Variable 48:00 | |||
Lecture 22 - Practice - Bounded Variable Free Variable 33:00 | |||
Lecture 23 - Important Note About Free Variables 19:00 | |||
Lecture 24 - Scope of a Quantifier 49:00 | |||
Annotated Notes - Lecture 20-24 - Free Variable, Bounded Variable, Scope of a Quantifier (151 pages) | |||
Lecture 25 - Nested Quantifiers Part 1 - Need of Nested Quantifiers 17:00 | |||
Lecture 26 - Nested Quantifiers Part 2 - All Four Standard Templates 27:00 | |||
Lecture 27 - Nested Quantifiers Part 3 - Examples, Variations 61:00 | |||
Annotated Notes - Lecture 25-27 - Nested Quantifiers (109 pages) | |||
Lecture 28 - More Practice of English - FOL Translation 37:00 | |||
Lecture 29 - Even More Practice of English - FOL Translation 23:00 | |||
Annotated Notes - Lecture 18, 19, 28, 29 - English-FOL Translation Examples Part 1-4 (133 pages) | |||
Lecture 30 - Practice - Free Variable, Bounded Variable, Scope 44:00 | |||
Annotated Notes - Lecture 30 - Practice - Free Variable, Bounded Variable, Scope (50 pages) | |||
Homework 1 - Quantifiers - First Order Logic (30 pages) | |||
Live Doubts, Practice Session 1 - Homework 1 Solutions - First Order Logic | |||
Annotated Notes - Live Doubts, Practice Session 1 - Homework 1 Solutions FOL (111 pages) | |||
Lecture 31 - Negation of quantifiers 50:00 | |||
Annotated Notes - Lecture 31 - Negation of quantifiers (65 pages) | |||
Lecture 32 - Validity, Satisfiability of a FOL Expression 29:00 | |||
Lecture 33 - Validity, Satisfiability of a FOL Expression Part 2 38:00 | |||
Annotated Notes - Lecture 32,33 - Validity, Satisfiability of a FOL Expression (65 pages) | |||
Lecture 34 - Validity of FOL Expression Involving Implication 22:00 | |||
Lecture 35 - Equivalence of FOL Expressions 11:00 | |||
Lecture 36 - Distributive Properties of Quantifiers 45:00 | |||
Annotated Notes - Lecture 34-36 - Distributive Properties of Quantifiers (58 pages) | |||
Lecture 37 - Practice - First Order Logic | |||
Lecture 38 - Null Quantification Rule | |||
Annotated Notes - Lecture 37,38 - Null Quantification Rule (141 pages) | |||
Lecture 39 - Arguments in First Order Logic | |||
Annotated Notes- Lecture 39 - Arguments in First Order Logic (83 pages) | |||
Predicate Logic - Complete Summary & ALL GATE PYQs | |||
Module 3 - Bayesian Network Representation | |||
Lecture 1 - Introduction to Artificial Intelligence | Turing Test | Examples 17:00 | |||
Annotated Notes Lecture 1 - Introduction to Artificial Intelligence | Turing Test | Examples (27 pages) | |||
Lecture 2 - Marginal, Joint and Conditional Probability | Chain Rule | Quick Recap of Probability 76:00 | |||
Annotated Notes Lecture 2 - Marginal, Joint and Conditional Probability | Chain Rule | Quick Recap of Probability (88 pages) | |||
Lecture 3 _ 30 Practice questions on Marginal, Joint and conditional Probability _ Chain Rule 76:00 | |||
Annotated Notes Lecture 3 30 Practice questions on Marginal, Joint and conditional Probability | Chain Rule (53 pages) | |||
Lecture 4 _ Introduction to Bayesian Networks 74:00 | |||
Annotated Notes Lecture 4 Introduction to Bayesian Networks (90 pages) | |||
Lecture 5 _ Practice Questions on Parameters and Bayesian Networks _ 6 Questions from GATE DA 2024 127:00 | |||
Annotated Notes Lecture 5 Practice Questions on Parameters and Bayesian Networks | 6 Questions from GATE DA 2024 (83 pages) | |||
Lecture 6 _ Different types of reasoning in a Bayesian Network 55:00 | |||
Annotated Notes Lecture 6 Different types of reasoning in a Bayesian Network (79 pages) | |||
Lecture 7 _ Independencies Encoded By a Bayesian Network 61:00 | |||
Annotated Notes 7 Independencies Encoded By a Bayesian Network (51 pages) | |||
Lecture 8 Conditional Independencies and Markov Blanket 66:00 | |||
Annotated Lecture 8 Conditional Independencies and Markov Blanket (55 pages) | |||
Lecture 9 D Seperation Active Path and Blocked Path with Examples 69:00 | |||
Annotated Lecture 9 D seperation Active path and Blocked path with examples (57 pages) | |||
Lecture 10 30 Practice Questions on D-Seperation 71:00 | |||
Annotated Notes Lecture 10 30 Practice Questions on D-Seperation (64 pages) | |||
Module 4: Informed and UnInformed Search Algorithms | |||
Lecture 11 Introduction to Search Problems | State space | Generic Search Algorithm 66:00 | |||
Annotated Notes Lecture 11 Introduction to Search Problems (84 pages) | |||
Lecture 12 Practice Problems on State space 64:00 | |||
Annotated Notes Lecture 12 Practice Problems on State space (69 pages) | |||
Lecture 13 Depth First Search and Depth Limited Search 74:00 | |||
Annotated Notes Lecture 13 Depth First Search and Depth Limited Search (66 pages) | |||
Lecture 14 : Breadth first Seach and Uniform Cost Search 68:00 | |||
Annotated Notes Lecture 14 Breadth First Search and Uniform Cost Search (69 pages) | |||
Lecture 15 Graph Search v/s Tree Search | Practice Problems on DFS, BFS, UCS 63:00 | |||
Annotated Notes Lecture 15 Graph Search v/s Tree Search | Practice Problems on DFS, BFS, UCS (81 pages) | |||
Lecture 16 Bidirectional Search and Iterative Deepening Search 60:00 | |||
Annotated Notes Lecture 16 Bidirectional Search and Iterative Deepening Search (77 pages) | |||
Lecture 17 Uninformed Search Techniques - GATE DA 2024 questions & Practice Questions 61:00 | |||
Annotated Notes Lecture 17 Uninformed Search Techniques - GATE DA 2024 questions & Practice Questions (28 pages) |
After successful purchase, this item would be added to your courses.
You can access your courses in the following ways :