Discrete Mathematics for Programmers (40 Video Lectures)

Course topics:
Lecture 1, 2. Propositional Logic

Lecture 3, 4. Predicates & Quantifiers

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. Mathematical Induction

Lecture 12. Set Operations on Strings Over an Alphabet

Lecture 13. Relations

Lecture 14, 15. Graphs

Lecture 16. Trees
Lecture 17. Trees and Graphs

Lecture 18. Special Properties of Relations

Lecture 19, 20. Closure of Relations

Lecture 21. Order Relations

Lecture 22. Order and Relations and Equivalence Relations

Lecture 23. Equivalence relations and partitions

Lecture 24-26. Functions

Lecture 27-29. Permutations and Combinations

Lecture 30-31. Generating Functions

Lecture 32-34. Recurrence Relations

Lecture 35-37. Algebras

Lecture 38-39. Finite State Automaton (FSA)

Lecture 40. Lattices.

(Click below link to follow Course Videos)

·         Discrete Maths Video Lectures