Wave Shape
Instructor
Naser
Lectures
59

About This Course

This course gives students an introduction to mathematical logic and key discrete structures like sets, functions, relations, and graphs. It also covers mathematical reasoning and different counting techniques. Students will use what they learn to solve simplified real-world problems. The course builds a solid foundation for advanced computing courses where these concepts are essential

Key Points

  • Understand the basics of propositional logic, sets, sequences, functions, sums, number theory, recurrences, and counting.
  • Use different proof techniques like propositional logic, rules of inference, and induction.
  • Work with integers, matrices, sets, functions, sequences, sums, number theory, relations, propositional logic, and proofs, especially for computing problems.
  • Apply counting principles and recurrence relations to solve counting problems.
  • Learn and use basic cryptography algorithms.

Course Contents

  • Intro04:11
  • Propositional Logic Part 110:19
  • Propositional Logic Part 208:35
  • Propositional Logic Part 306:47
  • Applications of Propositional Logic Part 112:45
  • Applications of Propositional Logic Part 207:01
  • Propositional Equivalences12:37
  • Predicates and Quantifiers19:11
  • Rules of Inference15:00

  • Intro To Sets Part 109:25
  • Intro To Sets Part 212:24
  • Intro To Sets Part 305:18
  • Sets Operations10:23
  • Sets Identities07:51
  • Sets Exercises13:58

  • Functions Part 114:03
  • Functions Part 217:35
  • Sequences08:55
  • Summations07:04
  • Matrices Part 109:42
  • Matrices Part 210:29

  • Divisibility11:43
  • Division Algorithm11:46
  • Modular Arithmetic04:05
  • Prime and Composite Numbers15:17
  • Canonical Form and Modular Congruence08:01
  • GCD and LCM09:46
  • Cryptography12:00
  • RSA Algorithm15:27

  • Mathematical Induction Part 111:21
  • Mathematical Induction Part 208:05
  • Mathematical Induction Part 308:23
  • Recursion08:54

  • Product Rule Part 110:25
  • Product Rule Part 205:28
  • Sum and Subtraction Rules19:57
  • Permutations08:02
  • Combinations05:29
  • Binomial Coefficients14:33

  • Sequences and Recurrence Relations14:05
  • Geometric and Arthimetic Sequences13:39
  • Checking if the explicit formula is a solution07:48
  • Properties of Recurrence Relations10:55
  • Theorems 1 & 206:42
  • Solving Recurrence Relations14:12
  • Theorems 3 & 408:41
  • Theorem 516:09

  • Representations of Relations19:13
  • Types of Relations11:57
  • Properties of Relations14:19
  • Closures of Relations Part 109:36
  • Closures of Relations Part 211:48
  • Combining Relations13:22

  • Quiz 107:32
  • Live (Major 1)01:14:03
  • Quiz 210:56
  • Live (Major 2)01:02:55
  • Final Exam 20241:29
  • Final Exam 22243:19

Price 330 SAR

Enjoy the freedom to learn at your own pace, anytime, anywhere.

Hundreds of students are transforming their learning experience. Sign up and start your journey to academic excellence with Tafawuq!