Master Discrete Mathematics: Predicate Logic

  • Author: TrevTutor
  • Level: Beginner
  • Study time: 4 hours
Write your awesome label here.
Course overview
All of the predicate logic needed for computing science and discrete mathematics.
  • Learn how to translate English sentences into predicate logic.
  • Learn how to negate complex sentences and simplify them.
  • Understand how to evaluate quantified expressions for truth.

Why should I take this course?

—

For your career

Personal interest

Exercises

Graded Feedback

Predicate Logic is foundational in computing science. The addition of quantifier allows for more complex searches to be performed.
You will explore the language of predicate logic and see how abstract concepts can be extended in the real world.
You will explore the language of set theory and see how abstract concepts can be extended in the real world.
Recieve feedback on a graded assignment at the end of the course to gauge your level of success and to recieve advice going forward.

Meet the instructor

—

Trevor Block (TrevTutor)

Instructor
Trevor Block (TrevTutor) is a graduate of cognitive science and linguistics, focusing on mathematical linguistics, philosophical logic, and discrete mathematics. Trevor has been teaching online for 10 years and at SFU for over 5 years, leading thousands of students through complex material.