Lecture 1 - Propositional Logic


Lecture 2 - Propositional Logic (Contd.)



Lecture 3 - Predicates & Quantifiers



Lecture 4 - Predicates & Quantifiers (Contd.)



Lecture 5 -Logical Inference



Lecture 6 -Resolution Principles & Application to PROLOG



Lecture 7 - Methods of Proof



Lecture 8 - Normal Forms



Lecture 9 - Proving programs correct



Lecture 10 - Sets



Lecture 11 - Induction



Lecture 12 - Set Operations on Strings Over an Alphabet



Lecture 13 - Relations



Lecture 14- Graphs



Lecture 15 - Graphs (Contd.)



Lecture 16 - Trees



Lecture 17 - Trees and Graphs



Lecture 18 - Special Properties of Relations



Lecture -19 - Closure of Relations



Lecture 20 - Closure of Relations (Contd.)



Lecture 21 - Order Relations



Lecture 22 - Order and Relations and Equivalence Relations



Lecture 23 - Equivalence relations and partitions



Lecture 24 - Functions


Lecture 25 - Functions (Contd.)


Lectures 26 - Functions (Contd.)




Lecture 27-Pigeonhole Principle


Lecture 28 - Permutations and combinations


Lecture 29 - Permutations and Combinations(Contd...)


Lecture 30 - Generating Functions


Lecture 31- Generating Functions


Lecture 32 - Recurrence Relations


Lecture 33 - Recurrence Relations


Lecture 34-Recurrence Relations(contd..)


Lecture 35-Algebras


Lecture 36-Algebras(contd...)


Lecture 37-Algebras(contd...)


Lecture 38-Finite State Automaton


Lecture 39-Finite State Automaton(contd....)


Lecture 40-Lattices


Cheers,
Ankur