Artificial Intelligence IIT Kgp (View More...)
| First Order Logic | lec13 | 32:01 to 34:37 | VIDEO | |
| First Order Logic | lec13 | 41:06 to 43:00 | VIDEO | |
| First Order Logic | lec13 | 49:18 to 54:01 | VIDEO |
Discrete Mathematical Structures (View More...)
| Predicates and Quantifiers | lec3 | 21:36 to 24:57 | VIDEO | |
| Predicates and Quantifiers | lec3 | 23:22 to 21:36 | VIDEO | |
| Predicates and Quantifiers | lec3 | 24:57 to 28:19 | VIDEO |
Logic for CS (View More...)
| Predicate Logic: Proof Theory (Contd.) | lec23 | 01:06 to 02:16 | VIDEO | |
| Predicate Logic: Proof Theory (Contd.) | lec23 | 04:22 to 09:31 | VIDEO | |
| Predicate Logic: Proof Theory (Contd.) | lec23 | 09:38 to 11:20 | VIDEO |
Principles of Programming Languages (View More...)
| Typed Lambda Calculus | lec31 | 11:01 to 14:42 | VIDEO | |
| Typed Lambda Calculus | lec31 | 14:42 to 18:44 | VIDEO | |
| Typed Lambda Calculus | lec31 | 18:44 to 21:42 | VIDEO |
No Records Found