# Discrete Mathematical Structures

## Video Lectures

Displaying all 40 video lectures.
 Lecture 1 Play Video Propositional Logic (Part 1) Lecture 2 Play Video Propositional Logic (Part 2) Lecture 3 Play Video Predicates & Quantifiers (Part 1) Lecture 4 Play Video Predicates & Quantifiers (Part 2) Lecture 5 Play Video Logical Inference Lecture 6 Play Video Resolution Principles & Application to PROLOG Lecture 7 Play Video Methods of Proof Lecture 8 Play Video Normal Forms Lecture 9 Play Video Proving Programs Correct Lecture 10 Play Video Sets Lecture 11 Play Video Induction Lecture 12 Play Video Set Operations on Strings Over an Alphabet Lecture 13 Play Video Relations Lecture 14 Play Video Graphs (Part 1) Lecture 15 Play Video Graphs (Part 2) Lecture 16 Play Video Trees Lecture 17 Play Video Trees and Graphs Lecture 18 Play Video Special Properties of Relations Lecture 19 Play Video Closure of Relations (Part 1) Lecture 20 Play Video Closure of Relations (Part 2) Lecture 21 Play Video Order Relations Lecture 22 Play Video Order and Relations and Equivalence Relations Lecture 23 Play Video Equivalence Relations and Partitions Lecture 24 Play Video Functions (Part 1) Lecture 25 Play Video Functions (Part 2) Lecture 26 Play Video Functions (Part 3) Lecture 27 Play Video Permutations and Combinations (Part 1) Lecture 28 Play Video Permutations and Combinations (Part 2) Lecture 29 Play Video Permutations and Combinations (Part 3) Lecture 30 Play Video Generating Functions (Part 1) Lecture 31 Play Video Generating Functions (Part 2) Lecture 32 Play Video Recurrence Relations (Part 1) Lecture 33 Play Video Recurrence Relations (Part 2) Lecture 34 Play Video Recurrence Relations (Part 3) Lecture 35 Play Video Algebras (Part 1) Lecture 36 Play Video Algebras (Part 2) Lecture 37 Play Video Algebras (Part 3) Lecture 38 Play Video Finite State Automaton (Part 1) Lecture 39 Play Video Finite State Automaton (Part 2) Lecture 40 Play Video Lattices