Discrete Mathematics for Programmers (40 Video Lectures)

[mldarshana]

Course topics:

1-2. ..... Propositional Logic.
3-4. ..... Predicates & Quantifiers.
5. ..... Logical Inference.
6. ..... Resolution Principles & Application to PROLOG.
7. ..... Methods of Proof.
8. ..... Normal Forms.
9. ..... Proving programs correct.
10. ..... Sets.
11. ..... Mathematical Induction.
12. ..... Set Operations on Strings Over an Alphabet.
13. ..... Relations.
14-15. Graphs.
16. ..... Trees.
17. ..... Trees and Graphs.
18. ..... Special Properties of Relations.
19-20. Closure of Relations.
21. ..... Order Relations.
22. ..... Order and Relations and Equivalence Relations.
23. ..... Equivalence relations and partitions.
24-26. Functions.
27-29. Permutations and Combinations.
30-31. Generating Functions.
32-34. Recurrence Relations.
35-37. Algebras.
38-39. Finite State Automaton (FSA).
40. ..... Lattices.

Check out the videos

Cheers

 

[Gayan88]

thanks

 

[mldarshana]

u're welocme !!!

 

[nera]

Very useful videos machan. Thanks