Course Information

Name:	North Carolina State University (NC State)
Type:	University

Discrete Mathematics for Computer Scieence

Video Lectures

Displaying all 23 video lectures.

Lecture 1 Play Video	Logic, Axioms, and Formal Proofs
Lecture 2 Play Video	Logical Implications, Logical Equivalences, and Proofs by Contradiction
Lecture 3 Play Video	Proofs and Circuits
Lecture 4 Play Video	Circuits and Reduction
Lecture 5 Play Video	Predicate Calculus
Lecture 6 Play Video	Predicate Calculus Proofs
Lecture 7 Play Video	Review for Test 1
Lecture 8 Play Video	Set Theory
Lecture 9 Play Video	Arithmetic Proofs and Induction, Part 1
Lecture 10 Play Video	Induction, Part 2
Lecture 11 Play Video	Induction, Part 3
Lecture 12 Play Video	Recursion and Review for Test 2
Lecture 13 Play Video	Big O, Part 1
Lecture 14 Play Video	Big O, Part 2
Lecture 15 Play Video	Binary Relations, Part 1
Lecture 16 Play Video	Binary Relations, Part 2
Lecture 17 Play Video	Counting, Part 1
Lecture 18 Play Video	Counting, Part 2
Lecture 19 Play Video	Counting, Part 3
Lecture 20 Play Video	Counting, Part 4
Lecture 21 Play Video	Graph Theory
Lecture 22 Play Video	Finite State Machines
Lecture 23 Play Video	Hassse Diagrams