Artificial Intelligence IIT Kgp (View More...)
| Knowledge Representation and Logic | lec11 | 49:45 to 53:40 | VIDEO | |
| Interface in Propositional Logic | lec12 | 17:40 to 19:41 | VIDEO | |
| Interface in Propositional Logic | lec12 | 19:41 to 20:16 | VIDEO |
Artificial Intelligence-PD (View More...)
| Inference in First Order Logic | lec10 | 00:01 to 00:02 | VIDEO | |
| Inference in First Order Logic | lec10 | 00:02 to 00:08 | VIDEO | |
| Inference in First Order Logic | lec10 | 00:18 to 00:26 | VIDEO |
Discrete Mathematical Structures (View More...)
| Predicates and Quantifiers | lec4 | 53:10 to 53:10 | VIDEO | |
| Logical Inference | lec5 | 13:27 to 14:10 | VIDEO | |
| Logical Inference | lec5 | 18:15 to 21:45 | VIDEO |
Logic for CS (View More...)
| Introduction | lec1 | 21:49 to 40:50 | VIDEO | |
| Formal Theories | lec12 | 13:04 to 20:08 | VIDEO | |
| Formal Theories | lec12 | 20:08 to 25:12 | VIDEO |
Natural Language Processing (View More...)
| Introduction | lec1 | 01:40 to 11:09 | VIDEO | |
| Introduction | lec1 | 11:23 to 28:48 | VIDEO | |
| Introduction | lec1 | 28:48 to 31:03 | VIDEO |
Principles of Programming Languages (View More...)
| Lecture Title: Data as Functions | lec28 | 24:24 to 27:30 | VIDEO | |
| Typed Lambda Calculus | lec31 | 37:58 to 43:34 | VIDEO | |
| Typed Lambda Calculus | lec31 | 53:33 to upto | VIDEO |
Probability and Statistics (View More...)
| Sampling Distributions-I | lec23 | 07:34 to 14:41 | VIDEO | |
| Sampling Distributions-I | lec23 | 50:44 to upto | VIDEO | |
| Descriptive Statistics I | lec25 | 16:36 to 19:06 | VIDEO |
No Records Found