Discrete Structure - تراكيب متقطعة الجزء الأول CS103
تراكيب متقطعة جامعة طيبة فرع المدينة الجزء الأول
-
- 1 Introduction and Preliminaries
-
2 Propositional Logic
-
3 Implication and Bi-conditional
- 4 Logical Equivalence
-
5 Predicates and Quantifiers
- Motivation (Intro) 04:44
- Predicates 13:30
- Quantifiers 05:31
- English vs. Mathematical Statements 18:42
- Universal Quantifier (Any, Every, All, Each) 11:47
- Existential Quantifier (Some, Exists, At least one) 08:27
- Truth value of Existential Quantifier 19:19
- Truth value of Universal Quantifier 13:01
- Domain 08:55
- Relation between Existential and universal Quantifier 10:15
- Counterexample 07:30
- Negation of Quantifiers (Universal and Existential) 28:19
- Negation of Quantifiers (Universal and Existential) 2 27:18
- Nested Quantifiers 31:54
- Nested Quantifiers 2 21:12
- Negation of Nested Quantifiers 05:38
-
6 Rules of Inference and Proof Techniques
- Modus ponens 14:40
- Modus Tollens 17:17
- Common rules of Inference 20:49
- Deduction 1 17:01
- Deduction 2 19:38
- Deduction (Solved Exercise) 15:47
- Two Common Mistakes 13:44
- Proof Techniques (intro) 05:45
- Direct proof 18:00
- Proof by Contrapositive 19:51
- Proof by Contradiction 29:54
- Proof of Equivalence 1 18:42
- Proof of Equivalence (Exercise) 12:27
- تجميعات
- تراكيب متقطعة جامعة طيبة فرع المدينة الجزء الأول
-
Mohamed Ghanem Mathematics teaching assistant in Faculty of Engineering and 6 years' experience Online Tutor , Online Teaching experience in Math (Precalculus, Calculus 1 , Calculus 2 , Fundamental Algebra , Linear Algebra , Abstract Algebra , Differential Equations ,Principles of Business Mathematics and others Math ) , Probability theory , Discrete Mathematics ( Discrete Structures ) and other Courses.
-
Student feedback
5
200 SAR
Lectures
48 Videos
Duration
16:53:24
Assignments
Yes, Completely
Labs
Yes, Completely
Project
Yes, Completely
Certificate
Not Applicable
Reviews (0)
Real reviews from real students.
No reviews yet.