Loading...

Discrete Maths for Computer Science

Posted By : FenixN | Date : 12 Apr 2012 00:17:59 | Comments : 1 |
|



Discrete Maths for Computer Science
22xDVDRip | MP4 / AVC, ~196 kb/s | 320x240 | 20:43:47 | English: AAC, 113 kb/s (2 ch)
16xFlash Video | ~189 kb/s | 960x540 | ~15 hours | English: AAC, 64 kb/s (1 ch)
Size: 4.5 GB | Genre: Science, Mathematics

"Discrete Mathematics for Computer Science" is the perfect text to combine the fields of mathematics and computer science. Written by leading academics in the field of computer science, readers will gain the skills needed to write and understand the concept of proof. This text teaches all the math, with the exception of linear algebra, that is needed to succeed in computer science. The book explores the topics of basic combinatorics, number and graph theory, logic and proof techniques, and many more. Appropriate for large or small class sizes or self study for the motivated professional reader. Assumes familiarity with data structures. Early treatment of number theory and combinatorics allow readers to explore RSA encryption early and also to encourage them to use their knowledge of hashing and trees (from CS2) before those topics are covered in this course.


Lectures:
Lecture 1 -Propositional Logic 56:47 mins
Lecture 2 - Propositional Logic (Contd.) 57:35 mins
Lecture 3 -Predicates & Quantifiers 57:53 mins
Lecture 4 -Predicates & Quantifiers (Contd.) 59:24 mins
Lecture 5 -Logical Inference 59:14 mins
Lecture 6 -Resolution Principles & Application to PROLOG 54:29 mins
Lecture 7 - Methods of Proof 54:56 mins
Lecture 8 - Normal Forms 58:08 mins
Lecture 9 - Proving programs correct 54:08 mins
Lecture 10 - Sets 55:12 mins
Lecture 11 - Induction 53:19 mins
Lecture 12 - Set Operations on Strings Over an Alphabet 58:21 mins
Lecture 13 - Relations 57:56 mins
Lecture 14 - Graphs 55:36 mins
Lecture 15 - Graphs (Contd.) 55:46 mins
Lecture 16 - Trees 57:22 mins
Lecture 17 - Trees and Graphs 56:44 mins
Lecture 18 - Special Properties of Relations 57:04 mins
Lecture -19 - Closure of Relations 56:50 mins
Lecture 20 - Closure of Relations (Contd.) 56:59 mins
Lecture 21 - Order Relations 55:52 mins
Lecture 22 - Order and Relations and Equivalence Relations 57:12 mins
Lecture 23 - Equivalence relations and partitions 56:19 mins
Lecture 24 - Functions 55:01 mins
Lecture 25 - Functions (Contd.) 56:08 mins
Lecture 26 - Functions (Contd.) 57:49 mins
Lecture 27 -Permutations and Combinations 56:57 mins
Lecture 28 - Permutations and combinations 57:17 mins
Lecture 29 - Permutations and Combinations(Contd...) 59:51 mins
Lecture 30 - Generating Functions 58:13 mins
Lecture 31- Generating Functions 56:18 mins
Lecture 32 - Recurrence Relations 57:20 mins
Lecture 33 - Recurrence Relations 55:57 mins
Lecture 34-Recurrence Relations(contd..) 54:18 mins
Lecture 35-Algebras 57:07 mins
Lecture 36-Algebras(contd...) 57:26 mins
Lecture 38 - Finite state automaton 57:17 mins
Lecture 40 lattices 57:02 mins


screenshot




Welcome to the best movies collection (English, German, French, Italian language), best software, best eLearning video and many-many more: LINK
Do not forget to check my blog! Updated regularly!

No mirrors pls! Read the rules.

ADVERTISING » Fast Download « ADVERTISING




Posted By: vermuz Date: 12 Apr 2012 01:59:56
Watch above lectures on-line but in "Indian" accent

http://freevideolectures.com/Course/2661/Discrete-Mathematical-Structures