(video) IIT Lectures-Discrete Mathematical Structures(Propositional Logic I)

 IIT Lectures-Discrete Mathematical Structures

(Propositional Logic I)

Discrete Mathematical Structures - Video Course

1.Propositional Logic I

6.Resolution Principles & Application to PROLOG

2.Propositional Logic II

7.Methods of Proof

3.Predicates & Quantifiers I

8.Normal Forms

4.Predicates & Quantifiers II

9.Proving programs correct 

5.Logical Inference

10.Sets

 

VIEW FULL SCREEN

Subject:-

Courtesy: YouTube and IIT Bombay(NPTEL)