- 
            
                
- 
                        Exercises of math 151  
                        
- 1.1 propositional logic 35:51
 - 1.3 propositional equivalence 50:55
 - 1.4 Predicates and Quantifiers 30:03
 - 1.6 Rules of Inference 17:31
 - 1.7 Introduction to Proofs 27:56
 - 1.8 Proof Methods and Strategy 26:58
 - 2.1 Sets 23:12
 - 2.2 Set Operations 11:32
 - 5.1 Mathematical Induction part 1 17:30
 - 5.1 Mathematical Induction part 2 13:31
 - 5.1 Mathematical induction part 3 28:28
 - 5-2 Strong Induction Part 1 15:34
 - 5.2 Strong induction Part 2 39:00
 - 9.1 Relations and their Properties part 1 35:44
 - 9.1 Relations and their Properties part 2 47:05
 - 9.1 Relations and their Properties part 3 09:32
 - 9.1 Extra Exercise 06:53
 - 9.3 representing relation 18:56
 - 9.3 Representing Relations (by Matrices) 30:34
 - 9.4 closures of relations part1 13:38
 - 9.4 closures of relations part2 10:42
 - 9.5 equivalence relation 48:34
 - 9.6 partial ordering 16:20
 - 10.1 graphs 09:09
 - 10-2 Graph Terminology and Special Types of Graphs part1 13:38
 - 10-2 Graph Terminology and Special Types of Graphs part2 31:12
 - 10.3 graph isomorphsim 16:54
 - 10.4 connectivity 09:49
 - 10.7 planar graphs 10:03
 - 11.1 introduction to tree 14:08
 - 11.2 application of trees 10:59
 - 11.4 spanning tree 08:21
 - 12.1 boolean function 24:07
 - 12.2 representing boolean function 14:37
 - 12.3 logic gates 10:35
 - 12.4 minimization of circuits 44:47
 
 
 - 
                        Exercises of math 151  
                        
 
