4 Courses and Certifications

EIT Algorithms Courses & Certifications

Quick View
Career Category
Specialization
Job Role
Skills
IO-Efficient Algorithms

Offered by

Certificate

I/O-efficient algorithms

The I/O-efficient algorithms online course is an EIT digital-based course instructed by Dr Mark de Berg through a wholly online platform for learning with Coursera. The entire programme runs for a duration of 9 hours offering a verified certificate. The I/O-efficient algorithms syllabus will progress through three weeks starting with a curriculum starting with an introduction, cache algorithms, replacement policies and efficient sorting.

The course will be taught in the English language with subtitles in English, Spanish, Russian, French and Portuguese. The  I/O-efficient algorithms by Coursera are planned as advanced level coursework with flexible deadlines for completion. The candidates will need to have some basic prerequisite in the area of mathematics and algorithms to be eligible to enrol for the programme.

...Read More
3 Weeks
Expert
Free
Skills Covered:
Knowledge of Algorithms
Approximation Algorithms

Offered by

Certificate

Approximation Algorithms

Traditional algorithmic tools are often inefficient for solving various real-world algorithmic problems. For example, many such problems are NP-hard; hence, these tools can’t solve them correctly. Thus, the Approximation Algorithms certification course will make you fluent with the critical algorithmic techniques and concepts that can deal with these challenges efficiently. You can employ such techniques instead of the optimal solution; you need an approximation close to this optimal solution. 

Curated by EIT Digital, the Approximation Algorithms certification syllabus offers 100% online lessons and covers vital topics to make you an expert. These include PTAS, knapsack problems, vertex-cover problems, linear programming, load balancing, scheduling algorithms, and numerous other learnings. By covering these, you’ll become adept in finding the required approximations of a problem’s optimal solutions for solving it efficiently. 

The Approximation Algorithms online course features a renowned instructor, Professor Dr Mark de Berg. It also provides self-directed deadlines to help you learn comfortably, along with English subtitles for the programme videos. Moreover, you can also purchase the training completion certificate to access the valuable accreditation and graded assessments.

...Read More
3 Weeks
Intermediate
Free
Skills Covered:
Knowledge of Algorithms
Automated Reasoning Symbolic Model Checking

Offered by

Certificate

Automated Reasoning: Symbolic Model Checking

The Automated Reasoning: Symbolic Model Checking certification course offers to learn through online mode. The course talks about the properties of acting systems and programs. The course can be pursued as a free programme in the audit mode, provided the students will not be able to get access to the graded quizzes, assessments, and certification. 

The Automated Reasoning: Symbolic Model Checking certification syllabus includes four weekly modules that can be completed in the time period of 13 hours. Students can also enable English subtitles in the programme. 

There are no restrictions regarding the timings of the sessions or attendance percentage since this is a self-paced programme that lets the user choose their own deadlines. The certification of the Automated Reasoning: Symbolic Model Checking online course is achievable at the end of the course if the participants successfully complete the course after taking the subscription of the programme.

...Read More
3 Weeks
Intermediate
Free
Skills Covered:
Programming skills
Automated Reasoning Satisfiability

Offered by

Certificate

Automated Reasoning: Satisfiability

If you want to learn the applications for satisfiability tools, Automated Reasoning: satisfiability course is perfect for you. The programme uses several examples to give you a glimpse into the various scenarios where satisfiability can be applied. These examples include program correctness, scheduling problems, puzzle-solving and fitting rectangles used for printing posters. 

Besides this, Automated Reasoning: satisfiability training also offers the underlying theory of using the resolution as a primary approach to propositional satisfiability, applying simplex methods for solving linear inequalities and using the CDCL framework for scaling up big formulas. You will learn these concepts through a series of video lessons, reading material, practise assignments and graded assignments. However, the course encourages you to use the knowledge you receive and apply SAT/SMT to several other problems, such as the problems presented in the honour’s assignment.

Automated Reasoning: satisfiability certification is an online course that takes about 25 hours to complete. It is an intermediate course taught by Hans Zantema and is offered by EIT Digital. You can either join the course for free or take the Coursera membership and secure a certificate of completion.

...Read More
3 Weeks
Intermediate
Free
Skills Covered:
Knowledge of computer application

Articles

Popular Articles

Latest Articles

Trending Courses

Popular Courses

Popular Platforms

Learn more about the Courses

Download the Careers360 App on your Android phone

Regular exam updates, QnA, Predictors, College Applications & E-books now on your Mobile

Careers360 App
  • 150M+ Students
  • 30,000+ Colleges
  • 500+ Exams
  • 1500+ E-books
  • Economic Times
  • Financial Express
  • Firstpost
  • Livemint