cURL Error: Could not resolve host: surukam.net
Computer-science-and-engineering0
Artificial Intelligence IIT Kgp (View More...)
| Interface in Propositional Logic | lec12 | 17:40 to 19:41 | VIDEO | |
| Interface in Propositional Logic | lec12 | 36:54 to 38:20 | VIDEO | |
| Interface in Propositional Logic | lec12 | 38:20 to 40:32 | VIDEO |
Combinatorics (View More...)
| Elementary concepts; Binomial theorem; Bijective proofs - Part (1) | lec6 | 00:35 to 03:42 | VIDEO | |
| Elementary concepts; Binomial theorem; Bijective proofs - Part (1) | lec6 | 03:42 to 07:06 | VIDEO | |
| Elementary concepts; Binomial theorem; Bijective proofs - Part (1) | lec6 | 07:06 to 08:59 | VIDEO |
Design Verification and Test of Digital VLSI Circuits (View More...)
| Introduction to Formal Methods for Design Verification | lec14 | 18:06 to 20:27 | VIDEO | |
| Introduction to Formal Methods for Design Verification | lec14 | 20:27 to 22:45 | VIDEO | |
| Introduction to Formal Methods for Design Verification | lec14 | 23:49 to 26:20 | VIDEO |
Discrete Mathematical Structures (View More...)
| Resolution Principles and Application to Prolog | lec6 | 46:27 to 50:24 | VIDEO | |
| Methods of Proof | lec7 | 05:11 to 09:00 | VIDEO | |
| Methods of Proof | lec7 | 09:00 to 11:07 | VIDEO |
Logic for CS (View More...)
| Proof, Theory: Hilbert-Style | lec13 | 03:19 to 07:24 | VIDEO | |
| Predicate Logic: Proof Theory (Contd.) | lec23 | 20:15 to 24:56 | VIDEO | |
| Predicate Logic: Proof Theory (Contd.) | lec23 | 43:24 to 44:43 | VIDEO |
No Records Found