About this Course

406,219 recent views

Learner Career Outcomes

44%

started a new career after completing these courses

43%

got a tangible career benefit from this course

18%

got a pay increase or promotion

Shareable Certificate

Earn a Certificate upon completion

100% online

Start instantly and learn at your own schedule.

Flexible deadlines

Reset deadlines in accordance to your schedule.

Intermediate Level

Approx. 40 hours to complete

English

Subtitles: English

Skills you will gain

Number TheoryReal AnalysisMathematical LogicLanguage

Learner Career Outcomes

44%

started a new career after completing these courses

43%

got a tangible career benefit from this course

18%

got a pay increase or promotion

Shareable Certificate

Earn a Certificate upon completion

100% online

Start instantly and learn at your own schedule.

Flexible deadlines

Reset deadlines in accordance to your schedule.

Intermediate Level

Approx. 40 hours to complete

English

Subtitles: English

Offered by

Stanford University logo

Stanford University

Syllabus - What you will learn from this course

Content RatingThumbs Up96%(13,215 ratings)Info
Week
1

Week 1

3 hours to complete

Week 1

3 hours to complete
6 videos (Total 84 min)
6 videos
Lecture 1 - Introductory Material27m
Lecture 2 - Logical Combinators26m
Tutorial for Assignment 12m
Tutorial for Assignment 29m
Tutorial for Problem Set 19m
1 practice exercise
Problem Set 12h
Week
2

Week 2

4 hours to complete

Week 2

4 hours to complete
6 videos (Total 131 min)
6 videos
Lecture 4 - Equivalence24m
SUPPLEMENT: Using the course evaluation rubric4m
Tutorial for Assignment 311m
Tutorial for Assignment 421m
Tutorial for Problem Set 237m
1 practice exercise
Problem Set 22h
Week
3

Week 3

4 hours to complete

Week 3

4 hours to complete
4 videos (Total 128 min)
4 videos
SUPPLEMENT - How to Read Mathematical Formulas27m
Tutorial for Assignment 547m
Tutorial for Problem Set 323m
1 practice exercise
Problem Set 32h
Week
4

Week 4

3 hours to complete

Week 4

3 hours to complete
4 videos (Total 88 min)
4 videos
Lecture 6B - Working with Quantifiers 228m
Tutorial for Assignment 616m
Tutorial for Problem Set 427m
1 practice exercise
Problem Set 42h

Frequently Asked Questions

  • Once you enroll for a Certificate, you’ll have access to all videos, quizzes, and programming assignments (if applicable). Peer review assignments can only be submitted and reviewed once your session has begun. If you choose to explore the course without purchasing, you may not be able to access certain assignments.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

  • Since the focus is to acquire a new way of thinking (as opposed to getting right answers), the passing grade for the weekly Problem Sets is 35%, and for the Test Flight Problem Sets 30%. Basically, this means that if you stick with the course and complete all the work diligently, you should get a passing grade.

More questions? Visit the Learner Help Center.