About this Course

1,629 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.
Intermediate Level
Approx. 4 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.
Intermediate Level
Approx. 4 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

1 hour to complete

Sequential behaviour

1 hour to complete
7 videos (Total 59 min)
7 videos
Actions, multi-actions, alternative and sequential composition9m
Process axioms11m
Recursive process specifications8m
Processes and actions with data; the conditional operator7m
The sum operator8m
The alarm clock revisited11m
1 practice exercise
Sequential behaviour12m
Week
2

Week 2

2 hours to complete

Data types

2 hours to complete
8 videos (Total 103 min)
8 videos
Specification of Peano numbers11m
Specification of efficient numbers16m
Specification of lists8m
Functions, sets and bags13m
Structured types13m
Quantifiers9m
Knuth's dancing links18m
1 practice exercise
Data Types12m
Week
3

Week 3

1 hour to complete

Parallel behaviour

1 hour to complete
3 videos (Total 37 min)
3 videos
The hiding operator7m
Peterson's mutual exclusion algorithm16m
1 practice exercise
Parallel Behaviour10m

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.