Artificial Intelligence IIT Kgp (View More...)
| First Order Logic | lec13 | 34:37 to 39:00 | VIDEO | |
| First Order Logic | lec13 | 49:18 to 54:01 | VIDEO | |
| Reasoning using First -Order Logic | lec14 | 03:27 to 09:15 | VIDEO |
Discrete Mathematical Structures (View More...)
| Predicates and Quantifiers | lec3 | 21:36 to 24:57 | VIDEO | |
| Predicates and Quantifiers | lec3 | 28:19 to 3:23 | VIDEO | |
| Predicates and Quantifiers | lec3 | 3:23 to 41:07 | VIDEO |
Logic for CS (View More...)
| The Completeness Theorem | lec10 | 35:43 to 39:00 | VIDEO | |
| Models | lec20 | 39:06 to 44:47 | VIDEO | |
| Structures and Substructures | lec21 | 33:29 to 35:29 | VIDEO |
Principles of Programming Languages (View More...)
| Polymorphism | lec33 | 10:15 to 10:50 | VIDEO | |
| Polymorphism | lec33 | 10:50 to 19:40 | VIDEO | |
| Polymorphism | lec33 | 19:40 to 24:05 | VIDEO |
No Records Found