GLADIATOR

http://rapidshare.com/files/62637068/Gaitr.part1.rar
http://rapidshare.com/files/62637693/Gaitr.part2.rar
http://rapidshare.com/files/62638117/Gaitr.part3.rar
http://rapidshare.com/files/62638563/Gaitr.part4.rar
http://rapidshare.com/files/62638989/Gaitr.part5.rar
http://rapidshare.com/files/62639363/Gaitr.part6.rar
http://rapidshare.com/files/62639748/Gaitr.part7.rar
http://rapidshare.com/files/62639845/Gaitr.part8.rar

OR

http://www.megaupload.com/?d=GKOG5BCX
http://www.megaupload.com/?d=XMH22FR6
http://www.megaupload.com/?d=WACRBN3Q
http://www.megaupload.com/?d=HFYYLXKW
http://www.megaupload.com/?d=J1KPL3OV
http://www.megaupload.com/?d=Z4P2ZFVI
http://www.megaupload.com/?d=KEZMCL7M
http://www.megaupload.com/?d=JVUGRRJ0

Computer Science & Engineering :: Discrete Structures

Lecture BY:-

Prof. Kamala Krithivasan
Department of Computer Science and Engineering
IIT Madras
Email: kamala@iitm.ac.in

1 - Propositional Logic [56:47]



2 - Propositional Logic (Contd.) [57:35]



3 - Predicates & Quantifiers [57:54]



4 - Predicates & Quantifiers (Contd.) [59:24]



5 - Logical Inference [59:14]



6 - Resolution Principles & Application to PROLOG [54:29]



7 - Methods of Proof [54:57]



8 - Normal Forms [58:08]



9 - Proving programs correct (Contd.) [54:08]



10 - Sets [55:12]



11 - Induction [53:19]



12 - Set Operations On Strings [58:21]



13 - Relations [57:57]



14 - Graphs [55:36]



15 - Graphs (Continued) [55:46]



16 - Trees [57:22]



17 - Trees And Graphs [56:44]



18 - Special Properties Of Relations [57:04]



19 - Closure Of Relations [56:50]



20 - Closure Properties Of Relations [57:00]



21 - Order Relations [55:52]



22 - Order Relations And Equivalence Relations [57:12]



23 - Equivalence Relations And Partitions [56:19]



24 - Functions [55:01]



25 - Functions (Continued) [56:08]



26 - Functions (Continued) [57:49]



27 - Pigeionhole Principle [56:58]



28 - Permutations And Combinations [57:17]



29 - Permutations And Combinations (Continued) [59:51]



30 - Generating Functions [58:13]



31 - Generating Functions (Continued) [56:18]



32 - Recurrence Relations [57:20]



33 - Recurrence Relations (Continued) [55:57]



34 - Recurrence Relations (Continued) [54:18]



35 - Algebras [57:07]



36 - Algebras (Continued) [57:26]



37 - Algebras (Continued) [55:41]



38 - Finite State Automaton [57:17]



39 - Finite State Automaton (Continued) [56:44]



40 - Lattices [57:03]

Computer Science & Engineering :: Introduction to Problem Solving and Programming

Lecture By:-

Prof. D.Gupta
Department of Computer Science and Engineering
IIT Kanpur
Email: deepak@cse.iitk.ac.in

1 - Lecture 1 [20:20]



2 - Lecture 2 [37:34]



3 - Lecture 3 [18:04]



4 - Lecture 4 [40:41]



5 - Lecture 5 [26:20]



6 - Lecture 6 [37:27]



7 - Lecture 7 [32:59]



8 - Lecture 8 [30:55]



9 - Lecture 9 [40:13]



10 - Lecture 10 [30:45]



11 - Lecture 11 [29:12]



12 - lecture 12 [33:47]



13 - Lecture 13 [28:34]



14 - Lecture 14 [28:34]



15 - Lecture 15 [26:16]



16 - Lecture 16 [35:26]



17 - Lecture 17 [25:44]



18 - Lecture 18 [38:22]



19 - Lecture 19 [26:44]



20 - Lecture 20 [24:32]



21 - Lecture 21 [26:14]



22 - Lecture 21 [28:01]



23 - Lecture 23 [32:08]



24 - Lecture 24 [37:08]