| "Discrete Mathematical Structures" - Video Lectures | |||
| Propositional Logic | |||
| Propositional Logic (Contd.) | |||
| Predicates & Quantifiers | |||
| Predicates & Quantifiers (Contd.) | |||
| Logical Inference | |||
| Resolution Principles & Application to PROLOG | |||
| Methods of Proof | |||
| Normal Forms | |||
| Proving programs correct (Contd.) | |||
| Sets | |||