Logic and Proofs (4/5), 1.5 Rules of Inference, 1.6 Introduction to Proofs

Homepage » ALL COURSE » College of Computer Science » Discrete Mathematics – 99 Academic Year | Department of Computer Science Prof. Chih-Wei Yi » Logic and Proofs (4/5), 1.5 Rules of Inference, 1.6 Introduction to Proofs

Logic and Proofs (4/5), 1.5 Rules of Inference, 1.6 Introduction to Proofs

Back to Course Homepage

MP4 Download

每頁顯示個資料列

搜尋:

Week	Course Content	Course Video	Course Download
Week 01	Logic and Proofs (1/5) 1.1 Proposition Logic 1.2 Proposition Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers	Watch Online	MP4 Download
Week 01	Logic and Proofs (2/5) 1.1 Proposition Logic 1.2 Proposition Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers	Watch Online	MP4 Download
Week 02	Logic and Proofs (3/5) 1.1 Proposition Logic 1.2 Proposition Equivalences 1.3 Predicates and Quantifiers 1.4 Nested Quantifiers	Watch Online	MP4 Download
Week 02	Logic and Proofs (4/5) 1.5 Rules of Inference 1.6 Introduction to Proofs	Watch Online	MP4 Download
Week 03	Logic and Proofs (5/5) 1.7 Proof Methods and Strategy Sets, Functions, Sequences, and Sums (1/3) Preliminary Test #1 2.1 Sets	Watch Online	MP4 Download
Week 04	Sets, Functions, Sequences, and Sums (2/3) 2.2 Set Operations 2.3 Functions 2.4 Sequences and Summations	Watch Online	MP4 Download
Week 04	Sets, Functions, Sequences, and Sums (3/3) 2.2 Set Operations 2.3 Functions 2.4 Sequences and Summations	Watch Online	MP4 Download
Week 05	Algorithms and the Integers (1/4) 3.4 The Integers and Division 3.5 Primes and Greatest Common Divisors 3.6 Integers and Algorithms	Watch Online	MP4 Download
Week 05	Algorithms and the Integers (2/4) 3.4 The Integers and Division 3.5 Primes and Greatest Common Divisors 3.6 Integers and Algorithms	Watch Online	MP4 Download
Week 05	Algorithms and the Integers (3/4) 3.4 The Integers and Division 3.5 Primes and Greatest Common Divisors 3.6 Integers and Algorithms	Watch Online	MP4 Download
Week 07	Algorithms and the Integers (4/4) 3.7 Applications of Number Theory Induction and Recur (1/4) 4.1 Mathematical Induction 4.2 Strong Induction and Well-Ordering	Watch Online	MP4 Download
Week 07	Induction and Recur (2/4) 4.1 Mathematical Induction 4.2 Strong Induction and Well-Ordering	Watch Online	MP4 Download
Week 08	Induction and Recur (3/4) 4.3 Recursive Definitions and Structural Induction 4.4 Recursive Algorithms	Watch Online	MP4 Download
Week 08	Induction and Recur (4/4) 4.3 Recursive Definitions and Structural Induction 4.4 Recursive Algorithms Counting (1/2) 5.1 The Basics of Counting	Watch Online	MP4 Download
Week 09	Counting (2/2) 5.2 The Pigeonhole Principle 5.3 Permutations and Combinations 5.4 Binomial Coefficients 5.5 Generalized Permutations and Combinations	Watch Online	MP4 Download
Week 11	Advanced Counting Techniques (1/4) 7.1 Recurrence Relations 7.2 Solving Linear Recurrence Relations	Watch Online	MP4 Download
Week 12	Advanced Counting Techniques (2/4) 7.4 Generating Functions Example 1-3 7.5 Inclusion-Exclusion 7.6 Applications of Inclusion-Exclusion 8.1 Relations and Their Properties 8.2 n-ary Relations and Their Applications	Watch Online	MP4 Download
Week 12	Advanced Counting Techniques (3/4) 7.4 Generating Functions Example 1-3 7.5 Inclusion-Exclusion 7.6 Applications of Inclusion-Exclusion 8.1 Relations and Their Properties 8.2 n-ary Relations and Their Applications	Watch Online	MP4 Download
Week 12	Advanced Counting Techniques (4/4) 7.4 Generating Functions Example 1-3 7.5 Inclusion-Exclusion 7.6 Applications of Inclusion-Exclusion Relations (1/4) 8.1 Relations and Their Properties 8.2 n-ary Relations and Their Applications	Watch Online	MP4 Download
Week 14	Relations (2/4) 8.3 Representing Relations 8.4 Closures of Relations 8.5 Equivalence Relations	Watch Online	MP4 Download
Week 14	Relations (3/4) 8.3 Representing Relations 8.4 Closures of Relations 8.5 Equivalence Relations	Watch Online	MP4 Download
Week 15	Relations (4/4) 8.6 Partial Orderings Graphs(1/3) 9.1 Graphs and Graph Models 9.2 Graph Terminology and Special Types of Graphs	Watch Online	MP4 Download
Week 16	Graphs (2/3) 9.3 Representing Graphs and Graph Isomorphism 9.4 Connectivity	Watch Online	MP4 Download
Week 17	Graphs (3/3) 9.5 Euler and Hamilton Paths 9.6 Shortest-Path Problems	Watch Online	MP4 Download

目前顯示第 1 至第 24 個資料列，總計 24 個資料列