About this Course

1,761 recent views
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.
Advanced Level
Approx. 3 hours to complete
English
Subtitles: English
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.
Advanced Level
Approx. 3 hours to complete
English
Subtitles: English

Offered by

EIT Digital  logo

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

2 hours to complete

Basic modal formulas

2 hours to complete
6 videos (Total 78 min), 2 readings, 1 quiz
6 videos
Hennessy-Milner logic11m
Identities for HM-logic11m
Dualities6m
Fixed point operators18m
Regular formulas26m
2 readings
Book exercises10m
Book exercises20m
1 practice exercise
Basic Modal Formulas14m
Week
2

Week 2

1 hour to complete

Advanced modal formulas

1 hour to complete
5 videos (Total 59 min), 1 reading, 1 quiz
5 videos
Alternating fixed points11m
Peterson's algorithm revisited10m
Translation to a Boolean Equation System (BES)12m
Solving a Boolean Equation System11m
1 reading
Book exercises10m
1 practice exercise
Advanced modal formulas12m

Frequently Asked Questions

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 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.

  • This Course doesn't carry university credit, but some universities may choose to accept Course Certificates for credit. Check with your institution to learn more. Online Degrees and Mastertrack™ Certificates on Coursera provide the opportunity to earn university credit.

More questions? Visit the Learner Help Center.