Skip to content
All courses
Recording nowMathematics, First year

Discrete Mathematics

Logic, proofs, sets and relations: the mathematical foundation for computer science courses.

This course is being recorded session by session during the semester and will be complete by its end, once the whole syllabus is covered. The price shown is the full course price and will not rise when it is complete: you pay once, and every new session reaches you at no extra cost.

What the course covers

3 lectures, 2 hours

  • Propositional logic and logical connectives
  • Truth tables
  • Logical equivalences and simplification laws
  • Predicates and quantifiers
  • Rules of inference
  • Introduction to proof methods: direct, contrapositive and contradiction

What you will be able to do

  • Construct the truth table of any compound proposition and decide whether it is a tautology or a contradiction.
  • Prove two logical statements equivalent using the equivalence laws step by step.
  • Translate English sentences into quantified logical formulas and negate them correctly.
  • Apply the rules of inference to derive a valid conclusion from a set of premises.

Free lectures from this course

Complete lectures from inside the courses, with no sign-up and no limits, so you know the style and depth before paying a single riyal.

Session 1, 47 min

Recorded sessions

The course is recorded in full, in the order it is taught at university. In teaching order. All of them open to you on enrollment until the end of the semester.

3
lectures

About this course

Three sessions recorded so far from the discrete mathematics course. The remaining topics are recorded next semester.

Before you ask

Questions people ask

How do I pay?

Payment is by bank transfer for now. I send the account details in the chat; after the transfer you send the receipt and your email address.

How do I watch after paying, and for how long?

You receive an invitation by email and watch every session of the course through Loom on any device. The subscription is valid until the end of the semester you enroll in, about 5 months of access to every session, and every new session recorded during the semester is added at no extra cost.

When is access activated?

I add you to the course sessions in Loom, usually the same day.

What about courses still being recorded?

This course is being recorded session by session during the semester and will be complete by its end, once the whole syllabus is covered. The price shown is the full course price and will not rise when it is complete: you pay once, and every new session reaches you at no extra cost.

Are there refunds?

Because full trial lectures are available before you buy, there are no refunds once access is activated.

Is there a certificate?

No certificate is issued. These are recorded explanations of university courses, not accredited training programs.

Discrete Mathematics
1,000
Enroll on WhatsApp