## ArsDigita University - Discrete Mathematics

**ArsDigita University - Discrete Mathematics**. This consists of 20 video lectures given by Professor Shai Simonson,
covering the mathematical topics most directly related to computer science. Topics covered this course included:
logic, relations, functions, basic set theory, countability and counting arguments, proof techniques, mathematical induction,
graph theory, combinatorics, discrete probability, recursion, recurrence relations, and number theory. Emphasis will
be placed on providing a context for the application of the mathematics within computer science. The analysis of algorithms
requires the ability to count the number of operations in an algorithm. Recursive algorithms in particular depend on
the solution to a recurrence equation, and a proof of correctness by mathematical induction. The design of a digital circuit
requires the knowledge of Boolean algebra. Software engineering uses sets, graphs, trees and other data structures.
Number theory is at the heart of secure messaging systems and cryptography. Logic is used in AI research in theorem
proving and in database query systems. Proofs by induction and the more general notions of mathematical proof are
ubiquitous in theory of computation, compiler design and formal grammars. Probabilistic notions crop up in architectural trade-offs in hardware design.
(from **ADUni.org**)

**Note**: To view these videos in good quality, **Internet Explorer** is recommended.

Web.. |
Discrete MathematicsInstructor: Shai Simonson. Course Description. Lecture and Course Files. Student Evaluations. This course covered the mathematical topics most directly related to computer science. aduni.org/courses/discrete/ |

Web |
Course 02: Discrete Mathematics (Arsdigita University)Instructor: Shai Simonson. Readings. Video Files. Other Files. This educational material is part of the collection: ArsDigita Computer Science University. www.archive.org/details/arsdigita_02_discrete_math |