PDA

View Full Version : Discrete Mathematics for Programmers (40 Video Lectures)


mldarshana
10-12-2008, 02:31 PM
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 (http://youtube.com/view_play_list?p=0862D1A947252D20)

Cheers

Gayan88
10-12-2008, 02:34 PM
thanks

mldarshana
10-12-2008, 03:46 PM
u're welocme !!!

nera
10-12-2008, 03:55 PM
Very useful videos machan. Thanks